acir_format.cpp File Reference

#include "acir_format.hpp"
#include "barretenberg/bbapi/bbapi_shared.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/bb_bench.hpp"
#include "barretenberg/common/log.hpp"
#include "barretenberg/common/throw_or_abort.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/honk/prover_instance_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.

Namespaces
namespace	acir_format

Functions
template<typename Builder >
void	acir_format::build_constraints (Builder &builder, AcirFormat &constraints, const ProgramMetadata &metadata)
	Add to the builder the constraints contained in an AcirFormat instance.
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< UltraCircuitBuilder > (UltraCircuitBuilder &, AcirFormat &, const ProgramMetadata &)
template void	acir_format::build_constraints< MegaCircuitBuilder > (MegaCircuitBuilder &, AcirFormat &, const ProgramMetadata &)