|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include "barretenberg/boomerang_value_detection/graph.hpp"#include "barretenberg/circuit_checker/circuit_checker.hpp"#include "barretenberg/common/test.hpp"#include "barretenberg/goblin/mock_circuits.hpp"#include "barretenberg/stdlib/primitives/bigfield/constants.hpp"#include "barretenberg/stdlib/primitives/databus/databus.hpp"#include "barretenberg/stdlib_circuit_builders/mega_circuit_builder.hpp"Go to the source code of this file.
Namespaces | |
| namespace | bb |
| Entry point for Barretenberg command-line interface. | |
Typedefs | |
| using | Builder = MegaCircuitBuilder |
| using | field_ct = stdlib::field_t< Builder > |
| using | witness_ct = stdlib::witness_t< Builder > |
| using | databus_ct = stdlib::databus< Builder > |
Functions | |
| bb::TEST (BoomerangMegaCircuitBuilder, BasicCircuit) | |
| bb::TEST (BoomerangMegaCircuitBuilder, OnlyGoblinEccOpQueueUltraOps) | |
| Check that the ultra ops are recorded correctly in the EccOpQueue. | |
| using Builder = MegaCircuitBuilder |
Definition at line 12 of file graph_description_megacircuitbuilder.test.cpp.
| using databus_ct = stdlib::databus<Builder> |
Definition at line 15 of file graph_description_megacircuitbuilder.test.cpp.
| using field_ct = stdlib::field_t<Builder> |
Definition at line 13 of file graph_description_megacircuitbuilder.test.cpp.
| using witness_ct = stdlib::witness_t<Builder> |
Definition at line 14 of file graph_description_megacircuitbuilder.test.cpp.