Proof Types

OZKi defines two different types of proof: signed proof and unsigned proof.

Signed ProofUnsigned Proof
PreviousSecure Proving SystemNextSigned Proof

Last updated