Module ergo_lib::sigma_protocol::sigma_boolean

Sigma boolean types

Structs

ConversionError	Failed to extract specified underlying type from SigmaBoolean
ProveDHTuple	Construct a new SigmaProp value representing public key of Diffie Hellman signature protocol. Common input: (g,h,u,v)
ProveDlog	Construct a new SigmaBoolean value representing public key of discrete logarithm signature protocol.
SigmaProp	Proposition which can be proven and verified by sigma protocol.

Enums

SigmaBoolean	Algebraic data type of sigma proposition expressions Values of this type are used as values of SigmaProp type
SigmaProofOfKnowledgeTree	Sigma proposition