acir_format.hpp File Reference

#include "aes128_constraint.hpp"
#include "avm2_recursion_constraint.hpp"
#include "barretenberg/client_ivc/client_ivc.hpp"
#include "barretenberg/client_ivc/sumcheck_client_ivc.hpp"
#include "barretenberg/common/slab_allocator.hpp"
#include "barretenberg/serialize/msgpack.hpp"
#include "blake2s_constraint.hpp"
#include "blake3_constraint.hpp"
#include "block_constraint.hpp"
#include "ec_operations.hpp"
#include "ecdsa_constraints.hpp"
#include "honk_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::AcirProgramStack
	Storage for constaint_systems/witnesses for a stack of acir programs. More...
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::WitnessVector = bb::SlabVector< bb::fr >
using	acir_format::WitnessVectorStack = std::vector< std::pair< uint32_t, WitnessVector > >

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