acir_format.hpp File Reference

#include "aes128_constraint.hpp"
#include "avm2_recursion_constraint.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "arithmetic_constraints.hpp"
#include "barretenberg/chonk/chonk.hpp"
#include "blake2s_constraint.hpp"
#include "blake3_constraint.hpp"
#include "block_constraint.hpp"
#include "chonk_recursion_constraints.hpp"
#include "ec_operations.hpp"
#include "ecdsa_constraints.hpp"
#include "honk_recursion_constraint.hpp"
#include "hypernova_recursion_constraint.hpp"
#include "keccak_constraint.hpp"
#include "logic_constraint.hpp"
#include "multi_scalar_mul.hpp"
#include "poseidon2_constraint.hpp"
#include "range_constraint.hpp"
#include "recursion_constraint.hpp"
#include "sha256_constraint.hpp"
#include <cstdint>
#include <utility>
#include <vector>

Go to the source code of this file.

Classes
struct	acir_format::AcirFormatOriginalOpcodeIndices
	Indices of the original opcode that originated each constraint in AcirFormat. More...
struct	acir_format::AcirFormat
	Barretenberg's representation of ACIR constraints. More...
struct	acir_format::AcirProgram
	Struct containing both the constraints to be added to the circuit and the witness vector. More...
struct	acir_format::ProgramMetadata
	Metadata required to create a circuit. More...

Namespaces
namespace	acir_format

Typedefs
using	acir_format::WitnessVector = std::vector< bb::fr >

Functions
template<typename Builder >
Builder	acir_format::create_circuit (AcirProgram &program, const ProgramMetadata &metadata=ProgramMetadata{})
	Create a circuit out of an ACIR program and metadata.
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.