List of all items

Structs

• meta_statement::EqualWitnesses
• meta_statement::MetaStatements
• proof::AggregatedGroth16
• proof::Proof
• proof_spec::ProofSpec
• prover::OldLegoGroth16Proof
• prover::OldSaverProof
• prover::ProverConfig
• setup_params::ElgamalEncryptionParams
• statement::Statements
• statement::accumulator::KBPositiveAccumulatorMembership
• statement::accumulator::KBUniversalAccumulatorMembership
• statement::accumulator::KBUniversalAccumulatorNonMembership
• statement::accumulator::VBAccumulatorMembership
• statement::accumulator::VBAccumulatorNonMembership
• statement::accumulator::cdh::KBPositiveAccumulatorMembershipCDH
• statement::accumulator::cdh::KBUniversalAccumulatorMembershipCDHProver
• statement::accumulator::cdh::KBUniversalAccumulatorMembershipCDHVerifier
• statement::accumulator::cdh::KBUniversalAccumulatorNonMembershipCDHProver
• statement::accumulator::cdh::KBUniversalAccumulatorNonMembershipCDHVerifier
• statement::accumulator::cdh::VBAccumulatorMembershipCDHProver
• statement::accumulator::cdh::VBAccumulatorMembershipCDHVerifier
• statement::accumulator::cdh::VBAccumulatorNonMembershipCDHProver
• statement::accumulator::cdh::VBAccumulatorNonMembershipCDHVerifier
• statement::accumulator::detached::DetachedAccumulatorMembershipProver
• statement::accumulator::detached::DetachedAccumulatorMembershipVerifier
• statement::accumulator::detached::DetachedAccumulatorNonMembershipProver
• statement::accumulator::detached::DetachedAccumulatorNonMembershipVerifier
• statement::accumulator::keyed_verification::KBUniversalAccumulatorMembershipKV
• statement::accumulator::keyed_verification::KBUniversalAccumulatorMembershipKVFullVerifier
• statement::accumulator::keyed_verification::KBUniversalAccumulatorNonMembershipKV
• statement::accumulator::keyed_verification::KBUniversalAccumulatorNonMembershipKVFullVerifier
• statement::accumulator::keyed_verification::VBAccumulatorMembershipKV
• statement::accumulator::keyed_verification::VBAccumulatorMembershipKVFullVerifier
• statement::bbdt16_kvac::PoKOfMAC
• statement::bbdt16_kvac::PoKOfMACFullVerifier
• statement::bbs_23::PoKBBSSignature23G1Prover
• statement::bbs_23::PoKBBSSignature23G1Verifier
• statement::bbs_23_ietf::PoKBBSSignature23IETFG1Prover
• statement::bbs_23_ietf::PoKBBSSignature23IETFG1Verifier
• statement::bbs_plus::PoKBBSSignatureG1Prover
• statement::bbs_plus::PoKBBSSignatureG1Verifier
• statement::bound_check_bpp::BoundCheckBpp
• statement::bound_check_legogroth16::BoundCheckLegoGroth16Prover
• statement::bound_check_legogroth16::BoundCheckLegoGroth16Verifier
• statement::bound_check_legogroth16::PreparedVerifyingKey
• statement::bound_check_legogroth16::ProvingKey
• statement::bound_check_legogroth16::VerifyingKey
• statement::bound_check_smc::BoundCheckSmc
• statement::bound_check_smc::SmcParamsAndCommitmentKey
• statement::bound_check_smc::SmcParamsWithPairingAndCommitmentKey
• statement::bound_check_smc_with_kv::BoundCheckSmcWithKVProver
• statement::bound_check_smc_with_kv::BoundCheckSmcWithKVVerifier
• statement::bound_check_smc_with_kv::SmcParamsKVAndCommitmentKey
• statement::bound_check_smc_with_kv::SmcParamsKVAndCommitmentKeyAndSecretKey
• statement::inequality::PublicInequality
• statement::ped_comm::PedersenCommitment
• statement::ps_signature::PoKPSSignatureStatement
• statement::r1cs_legogroth16::PreparedVerifyingKey
• statement::r1cs_legogroth16::ProvingKey
• statement::r1cs_legogroth16::R1CS
• statement::r1cs_legogroth16::R1CSCircomProver
• statement::r1cs_legogroth16::R1CSCircomVerifier
• statement::r1cs_legogroth16::VerifyingKey
• statement::saver::SaverProver
• statement::saver::SaverVerifier
• statement::verifiable_encryption_tz_21::VerifiableEncryptionTZ21
• statement_proof::BoundCheckBppProof
• statement_proof::BoundCheckLegoGroth16Proof
• statement_proof::BoundCheckLegoGroth16ProofWhenAggregatingSnarks
• statement_proof::BoundCheckSmcProof
• statement_proof::BoundCheckSmcWithKVProof
• statement_proof::DetachedAccumulatorMembershipProof
• statement_proof::DetachedAccumulatorNonMembershipProof
• statement_proof::InequalityProof
• statement_proof::PedersenCommitmentPartialProof
• statement_proof::PedersenCommitmentProof
• statement_proof::R1CSLegoGroth16Proof
• statement_proof::R1CSLegoGroth16ProofWhenAggregatingSnarks
• statement_proof::SaverProof
• statement_proof::SaverProofWhenAggregatingSnarks
• statement_proof::VeTZ21Proof
• statement_proof::VeTZ21RobustProof
• sub_protocols::accumulator::KBPositiveAccumulatorMembershipSubProtocol
• sub_protocols::accumulator::KBUniversalAccumulatorMembershipSubProtocol
• sub_protocols::accumulator::KBUniversalAccumulatorNonMembershipSubProtocol
• sub_protocols::accumulator::VBAccumulatorMembershipSubProtocol
• sub_protocols::accumulator::VBAccumulatorNonMembershipSubProtocol
• sub_protocols::accumulator::cdh::KBPositiveAccumulatorMembershipCDHSubProtocol
• sub_protocols::accumulator::cdh::KBUniversalAccumulatorMembershipCDHSubProtocol
• sub_protocols::accumulator::cdh::KBUniversalAccumulatorNonMembershipCDHSubProtocol
• sub_protocols::accumulator::cdh::VBAccumulatorMembershipCDHSubProtocol
• sub_protocols::accumulator::cdh::VBAccumulatorNonMembershipCDHSubProtocol
• sub_protocols::accumulator::detached::DetachedAccumulatorMembershipSubProtocol
• sub_protocols::accumulator::detached::DetachedAccumulatorNonMembershipSubProtocol
• sub_protocols::accumulator::detached::Opening
• sub_protocols::accumulator::keyed_verification::KBUniversalAccumulatorMembershipKVSubProtocol
• sub_protocols::accumulator::keyed_verification::KBUniversalAccumulatorNonMembershipKVSubProtocol
• sub_protocols::accumulator::keyed_verification::VBAccumulatorMembershipKVSubProtocol
• sub_protocols::bbdt16_kvac::PoKOfMACSubProtocol
• sub_protocols::bbs_23::PoKBBSSigG1SubProtocol
• sub_protocols::bbs_23_ietf::PoKBBSSigIETFG1SubProtocol
• sub_protocols::bbs_plus::PoKBBSSigG1SubProtocol
• sub_protocols::bound_check_bpp::BoundCheckBppProtocol
• sub_protocols::bound_check_legogroth16::BoundCheckCircuit
• sub_protocols::bound_check_legogroth16::BoundCheckLegoGrothProtocol
• sub_protocols::bound_check_smc::BoundCheckSmcProtocol
• sub_protocols::bound_check_smc_with_kv::BoundCheckSmcWithKVProtocol
• sub_protocols::inequality::InequalityProtocol
• sub_protocols::ps_signature::PSSignaturePoK
• sub_protocols::r1cs_legogorth16::R1CSLegogroth16Protocol
• sub_protocols::saver::SaverProtocol
• sub_protocols::schnorr::SchnorrProtocol
• sub_protocols::verifiable_encryption_tz_21::VeTZ21Protocol
• verifier::VerifierConfig
• witness::KBPosMembership
• witness::KBUniMembership
• witness::KBUniNonMembership
• witness::Membership
• witness::NonMembership
• witness::PoKBBSSignature23G1
• witness::PoKBBSSignatureG1
• witness::PoKOfBBDT16MAC
• witness::PoKPSSignature
• witness::R1CSCircomWitness
• witness::Witnesses

