[−][src]Crate sigma_fun

Re-exports

pub use generic_array;

pub use generic_array::typenum;

pub use rand_core;

ed25519	Proofs of knowledge of discrete logarithm on Edwards twist of curve25519 using using `curve25519-dalek`.
ext	Module for implemenations of protocols that are composed of sigma protocols.
secp256k1	Proofs of knowledge of discrete logarithm for the secp256k1 curve using `secp256kfun`.

All	Combinator for proving all of N statements of the same type is true.
And	Combinator for proving that both `A` and `B` are true where `A` and `B` are not the same relation.
CompactProof	A proof produced by `FiatShamir`.
Eq	Combinator for showing that two Sigma protocols have the same witness.
EqAll	Combinator for proving any number of statements of the same kind have the same witness.
FiatShamir	Applies the Fiat-Shamir transform to a given `Sigma` protocol given a `Transcript`.
HashTranscript	A transcript which consists of a hash with fixed length output and a seedable RNG.
Or	Combinator for proving that `A` OR `B` is true.

Enum for the prover to choose which of the two statements she knows.

ProverTranscript	A `Transcript` that can also generate a rng.
Sigma	The `Sigma` trait is used to define a Sigma protocol.
Transcript	A trait for a Fiat-Shamir proof transcript.