Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
CheckableComposer Concept Reference

Fuzzer uses only composers with check_circuit function. More...

#include <fuzzer.hpp>

Concept definition

template<typename T>
concept CheckableComposer = requires(T a) {
{ bb::CircuitChecker::check(a) } -> std::same_as<bool>;
}
bb::TranslatorCircuitChecker::check
static bool check(const Builder &circuit)
Check the witness satisifies the circuit.
Definition translator_circuit_checker.cpp:20
CheckableComposer
Fuzzer uses only composers with check_circuit function.
Definition fuzzer.hpp:189
a
FF a
Definition field_gt.test.cpp:51
std::get
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13

Detailed Description

Fuzzer uses only composers with check_circuit function.

Template Parameters
T

Definition at line 189 of file fuzzer.hpp.