Barretenberg
The ZK-SNARK library at the core of Aztec
|
This is the complete list of members for acir_format::ProofSurgeon< FF >, including all inherited members.
create_indices_for_reconstructed_proof(const std::vector< uint32_t > &proof_in, const std::vector< uint32_t > &public_inputs) | acir_format::ProofSurgeon< FF > | inlinestatic |
cut_public_inputs_from_proof(std::vector< FF > &proof_witnesses, const size_t num_public_inputs_to_extract) | acir_format::ProofSurgeon< FF > | inlinestatic |
get_public_inputs_witness_indices_from_proof(const bb::stdlib::Proof< bb::MegaCircuitBuilder > &proof, const size_t num_public_inputs_to_extract) | acir_format::ProofSurgeon< FF > | inlinestatic |
populate_recursion_witness_data(bb::SlabVector< FF > &witness, std::vector< FF > &proof_witnesses, const std::vector< FF > &key_witnesses, const FF &key_hash_witness, const size_t num_public_inputs_to_extract) | acir_format::ProofSurgeon< FF > | inlinestatic |