sumcheck_test_bench_shared.hpp File Reference

#include "barretenberg/client_ivc/sumcheck_client_ivc.hpp"
#include "barretenberg/client_ivc/sumcheck_mock_circuit_producer.hpp"
#include "barretenberg/common/bb_bench.hpp"
#include "barretenberg/goblin/mock_circuits.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"

Go to the source code of this file.

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.

Functions
std::pair< SumcheckClientIVC::Proof, SumcheckClientIVC::VerificationKey >	bb::accumulate_and_prove_ivc_with_precomputed_vks (size_t num_app_circuits, auto &precomputed_vks, const bool large_first_app=true)
	Perform a specified number of circuit accumulation rounds.
std::vector< std::shared_ptr< typename MegaFlavor::VerificationKey > >	bb::sumcheck_precompute_vks (const size_t num_app_circuits, const bool large_first_app=true)