[−][src]Module ergo_lib::sigma_protocol
Sigma protocols
Modules
dlog_group | This is the general interface for the discrete logarithm prime-order group. |
private_input | Private input types for the prover's secrets |
prover | Interpreter with enhanced functionality to prove statements. |
sigma_boolean | Sigma boolean types |
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. |