mock_verifier_inputs.cpp File Reference

#include "mock_verifier_inputs.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/flavor/multilinear_batching_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 "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "proof_surgeon.hpp"
#include "recursion_constraint.hpp"

Go to the source code of this file.

Namespaces
namespace	acir_format

Functions
template<class Curve = curve::BN254>
void	acir_format::populate_field_elements_for_mock_commitments (std::vector< fr > &fields, const size_t &num_commitments)
	Helper to populate a field buffer with fields corresponding to some number of mock commitment values.
template<class FF = curve::BN254::ScalarField>
void	acir_format::populate_field_elements (std::vector< fr > &fields, const size_t &num_elements, std::optional< FF > value=std::nullopt)
	Helper to populate a field buffer with some number of field elements.
template<typename Flavor , class PublicInputs >
HonkProof	acir_format::create_mock_oink_proof (const size_t inner_public_inputs_size)
	Create a mock oink proof that has the correct structure but is not in general valid.
template<typename Flavor >
HonkProof	acir_format::create_mock_sumcheck_proof ()
HonkProof	acir_format::create_mock_multilinear_batch_proof ()
template<typename Flavor , class PublicInputs >
HonkProof	acir_format::create_mock_hyper_nova_proof (bool include_fold)
template<typename Flavor >
HonkProof	acir_format::create_mock_pcs_proof ()
template<typename Flavor >
HonkProof	acir_format::create_mock_decider_proof ()
	Create a mock decider proof that has the correct structure but is not in general valid.
template<typename Flavor , class PublicInputs >
HonkProof	acir_format::create_mock_honk_proof (const size_t inner_public_inputs_size)
	Create a mock honk proof that has the correct structure but is not in general valid.
template<typename Flavor >
std::pair< HonkProof, std::shared_ptr< typename Flavor::VerificationKey > >	acir_format::construct_honk_proof_for_simple_circuit (size_t num_inner_public_inputs)
	Create a verifiable honk proof for a circuit with a single big add gate. Adds random public inputs to match num_public_inputs provided.
template<typename Flavor , class PublicInputs >
HonkProof	acir_format::create_mock_pg_proof ()
	Create a mock PG proof that has the correct structure but is not in general valid.
Goblin::MergeProof	acir_format::create_mock_merge_proof ()
	Create a mock merge proof which has the correct structure but is not necessarily valid.
template<typename Builder >
HonkProof	acir_format::create_mock_civc_proof (const size_t inner_public_inputs_size)
HonkProof	acir_format::create_mock_pre_ipa_proof ()
	Create a mock pre-ipa proof which has the correct structure but is not necessarily valid.
HonkProof	acir_format::create_mock_ipa_proof ()
	Create a mock ipa proof which has the correct structure but is not necessarily valid.
HonkProof	acir_format::create_mock_translator_proof ()
	Create a mock translator proof which has the correct structure but is not necessarily valid.
template<typename Flavor , class PublicInputs >
std::shared_ptr< typename Flavor::VerificationKey >	acir_format::create_mock_honk_vk (const size_t dyadic_size, const size_t pub_inputs_offset, const size_t inner_public_inputs_size)
	Create a mock MegaHonk VK that has the correct structure.
template<typename Flavor >
std::shared_ptr< VerifierInstance_< Flavor > >	acir_format::create_mock_verifier_instance ()
	Create a mock instance for initilization of a mock verifier accumulator.
