test_bench_shared.hpp File Reference

#include "barretenberg/client_ivc/client_ivc.hpp"
#include "barretenberg/client_ivc/mock_circuit_producer.hpp"
#include "barretenberg/common/op_count.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
bool	bb::verify_ivc (ClientIVC::Proof &proof, ClientIVC &ivc)
	Verify an IVC proof.
std::pair< ClientIVC::Proof, ClientIVC::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::precompute_vks (const size_t num_app_circuits, const bool large_first_app=true)