Enums

• error::ProofSystemError
• meta_statement::MetaStatement
• proof_spec::SnarkpackSRS
• setup_params::SetupParams
• statement::Statement
• statement_proof::BoundCheckSmcInnerProof
• statement_proof::BoundCheckSmcWithKVInnerProof
• statement_proof::StatementProof
• sub_protocols::SubProtocol
• sub_protocols::bound_check_smc::SmcProtocol
• sub_protocols::bound_check_smc_with_kv::SmcProtocolWithKV
• witness::Witness

Macros

• delegate_indexed
• delegate_indexed_reverse
• expand_expr
• impl_bbs_prover_statement
• impl_bbs_subprotocol
• impl_bbs_verifier_statement

Functions

• sub_protocols::bound_check_legogroth16::generate_snark_srs_bound_check
• sub_protocols::enforce_and_get_u64
• sub_protocols::validate_bounds

Type Aliases

• meta_statement::WitnessRef
• sub_protocols::verifiable_encryption_tz_21::dkgith_decls::Ciphertext
• sub_protocols::verifiable_encryption_tz_21::dkgith_decls::Proof
• sub_protocols::verifiable_encryption_tz_21::rdkgith_decls::Ciphertext
• sub_protocols::verifiable_encryption_tz_21::rdkgith_decls::Proof

