Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
circuit_checker.hpp
Go to the documentation of this file.
1#pragma once
5
6namespace bb {
7
13 public:
16};
17
18} // namespace bb
The unified interface for check circuit functionality implemented in the specialized CircuitChecker c...
static bool check(const UltraCircuitBuilder &builder)
static bool check(const MegaCircuitBuilder &builder)
static bool check(const Builder &builder_in)
Check the correctness of a circuit witness.
AluTraceBuilder builder
Definition alu.test.cpp:124
Entry point for Barretenberg command-line interface.
Definition api.hpp:5