hypernova_recursion_constraint.cpp File Reference

#include "hypernova_recursion_constraint.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/throw_or_abort.hpp"
#include "barretenberg/dsl/acir_format/mock_verifier_inputs.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/flavor/ultra_recursive_flavor.hpp"
#include "barretenberg/flavor/ultra_rollup_recursive_flavor.hpp"
#include "barretenberg/stdlib/primitives/bigfield/constants.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include "recursion_constraint.hpp"

Go to the source code of this file.

Namespaces
namespace	acir_format

Functions
std::shared_ptr< Chonk >	acir_format::create_mock_chonk_from_constraints (const std::vector< RecursionConstraint > &constraints)
	Create a Chonk instance with mocked state corresponding to a set of IVC recursion constraints.
Chonk::VerifierInputs	acir_format::create_mock_verification_queue_entry (const Chonk::QUEUE_TYPE verification_type, const bool is_kernel)
	Create a mock verification queue entry with structurally correct proof and VK.
void	acir_format::mock_chonk_accumulation (const std::shared_ptr< Chonk > &ivc, Chonk::QUEUE_TYPE type, const bool is_kernel)
	Add mock accumulation state to a Chonk instance for a single circuit.