mega_zk_honk.bench.cpp

Go to the documentation of this file.

#include <benchmark/benchmark.h>
 
#include "barretenberg/benchmark/ultra_bench/mock_circuits.hpp"
#include "barretenberg/stdlib_circuit_builders/mega_circuit_builder.hpp"
 
using namespace benchmark;
using namespace bb;
 
static void construct_proof_megahonk_zk(State& state,
                                        void (*test_circuit_function)(MegaCircuitBuilder&, size_t)) noexcept
{
    size_t num_iterations = 10; // 10x the circuit
    bb::mock_circuits::construct_proof_with_specified_num_iterations<MegaZKProver>(
        state, test_circuit_function, num_iterations);
}
 
static void construct_proof_megahonk_power_of_2_zk(State& state) noexcept
{
    auto log2_of_gates = static_cast<size_t>(state.range(0));
    bb::mock_circuits::construct_proof_with_specified_num_iterations<MegaZKProver>(
        state, &bb::mock_circuits::generate_basic_arithmetic_circuit<MegaCircuitBuilder>, log2_of_gates);
}
 
// Define benchmarks
 
// This exists due to an issue where get_row was blowing up in time
BENCHMARK_CAPTURE(construct_proof_megahonk_zk, sha256, &generate_sha256_test_circuit<MegaCircuitBuilder>)
    ->Unit(kMillisecond);
BENCHMARK_CAPTURE(construct_proof_megahonk_zk, keccak, &stdlib::generate_keccak_test_circuit<MegaCircuitBuilder>)
    ->Unit(kMillisecond);
BENCHMARK_CAPTURE(construct_proof_megahonk_zk,
                  ecdsa_verification,
                  &stdlib::generate_ecdsa_verification_test_circuit<MegaCircuitBuilder>)
    ->Unit(kMillisecond);
 
BENCHMARK(construct_proof_megahonk_power_of_2_zk)
    // 2**15 gates to 2**20 gates
    ->DenseRange(15, 20)
    ->Unit(kMillisecond);
 
BENCHMARK_MAIN();