|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include "barretenberg/client_ivc/client_ivc.hpp"#include "barretenberg/client_ivc/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::precompute_vks (const size_t num_app_circuits, const bool large_first_app=true) |