recursion_constraint.hpp File Reference

#include "barretenberg/chonk/chonk.hpp"
#include "barretenberg/chonk/chonk_base.hpp"
#include "barretenberg/commitment_schemes/claim.hpp"
#include "barretenberg/common/serialize.hpp"
#include "barretenberg/dsl/acir_format/gate_counter.hpp"
#include "barretenberg/dsl/acir_format/recursion_constraint_output.hpp"
#include "barretenberg/dsl/acir_format/witness_constant.hpp"
#include "barretenberg/stdlib/primitives/bigfield/constants.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include "recursion_constraint.hpp"
#include <cstdint>
#include <vector>

Go to the source code of this file.

Classes
struct	acir_format::RecursionConstraint
	RecursionConstraint struct contains information required to recursively verify a proof. More...

Namespaces
namespace	acir_format

Enumerations
enum	acir_format::PROOF_TYPE : uint8_t {   acir_format::HONK , acir_format::OINK , acir_format::HN , acir_format::AVM ,   acir_format::ROLLUP_HONK , acir_format::ROOT_ROLLUP_HONK , acir_format::HONK_ZK , acir_format::HN_FINAL ,   acir_format::HN_TAIL , acir_format::CHONK }

Functions
template<typename Builder >
HonkRecursionConstraintsOutput< Builder >	acir_format::create_recursion_constraints (Builder &builder, GateCounter< Builder > &gate_counter, std::vector< size_t > &gates_per_opcode, const std::shared_ptr< IVCBase > &ivc_base, const std::pair< std::vector< RecursionConstraint >, std::vector< size_t > > &honk_recursion_data, const std::pair< std::vector< RecursionConstraint >, std::vector< size_t > > &avm_recursion_data, const std::pair< std::vector< RecursionConstraint >, std::vector< size_t > > &hn_recursion_data, const std::pair< std::vector< RecursionConstraint >, std::vector< size_t > > &chonk_recursion_data)
	Single entrypoint to process recursion constraints.
void	acir_format::process_hn_recursion_constraints (MegaCircuitBuilder &builder, GateCounter< MegaCircuitBuilder > &gate_counter, std::vector< size_t > &gates_per_opcode, const std::pair< std::vector< RecursionConstraint >, std::vector< size_t > > &hn_recursion_data, const std::shared_ptr< IVCBase > &ivc_base)
	Process HyperNova recursion constraints and complete kernel logic.