List of all items

Structs

• BatchableProof
• CompactProof
• Transcript
• proofs::BatchableProof
• proofs::CompactProof
• toolbox::batch_verifier::BatchVerifier
• toolbox::batch_verifier::ScalarVar
• toolbox::prover::PointVar
• toolbox::prover::Prover
• toolbox::prover::ScalarVar
• toolbox::verifier::PointVar
• toolbox::verifier::ScalarVar
• toolbox::verifier::Verifier
• util::Matrix

Enums

• ProofError
• errors::ProofError
• toolbox::batch_verifier::PointVar

Traits

• toolbox::SchnorrCS
• toolbox::TranscriptProtocol

Macros

• __compute_formula_constraint
• define_proof

Constants

• proofs::_IMPL_DESERIALIZE_FOR_BatchableProof
• proofs::_IMPL_DESERIALIZE_FOR_CompactProof
• proofs::_IMPL_SERIALIZE_FOR_BatchableProof
• proofs::_IMPL_SERIALIZE_FOR_CompactProof