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 "barretenberg/serialize/msgpack.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
struct	acir_format::AcirProgram
struct	acir_format::ProgramMetadata
class	acir_format::GateCounter< Builder >
	Utility class for tracking the gate count of acir constraints. More...

Namespaces
namespace	acir_format

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

Functions
template<typename Builder >
Builder	acir_format::create_circuit (AcirProgram &program, const ProgramMetadata &metadata=ProgramMetadata{})
template<typename Builder >
void	acir_format::build_constraints (Builder &builder, AcirFormat &constraints, const ProgramMetadata &metadata)