mock_verifier_inputs.hpp File Reference

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

Go to the source code of this file.

Namespaces
namespace	acir_format

Functions
template<class Curve >
void	acir_format::populate_field_elements_for_mock_commitments (std::vector< bb::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 >
void	acir_format::populate_field_elements (std::vector< bb::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 >
bb::HonkProof	acir_format::create_mock_oink_proof (const size_t acir_public_inputs_size=0)
	Create a mock oink proof that has the correct structure but is not in general valid.
template<typename Flavor >
bb::HonkProof	acir_format::create_mock_sumcheck_proof ()
	Create a mock sumcheck proof that has the correct structure but is not in general valid.
HonkProof	acir_format::create_mock_multilinear_batch_proof ()
	Create a mock multilinear batching sumcheck proof that has the correct structure but is not in general valid.
template<typename Flavor , class PublicInputs >
bb::HonkProof	acir_format::create_mock_hyper_nova_proof (bool include_fold=false)
	Create a mock Hypernova proof that has the correct structure but is not in general valid.
template<typename Flavor >
bb::HonkProof	acir_format::create_mock_pcs_proof ()
	Create a mock PCS proof that has the correct structure but is not in general valid.
template<typename Flavor >
bb::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 >
bb::HonkProof	acir_format::create_mock_honk_proof (const size_t acir_public_inputs_size=0)
	Create a mock honk proof that has the correct structure but is not in general valid.
template<typename Flavor >
std::pair< bb::HonkProof, std::shared_ptr< typename Flavor::VerificationKey > >	acir_format::construct_arbitrary_valid_honk_proof_and_vk (size_t acir_public_inputs_size)
	Create a valid honk proof and vk for a circuit with a single big add gate. Adds random public inputs to match num_public_inputs provided.
Goblin::MergeProof	acir_format::create_mock_merge_proof ()
	Create a mock merge proof which has the correct structure but is not necessarily valid.
HonkProof	acir_format::create_mock_eccvm_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 Builder >
bb::HonkProof	acir_format::create_mock_chonk_proof (const size_t acir_public_inputs_size=0)
	Create a mock Chonk 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 acir_public_inputs_size=0)
	Create a mock VK that has the correct structure.