Module sigma_protocol

Sigma protocols

Modules

dht_protocol

Discrete logarithm signature protocol

dlog_protocol

Discrete logarithm signature protocol

private_input

Private input types for the prover’s secrets

proof_tree

ProofTree

prover

Interpreter with enhanced functionality to prove statements.

sig_serializer

Serialization of proof tree signatures

unchecked_tree

Unchecked proof tree types

unproven_tree

Unproven tree types

verifier

Verifier

wscalar

Wrapper for Scalar mainly for Arbitrary impl and JSON encoding

Enums

FirstProverMessage

First message from the prover (message a of SigmaProtocol)

Constants

SOUNDNESS_BITS

A size of challenge in Sigma protocols, in bits. If this anything but 192, threshold won’t work, because we have polynomials over GF(2^192) and no others. We get the challenge by reducing hash function output to proper value.

SOUNDNESS_BYTES

A size of challenge in Sigma protocols, in bytes