Constants

• constants::BBDT16_KVAC_LABEL
• constants::BBS_23_LABEL
• constants::BBS_PLUS_LABEL
• constants::COMPOSITE_PROOF_CHALLENGE_LABEL
• constants::COMPOSITE_PROOF_LABEL
• constants::CONTEXT_LABEL
• constants::KB_POS_ACCUM_CDH_MEM_LABEL
• constants::KB_POS_ACCUM_MEM_LABEL
• constants::KB_UNI_ACCUM_CDH_MEM_LABEL
• constants::KB_UNI_ACCUM_CDH_NON_MEM_LABEL
• constants::KB_UNI_ACCUM_MEM_LABEL
• constants::KB_UNI_ACCUM_NON_MEM_LABEL
• constants::NONCE_LABEL
• constants::PS_LABEL
• constants::VB_ACCUM_CDH_MEM_LABEL
• constants::VB_ACCUM_CDH_NON_MEM_LABEL
• constants::VB_ACCUM_MEM_LABEL
• constants::VB_ACCUM_NON_MEM_LABEL
• constants::VE_TZ_21_LABEL
• constants::VE_TZ_21_ROBUST_LABEL
• sub_protocols::verifiable_encryption_tz_21::dkgith_decls::NUM_PARTIES
• sub_protocols::verifiable_encryption_tz_21::dkgith_decls::NUM_REPS
• sub_protocols::verifiable_encryption_tz_21::dkgith_decls::SALT_SIZE
• sub_protocols::verifiable_encryption_tz_21::dkgith_decls::SEED_SIZE
• sub_protocols::verifiable_encryption_tz_21::dkgith_decls::SUBSET_SIZE
• sub_protocols::verifiable_encryption_tz_21::rdkgith_decls::NUM_PARTIES
• sub_protocols::verifiable_encryption_tz_21::rdkgith_decls::SUBSET_SIZE
• sub_protocols::verifiable_encryption_tz_21::rdkgith_decls::THRESHOLD