avm2_recursion_constraint.cpp File Reference

#include "barretenberg/numeric/bitop/get_msb.hpp"
#include "avm2_recursion_constraint.hpp"
#include "barretenberg/constants.hpp"
#include "barretenberg/dsl/acir_format/proof_surgeon.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/flavor/ultra_flavor.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/vm2/common/avm_inputs.hpp"
#include "barretenberg/vm2/common/aztec_constants.hpp"
#include "barretenberg/vm2/common/constants.hpp"
#include "barretenberg/vm2/constraining/recursion/goblin_avm_recursive_verifier.hpp"
#include "barretenberg/vm2/constraining/recursion/recursive_flavor.hpp"
#include "barretenberg/vm2/constraining/recursion/recursive_verifier.hpp"
#include <cstddef>

Go to the source code of this file.

Namespaces
namespace	acir_format

Typedefs
using	acir_format::field_ct = stdlib::field_t< Builder >
using	acir_format::bn254 = stdlib::bn254< Builder >
using	acir_format::PairingPoints = bb::stdlib::recursion::PairingPoints< Builder >

Functions
HonkRecursionConstraintOutput< Builder >	acir_format::create_avm2_recursion_constraints_goblin (Builder &builder, const RecursionConstraint &input, bool has_valid_witness_assignments)
	Add constraints associated with recursive verification of an AVM2 proof using Goblin.