Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
ultra_honk_rounds.bench.cpp File Reference

Go to the source code of this file.

Macros

#define ROUND_BENCHMARK(round)
 

Enumerations

enum  {
  PREAMBLE , WIRE_COMMITMENTS , SORTED_LIST_ACCUMULATOR , LOG_DERIVATIVE_INVERSE ,
  GRAND_PRODUCT_COMPUTATION , GENERATE_ALPHAS , RELATION_CHECK
}
 

Functions

BB_PROFILE void test_round_inner (State &state, MegaProver &prover, size_t index) noexcept
 
 ROUND_BENCHMARK (PREAMBLE) -> Iterations(1)
 
 ROUND_BENCHMARK (WIRE_COMMITMENTS) -> Iterations(1)
 
 ROUND_BENCHMARK (SORTED_LIST_ACCUMULATOR) -> Iterations(1)
 
 ROUND_BENCHMARK (LOG_DERIVATIVE_INVERSE) -> Iterations(1)
 
 ROUND_BENCHMARK (GRAND_PRODUCT_COMPUTATION) -> Iterations(1)
 
 ROUND_BENCHMARK (GENERATE_ALPHAS) -> Iterations(1)
 
 ROUND_BENCHMARK (RELATION_CHECK)
 
 BENCHMARK_MAIN ()
 

Macro Definition Documentation

◆ ROUND_BENCHMARK

#define ROUND_BENCHMARK (   round)
Value:
static void ROUND_##round(State& state) noexcept \
{ \
test_round(state, round); \
} \
BENCHMARK(ROUND_##round)->DenseRange(12, 19)->Unit(kMillisecond)

Definition at line 78 of file ultra_honk_rounds.bench.cpp.

Enumeration Type Documentation

◆ anonymous enum

anonymous enum
Enumerator
PREAMBLE 
WIRE_COMMITMENTS 
SORTED_LIST_ACCUMULATOR 
LOG_DERIVATIVE_INVERSE 
GRAND_PRODUCT_COMPUTATION 
GENERATE_ALPHAS 
RELATION_CHECK 

Definition at line 14 of file ultra_honk_rounds.bench.cpp.

Function Documentation

◆ BENCHMARK_MAIN()

BENCHMARK_MAIN ( )

◆ ROUND_BENCHMARK() [1/7]

ROUND_BENCHMARK ( GENERATE_ALPHAS  ) -> Iterations(1)

◆ ROUND_BENCHMARK() [2/7]

ROUND_BENCHMARK ( GRAND_PRODUCT_COMPUTATION  ) -> Iterations(1)

◆ ROUND_BENCHMARK() [3/7]

ROUND_BENCHMARK ( LOG_DERIVATIVE_INVERSE  ) -> Iterations(1)

◆ ROUND_BENCHMARK() [4/7]

ROUND_BENCHMARK ( PREAMBLE  ) -> Iterations(1)

◆ ROUND_BENCHMARK() [5/7]

ROUND_BENCHMARK ( RELATION_CHECK  )

◆ ROUND_BENCHMARK() [6/7]

ROUND_BENCHMARK ( SORTED_LIST_ACCUMULATOR  ) -> Iterations(1)

◆ ROUND_BENCHMARK() [7/7]

ROUND_BENCHMARK ( WIRE_COMMITMENTS  ) -> Iterations(1)

◆ test_round_inner()

BB_PROFILE void test_round_inner ( State &  state,
MegaProver prover,
size_t  index 
)
noexcept

Benchmark Goblin ultrahonk by performing all the rounds, but only measuring one. Note: As a result the very short rounds take a long time for statistical significance, so recommended to set their iterations to 1.

Parameters
state- The google benchmark state.
prover- The Goblin ultrahonk prover.
index- The pass to measure.

Definition at line 32 of file ultra_honk_rounds.bench.cpp.