mock_verifier_inputs.hpp File Reference

#include "barretenberg/client_ivc/client_ivc.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<typename Flavor , class PublicInputs >
bb::HonkProof	acir_format::create_mock_oink_proof (const size_t inner_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_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 inner_public_inputs_size=0)
	Create a mock honk proof that has the correct structure but is not in general valid.
template<typename Flavor >
bb::HonkProof	acir_format::create_mock_pcs_proof ()
template<typename Flavor , class PublicInputs >
bb::HonkProof	acir_format::create_mock_pg_proof ()
	Create a mock PG 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)
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_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 Builder >
bb::HonkProof	acir_format::create_mock_civc_proof (const size_t inner_public_inputs_size=0)
template<typename Flavor >
std::pair< bb::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 >
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< bb::VerifierInstance_< Flavor > >	acir_format::create_mock_verifier_instance ()
	Create a mock instance for initilization of a mock verifier accumulator.