|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
Functions | |
| template<typename Builder > | |
| void | generate_basic_arithmetic_circuit (Builder &builder, size_t log2_num_gates) |
| Generate test circuit with basic arithmetic operations. | |
| template<typename Prover > | |
| Prover | get_prover (void(*test_circuit_function)(typename Prover::Flavor::CircuitBuilder &, size_t), size_t num_iterations) |
| template<typename Prover > | |
| void | construct_proof_with_specified_num_iterations (benchmark::State &state, void(*test_circuit_function)(typename Prover::Flavor::CircuitBuilder &, size_t), size_t num_iterations) |
| Performs proof constuction for benchmarks based on a provided circuit function. | |
| void bb::mock_circuits::construct_proof_with_specified_num_iterations | ( | benchmark::State & | state, |
| void(*)(typename Prover::Flavor::CircuitBuilder &, size_t) | test_circuit_function, | ||
| size_t | num_iterations | ||
| ) |
Performs proof constuction for benchmarks based on a provided circuit function.
This function assumes state.range refers to num_iterations which is the number of times to perform a given basic operation in the circuit, e.g. number of hashes
| Builder |
| state | |
| test_circuit_function |
Definition at line 75 of file mock_circuits.hpp.
| void bb::mock_circuits::generate_basic_arithmetic_circuit | ( | Builder & | builder, |
| size_t | log2_num_gates | ||
| ) |
Generate test circuit with basic arithmetic operations.
| composer | |
| num_iterations |
Definition at line 19 of file mock_circuits.hpp.
| Prover bb::mock_circuits::get_prover | ( | void(*)(typename Prover::Flavor::CircuitBuilder &, size_t) | test_circuit_function, |
| size_t | num_iterations | ||
| ) |
Definition at line 48 of file mock_circuits.hpp.