List of all items
Structs
- eval::ReductionDiagnosticInfo
- eval::ReductionResult
- eval::context::Context
- eval::env::Env
- sigma_protocol::dht_protocol::FirstDhTupleProverMessage
- sigma_protocol::dht_protocol::SecondDhTupleProverMessage
- sigma_protocol::dlog_protocol::FirstDlogProverMessage
- sigma_protocol::dlog_protocol::SecondDlogProverMessage
- sigma_protocol::private_input::DhTupleProverInput
- sigma_protocol::private_input::DlogProverInput
- sigma_protocol::prover::ConstantParsingError
- sigma_protocol::prover::ContextExtension
- sigma_protocol::prover::ProverResult
- sigma_protocol::prover::TestProver
- sigma_protocol::prover::hint::HintsBag
- sigma_protocol::prover::hint::OwnCommitment
- sigma_protocol::prover::hint::RealCommitment
- sigma_protocol::prover::hint::RealSecretProof
- sigma_protocol::prover::hint::SimulatedCommitment
- sigma_protocol::prover::hint::SimulatedSecretProof
- sigma_protocol::unchecked_tree::UncheckedDhTuple
- sigma_protocol::unchecked_tree::UncheckedSchnorr
- sigma_protocol::unproven_tree::NodePosition
- sigma_protocol::unproven_tree::UnprovenDhTuple
- sigma_protocol::verifier::TestVerifier
- sigma_protocol::verifier::VerificationResult
- sigma_protocol::wscalar::Wscalar
Enums
- eval::EvalError
- sigma_protocol::FirstProverMessage
- sigma_protocol::private_input::PrivateInput
- sigma_protocol::prover::ProofBytes
- sigma_protocol::prover::ProverError
- sigma_protocol::prover::hint::CommitmentHint
- sigma_protocol::prover::hint::Hint
- sigma_protocol::prover::hint::SecretProven
- sigma_protocol::sig_serializer::SigParsingError
- sigma_protocol::unchecked_tree::UncheckedConjecture
- sigma_protocol::unchecked_tree::UncheckedLeaf
- sigma_protocol::unchecked_tree::UncheckedTree
- sigma_protocol::verifier::VerifierError
Traits
- sigma_protocol::proof_tree::ProofTreeLeaf
- sigma_protocol::prover::Prover
- sigma_protocol::verifier::Verifier
Functions
- eval::extract_sigma_boolean
- eval::reduce_to_crypto
- sigma_protocol::dht_protocol::interactive_prover::compute_commitment
- sigma_protocol::dht_protocol::interactive_prover::first_message
- sigma_protocol::dlog_protocol::interactive_prover::compute_commitment
- sigma_protocol::dlog_protocol::interactive_prover::first_message
- sigma_protocol::sig_serializer::parse_sig_compute_challenges
- sigma_protocol::verifier::compute_commitments
- sigma_protocol::verifier::verify_signature