[All Lists] [By Thread] [By Date] [Previous] [Next]


From: Dr. Stern
Subject: What counts as proof?
Date: 22 Kislev 5782


The point: proof type and proof acceptance are separate. Define the types. Leave acceptance to verifiers.


Thread:

[Previous] [Next]


DEP Discussion Archives
https://dep-specs.org/