Module ergotree_interpreter::sigma_protocol [−][src]
Sigma protocols
Modules
| private_input | Private input types for the prover’s secrets |
| prover | Interpreter with enhanced functionality to prove statements. |
| verifier | Verifier |
Structs
| GroupSizedBytes | Byte array of Group size (32 bytes) |
Enums
| FirstProverMessage | First message from the prover (message |
| ProofTree | Proof tree |
Constants
| GROUP_SIZE | Number of bytes to represent any group element as byte array |
| GROUP_SIZE_BITS | Size of the binary representation of any group element (2 ^ groupSizeBits == |
| SOUNDNESS_BITS | A size of challenge in Sigma protocols, in bits. |
| SOUNDNESS_BYTES | A size of challenge in Sigma protocols, in bytes |
Traits
| ProofTreeLeaf | Proof tree leaf |
| ProverMessage | The message sent by a prover to its associated verifier as part of a sigma protocol interaction. |