|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
Functions | |
| template<typename Builder > | |
| void | check_circuit_and_gate_count (Builder &builder, uint32_t expected_gates_without_base) |
| Utility function for gate count checking and circuit verification. | |
| void bb::stdlib::test_utils::check_circuit_and_gate_count | ( | Builder & | builder, |
| uint32_t | expected_gates_without_base | ||
| ) |
Utility function for gate count checking and circuit verification.
This function finalizes the circuit, checks the gate count against an expected value, and runs the circuit checker. The expected gate count should be provided WITHOUT the fixed number of gates that result from default constants added in the builder:
| Builder | The circuit builder type |
| builder | The circuit builder instance |
| expected_gates_without_base | Expected number of gates excluding base gates |
Definition at line 21 of file test_utils.hpp.