Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
acir_format::ProofSurgeon< FF > Member List

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