Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::ProtogalaxyTestUtilities< Flavor > Member List

This is the complete list of members for bb::ProtogalaxyTestUtilities< Flavor >, including all inherited members.

Builder typedefbb::ProtogalaxyTestUtilities< Flavor >
compare_accumulators(const std::shared_ptr< VerifierInstance > &lhs, const std::shared_ptr< VerifierInstance > &rhs)bb::ProtogalaxyTestUtilities< Flavor >inlinestatic
compare_accumulators(const std::shared_ptr< ProverInstance > &lhs, const std::shared_ptr< VerifierInstance > &rhs)bb::ProtogalaxyTestUtilities< Flavor >inlinestatic
construct_accumulator_and_add_to_tuple(TupleOfKeys &keys, size_t idx=0, TraceSettings trace_settings=TraceSettings{})bb::ProtogalaxyTestUtilities< Flavor >inlinestatic
construct_instances(size_t num_keys, TraceSettings trace_settings=TraceSettings{}, bool circuits_of_different_size=false)bb::ProtogalaxyTestUtilities< Flavor >inlinestatic
construct_instances_and_add_to_tuple(TupleOfKeys &keys, Builder &builder, size_t idx=0, TraceSettings trace_settings=TraceSettings{})bb::ProtogalaxyTestUtilities< Flavor >inlinestatic
create_function_circuit(Builder &builder, const size_t &log_num_gates=9, const size_t &log_num_gates_with_public_inputs=9)bb::ProtogalaxyTestUtilities< Flavor >inlinestatic
Curve typedefbb::ProtogalaxyTestUtilities< Flavor >
DeciderProver typedefbb::ProtogalaxyTestUtilities< Flavor >
DeciderVerifier typedefbb::ProtogalaxyTestUtilities< Flavor >
fold(const ProverInstances &prover_instances, const VerifierInstances &verification_keys, bool hash_accumulator=false, ExecutionTraceUsageTracker trace_usage_tracker=ExecutionTraceUsageTracker{})bb::ProtogalaxyTestUtilities< Flavor >inlinestatic
fold_and_verify(const ProverInstances &prover_instances, const VerifierInstances &verification_keys, ExecutionTraceUsageTracker trace_usage_tracker=ExecutionTraceUsageTracker{}, bool hash_accumulator=false)bb::ProtogalaxyTestUtilities< Flavor >inlinestatic
FoldingData typedefbb::ProtogalaxyTestUtilities< Flavor >
FoldingProver typedefbb::ProtogalaxyTestUtilities< Flavor >
FoldingVerificationResult typedefbb::ProtogalaxyTestUtilities< Flavor >
FoldingVerifier typedefbb::ProtogalaxyTestUtilities< Flavor >
get_folding_data(const TupleOfKeys &keys, size_t idx)bb::ProtogalaxyTestUtilities< Flavor >inlinestatic
ProverInstance typedefbb::ProtogalaxyTestUtilities< Flavor >
ProverInstances typedefbb::ProtogalaxyTestUtilities< Flavor >
run_decider(const std::shared_ptr< ProverInstance > &prover_accumulator, const std::shared_ptr< VerifierInstance > &verifier_accumulator)bb::ProtogalaxyTestUtilities< Flavor >inlinestatic
TupleOfKeys typedefbb::ProtogalaxyTestUtilities< Flavor >
VerificationKey typedefbb::ProtogalaxyTestUtilities< Flavor >
VerifierInstance typedefbb::ProtogalaxyTestUtilities< Flavor >
VerifierInstances typedefbb::ProtogalaxyTestUtilities< Flavor >
verify_folding_proof(const VerifierInstances &verification_keys, const HonkProof &folding_proof, bool hash_accumulator=false)bb::ProtogalaxyTestUtilities< Flavor >inlinestatic