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/decider_verification_key.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 , 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.
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 , 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::DeciderVerificationKey_< Flavor > >	acir_format::create_mock_decider_vk ()
	Create a mock Decider verification key for initilization of a mock verifier accumulator.