hypernova_recursion_constraint.hpp File Reference

#include "barretenberg/chonk/chonk.hpp"
#include "barretenberg/dsl/acir_format/recursion_constraint.hpp"
#include "barretenberg/stdlib/primitives/bigfield/bigfield.hpp"
#include <vector>

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.
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.