|
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/protogalaxy/protogalaxy_prover.hpp"#include "barretenberg/protogalaxy/protogalaxy_verifier.hpp"#include "barretenberg/stdlib/hash/blake3s/blake3s.hpp"#include "barretenberg/stdlib/hash/pedersen/pedersen.hpp"#include "barretenberg/stdlib/honk_verifier/decider_recursive_verifier.hpp"#include "barretenberg/stdlib/protogalaxy_verifier/protogalaxy_recursive_verifier.hpp"#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"#include "barretenberg/ultra_honk/decider_prover.hpp"#include "barretenberg/ultra_honk/ultra_prover.hpp"#include "barretenberg/ultra_honk/ultra_verifier.hpp"Go to the source code of this file.
Classes | |
| class | bb::stdlib::recursion::honk::BoomerangProtogalaxyRecursiveTests |
Namespaces | |
| namespace | bb |
| Entry point for Barretenberg command-line interface. | |
| namespace | bb::stdlib |
| namespace | bb::stdlib::recursion |
| namespace | bb::stdlib::recursion::honk |
Functions | |
| bb::stdlib::recursion::honk::TEST_F (BoomerangProtogalaxyRecursiveTests, RecursiveFoldingTestOneVerifier) | |
| bb::stdlib::recursion::honk::TEST_F (BoomerangProtogalaxyRecursiveTests, RecursiveFoldingTestTwoVerifiers) | |
| bb::stdlib::recursion::honk::TEST_F (BoomerangProtogalaxyRecursiveTests, FullProtogalaxyRecursiveTest) | |
Variables | |
| auto & | engine = bb::numeric::get_debug_randomness() |
| auto& engine = bb::numeric::get_debug_randomness() |
Definition at line 15 of file graph_description_protogalaxy.test.cpp.