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
2
#include "
barretenberg/circuit_checker/ultra_circuit_checker.hpp
"
3
#include "
barretenberg/stdlib_circuit_builders/mega_circuit_builder.hpp
"
4
#include "
barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp
"
5
6
namespace
bb
{
7
12
class
CircuitChecker
{
13
public
:
14
static
bool
check
(
const
UltraCircuitBuilder
&
builder
) {
return
UltraCircuitChecker::check
(
builder
); }
15
static
bool
check
(
const
MegaCircuitBuilder
&
builder
) {
return
UltraCircuitChecker::check
(
builder
); }
16
};
17
18
}
// namespace bb
bb::CircuitChecker
The unified interface for check circuit functionality implemented in the specialized CircuitChecker c...
Definition
circuit_checker.hpp:12
bb::CircuitChecker::check
static bool check(const UltraCircuitBuilder &builder)
Definition
circuit_checker.hpp:14
bb::CircuitChecker::check
static bool check(const MegaCircuitBuilder &builder)
Definition
circuit_checker.hpp:15
bb::MegaCircuitBuilder_
Definition
mega_circuit_builder.hpp:19
bb::UltraCircuitBuilder_
Definition
ultra_circuit_builder.hpp:41
bb::UltraCircuitChecker::check
static bool check(const Builder &builder_in)
Check the correctness of a circuit witness.
Definition
ultra_circuit_checker.cpp:49
builder
AluTraceBuilder builder
Definition
alu.test.cpp:124
mega_circuit_builder.hpp
bb
Entry point for Barretenberg command-line interface.
Definition
api.hpp:5
ultra_circuit_builder.hpp
ultra_circuit_checker.hpp
src
barretenberg
circuit_checker
circuit_checker.hpp
Generated by
1.9.8