template HonkProof	acir_format::create_mock_oink_proof< MegaFlavor, stdlib::recursion::honk::AppIO > (const size_t)
template HonkProof	acir_format::create_mock_oink_proof< MegaFlavor, stdlib::recursion::honk::KernelIO > (const size_t)
template HonkProof	acir_format::create_mock_oink_proof< MegaFlavor, stdlib::recursion::honk::HidingKernelIO< MegaCircuitBuilder > > (const size_t)
template HonkProof	acir_format::create_mock_oink_proof< UltraFlavor, stdlib::recursion::honk::DefaultIO< UltraCircuitBuilder > > (const size_t)
template HonkProof	acir_format::create_mock_oink_proof< UltraZKFlavor, stdlib::recursion::honk::DefaultIO< UltraCircuitBuilder > > (const size_t)
template HonkProof	acir_format::create_mock_oink_proof< UltraFlavor, stdlib::recursion::honk::DefaultIO< MegaCircuitBuilder > > (const size_t)
template HonkProof	acir_format::create_mock_oink_proof< UltraZKFlavor, stdlib::recursion::honk::DefaultIO< MegaCircuitBuilder > > (const size_t)
template HonkProof	acir_format::create_mock_oink_proof< UltraRollupFlavor, stdlib::recursion::honk::RollupIO > (const size_t)
template HonkProof	acir_format::create_mock_pcs_proof< MegaFlavor > ()
template HonkProof	acir_format::create_mock_decider_proof< MegaFlavor > ()
template HonkProof	acir_format::create_mock_decider_proof< UltraFlavor > ()
template HonkProof	acir_format::create_mock_decider_proof< UltraZKFlavor > ()
template HonkProof	acir_format::create_mock_decider_proof< UltraRollupFlavor > ()
template HonkProof	acir_format::create_mock_decider_proof< TranslatorFlavor > ()
template HonkProof	acir_format::create_mock_honk_proof< MegaFlavor, stdlib::recursion::honk::AppIO > (const size_t)
template HonkProof	acir_format::create_mock_honk_proof< MegaFlavor, stdlib::recursion::honk::KernelIO > (const size_t)
template HonkProof	acir_format::create_mock_honk_proof< MegaFlavor, stdlib::recursion::honk::HidingKernelIO< MegaCircuitBuilder > > (const size_t)
template HonkProof	acir_format::create_mock_honk_proof< UltraFlavor, stdlib::recursion::honk::DefaultIO< UltraCircuitBuilder > > (const size_t)
template HonkProof	acir_format::create_mock_honk_proof< UltraZKFlavor, stdlib::recursion::honk::DefaultIO< UltraCircuitBuilder > > (const size_t)
template HonkProof	acir_format::create_mock_honk_proof< UltraFlavor, stdlib::recursion::honk::DefaultIO< MegaCircuitBuilder > > (const size_t)
template HonkProof	acir_format::create_mock_honk_proof< UltraZKFlavor, stdlib::recursion::honk::DefaultIO< MegaCircuitBuilder > > (const size_t)
template HonkProof	acir_format::create_mock_honk_proof< UltraRollupFlavor, stdlib::recursion::honk::RollupIO > (const size_t)
template std::pair< HonkProof, std::shared_ptr< UltraFlavor::VerificationKey > >	acir_format::construct_honk_proof_for_simple_circuit< UltraFlavor > (size_t num_public_inputs)
template std::pair< HonkProof, std::shared_ptr< UltraZKFlavor::VerificationKey > >	acir_format::construct_honk_proof_for_simple_circuit< UltraZKFlavor > (size_t num_public_inputs)
template std::pair< HonkProof, std::shared_ptr< UltraRollupFlavor::VerificationKey > >	acir_format::construct_honk_proof_for_simple_circuit< UltraRollupFlavor > (size_t num_public_inputs)
template HonkProof	acir_format::create_mock_pg_proof< MegaFlavor, stdlib::recursion::honk::AppIO > ()
template HonkProof	acir_format::create_mock_pg_proof< MegaFlavor, stdlib::recursion::honk::KernelIO > ()
template HonkProof	acir_format::create_mock_pg_proof< MegaFlavor, stdlib::recursion::honk::HidingKernelIO< MegaCircuitBuilder > > ()
template HonkProof	acir_format::create_mock_hyper_nova_proof< MegaFlavor, stdlib::recursion::honk::DefaultIO< MegaCircuitBuilder > > (bool)
template HonkProof	acir_format::create_mock_hyper_nova_proof< MegaFlavor, stdlib::recursion::honk::KernelIO > (bool)
template HonkProof	acir_format::create_mock_civc_proof< UltraCircuitBuilder > (const size_t)
template HonkProof	acir_format::create_mock_civc_proof< MegaCircuitBuilder > (const size_t)
template std::shared_ptr< MegaFlavor::VerificationKey >	acir_format::create_mock_honk_vk< MegaFlavor, stdlib::recursion::honk::AppIO > (const size_t, const size_t, const size_t)
template std::shared_ptr< MegaFlavor::VerificationKey >	acir_format::create_mock_honk_vk< MegaFlavor, stdlib::recursion::honk::KernelIO > (const size_t, const size_t, const size_t)
template std::shared_ptr< MegaFlavor::VerificationKey >	acir_format::create_mock_honk_vk< MegaFlavor, stdlib::recursion::honk::HidingKernelIO< MegaCircuitBuilder > > (const size_t, const size_t, const size_t)
template std::shared_ptr< MegaZKFlavor::VerificationKey >	acir_format::create_mock_honk_vk< MegaZKFlavor, stdlib::recursion::honk::HidingKernelIO< UltraCircuitBuilder > > (const size_t, const size_t, const size_t)
template std::shared_ptr< UltraFlavor::VerificationKey >	acir_format::create_mock_honk_vk< UltraFlavor, stdlib::recursion::honk::DefaultIO< UltraCircuitBuilder > > (const size_t, const size_t, const size_t)
template std::shared_ptr< UltraZKFlavor::VerificationKey >	acir_format::create_mock_honk_vk< UltraZKFlavor, stdlib::recursion::honk::DefaultIO< UltraCircuitBuilder > > (const size_t, const size_t, const size_t)
template std::shared_ptr< UltraFlavor::VerificationKey >	acir_format::create_mock_honk_vk< UltraFlavor, stdlib::recursion::honk::DefaultIO< MegaCircuitBuilder > > (const size_t, const size_t, const size_t)
template std::shared_ptr< UltraZKFlavor::VerificationKey >	acir_format::create_mock_honk_vk< UltraZKFlavor, stdlib::recursion::honk::DefaultIO< MegaCircuitBuilder > > (const size_t, const size_t, const size_t)
template std::shared_ptr< UltraRollupFlavor::VerificationKey >	acir_format::create_mock_honk_vk< UltraRollupFlavor, stdlib::recursion::honk::RollupIO > (const size_t, const size_t, const size_t)
template std::shared_ptr< VerifierInstance_< MegaFlavor > >	acir_format::create_mock_verifier_instance< MegaFlavor > ()