mock_verifier_inputs.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Planned, auditors: [], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#pragma once
#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 "barretenberg/vm2/constraining/flavor.hpp"
#include <vector>
 
namespace acir_format {
 
template <class Curve = bb::curve::BN254>
void populate_field_elements_for_mock_commitments(std::vector<bb::fr>& fields, const size_t& num_commitments);
 
template <class FF = bb::curve::BN254::ScalarField>
void populate_field_elements(std::vector<bb::fr>& fields,
                             const size_t& num_elements,
                             std::optional<FF> value = std::nullopt);
 
template <typename Flavor, class PublicInputs>
bb::HonkProof create_mock_oink_proof(const size_t acir_public_inputs_size = 0);
 
template <typename Flavor> bb::HonkProof create_mock_sumcheck_proof();
 
bb::HonkProof create_mock_multilinear_batch_proof();
 
template <typename Flavor, class PublicInputs> bb::HonkProof create_mock_hyper_nova_proof(bool include_fold = false);
 
template <typename Flavor> bb::HonkProof create_mock_pcs_proof();
 
template <typename Flavor> bb::HonkProof create_mock_decider_proof();
 
template <typename Flavor, class PublicInputs>
bb::HonkProof create_mock_honk_proof(const size_t acir_public_inputs_size = 0);
 
bb::HonkProof create_mock_avm_proof_without_pub_inputs(const bool add_padding);
 
template <typename Flavor>
std::pair<bb::HonkProof, std::shared_ptr<typename Flavor::VerificationKey>> construct_arbitrary_valid_honk_proof_and_vk(
    size_t acir_public_inputs_size);
 
bb::Goblin::MergeProof create_mock_merge_proof();
 
bb::HonkProof create_mock_eccvm_proof();
 
bb::HonkProof create_mock_ipa_proof();
 
bb::HonkProof create_mock_translator_proof();
 
template <typename Builder> bb::HonkProof create_mock_chonk_proof(const size_t acir_public_inputs_size = 0);
 
template <typename Flavor, class PublicInputs>
std::shared_ptr<typename Flavor::VerificationKey> create_mock_honk_vk(const size_t dyadic_size,
                                                                      const size_t acir_public_inputs_size = 0);
 
} // namespace acir_format