proof

Type Members

1. trait Proof[P <: Proposition] extends BytesSerializable

   

   The most general abstraction of fact a prover can provide a non-interactive proof to open a box or to modify an account

   The most general abstraction of fact a prover can provide a non-interactive proof to open a box or to modify an account

   A proof is non-interactive and thus serializable

2. trait ProofOfKnowledge[S <: Secret, P <: ProofOfKnowledgeProposition[S]] extends Proof[P]

   

3. case class Signature25519(signature: Array[Byte]) extends ProofOfKnowledge[PrivateKey25519, PublicKey25519Proposition] with Product with Serializable

   
   signature

   25519 signature