acir_format.cpp File Reference

#include "acir_format.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/log.hpp"
#include "barretenberg/common/op_count.hpp"
#include "barretenberg/common/throw_or_abort.hpp"
#include "barretenberg/dsl/acir_format/civc_recursion_constraints.hpp"
#include "barretenberg/dsl/acir_format/ecdsa_constraints.hpp"
#include "barretenberg/dsl/acir_format/honk_recursion_constraint.hpp"
#include "barretenberg/dsl/acir_format/pg_recursion_constraint.hpp"
#include "barretenberg/dsl/acir_format/proof_surgeon.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/honk/proving_key_inspector.hpp"
#include "barretenberg/stdlib/eccvm_verifier/verifier_commitment_key.hpp"
#include "barretenberg/stdlib/primitives/curves/grumpkin.hpp"
#include "barretenberg/stdlib/primitives/curves/secp256k1.hpp"
#include "barretenberg/stdlib/primitives/curves/secp256r1.hpp"
#include "barretenberg/stdlib/primitives/field/field_conversion.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib_circuit_builders/mega_circuit_builder.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include "barretenberg/transcript/transcript.hpp"
#include <cstddef>
#include <cstdint>
#include <memory>

Go to the source code of this file.

Classes
struct	acir_format::HonkRecursionConstraintsOutput< Builder >

Namespaces
namespace	acir_format

Functions
template<typename Builder >
void	acir_format::perform_full_IPA_verification (Builder &builder, const std::vector< OpeningClaim< stdlib::grumpkin< Builder > > > &nested_ipa_claims, const std::vector< stdlib::Proof< Builder > > &nested_ipa_proofs)
	Perform full recursive IPA verification.
template<typename Builder >
std::pair< OpeningClaim< stdlib::grumpkin< Builder > >, HonkProof >	acir_format::handle_IPA_accumulation (Builder &builder, const std::vector< OpeningClaim< stdlib::grumpkin< Builder > > > &nested_ipa_claims, const std::vector< stdlib::Proof< Builder > > &nested_ipa_proofs)
	Set the IPA claim and proof.
template<typename Builder >
void	acir_format::build_constraints (Builder &builder, AcirProgram &program, const ProgramMetadata &metadata)
template<typename Builder >
HonkRecursionConstraintsOutput< Builder >	acir_format::process_honk_recursion_constraints (Builder &builder, AcirFormat &constraint_system, bool has_valid_witness_assignments, GateCounter< Builder > &gate_counter)
void	acir_format::process_pg_recursion_constraints (MegaCircuitBuilder &builder, AcirFormat &constraints, std::shared_ptr< ClientIVC > ivc, bool has_valid_witness_assignments, GateCounter< MegaCircuitBuilder > &gate_counter)
HonkRecursionConstraintsOutput< Builder >	acir_format::process_civc_recursion_constraints (Builder &builder, AcirFormat &constraint_system, bool has_valid_witness_assignments, GateCounter< Builder > &gate_counter)
HonkRecursionConstraintsOutput< Builder >	acir_format::process_avm_recursion_constraints (Builder &builder, AcirFormat &constraint_system, bool has_valid_witness_assignments, GateCounter< Builder > &gate_counter)
template<>
UltraCircuitBuilder	acir_format::create_circuit (AcirProgram &program, const ProgramMetadata &metadata)
	Specialization for creating an Ultra circuit from an acir program.
template<>
MegaCircuitBuilder	acir_format::create_circuit (AcirProgram &program, const ProgramMetadata &metadata)
	Specialization for creating a Mega circuit from an acir program.
template void	acir_format::build_constraints< MegaCircuitBuilder > (MegaCircuitBuilder &, AcirProgram &, const ProgramMetadata &)