[−][src]Module ergo_lib::sigma_protocol
Sigma protocols
Modules
| dlog_group | This is the general interface for the discrete logarithm prime-order group. |
| dlog_protocol | Discrete logarithm signature protocol |
| fiat_shamir | Fiat-Shamir transformation |
| prover | Interpreter with enhanced functionality to prove statements. |
| sig_serializer | Serialization of proof tree signatures |
| sigma_boolean | Sigma boolean types |
| unchecked_tree | Unchecked proof tree types |
| unproven_tree | Unproven tree types |
| verifier | Verifier |
Structs
| Challenge | Challenge in Sigma protocol |
| DlogProverInput | Secret key of discrete logarithm signature protocol |
| GroupSizedBytes | Byte array of Group size (32 bytes) |
Enums
| FirstProverMessage | First message from the prover (message |
| PrivateInput | Private inputs (secrets) |
| 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. |