pg_recursion_constraint.cpp File Reference

#include "pg_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/honk_verifier/ultra_recursive_verifier.hpp"
#include "barretenberg/stdlib/primitives/bigfield/constants.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "proof_surgeon.hpp"
#include "recursion_constraint.hpp"

Go to the source code of this file.

Namespaces
namespace	acir_format

Functions
std::shared_ptr< ClientIVC >	acir_format::create_mock_ivc_from_constraints (const std::vector< RecursionConstraint > &constraints, const TraceSettings &trace_settings)
	Create an IVC object with mocked state corresponding to a set of IVC recursion constraints.
ClientIVC::VerifierInputs	acir_format::create_mock_verification_queue_entry (const ClientIVC::QUEUE_TYPE verification_type, const TraceSettings &trace_settings, const bool is_kernel)
	Create a mock verification queue entry with proof and VK that have the correct structure but are not necessarily valid.
void	acir_format::mock_ivc_accumulation (const std::shared_ptr< ClientIVC > &ivc, ClientIVC::QUEUE_TYPE type, const bool is_kernel)
	Populate an IVC instance with data that mimics the state after a single IVC accumulation (Oink or PG)
void	acir_format::populate_dummy_vk_in_constraint (MegaCircuitBuilder &builder, const std::shared_ptr< MegaFlavor::VerificationKey > &mock_verification_key, std::vector< uint32_t > &key_witness_indices)
	Populate VK witness fields from a recursion constraint from a provided VerificationKey.