protogalaxy_recursive_verifier.test.cpp File Reference

#include "barretenberg/stdlib/protogalaxy_verifier/protogalaxy_recursive_verifier.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/bb_bench.hpp"
#include "barretenberg/common/test.hpp"
#include "barretenberg/goblin/mock_circuits.hpp"
#include "barretenberg/protogalaxy/folding_test_utils.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/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/stdlib_circuit_builders/mock_circuits.hpp"
#include "barretenberg/ultra_honk/decider_prover.hpp"
#include "barretenberg/ultra_honk/oink_verifier.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::ProtogalaxyRecursiveTests
struct	bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::RecursiveFoldingData

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 (ProtogalaxyRecursiveTests, ValidFolding)
	bb::stdlib::recursion::honk::TEST_F (ProtogalaxyRecursiveTests, WiresIncomingAccumulator)
	bb::stdlib::recursion::honk::TEST_F (ProtogalaxyRecursiveTests, AlphasIncomingAccumulator)
	bb::stdlib::recursion::honk::TEST_F (ProtogalaxyRecursiveTests, GateChallengesIncomingAccumulator)
	bb::stdlib::recursion::honk::TEST_F (ProtogalaxyRecursiveTests, RelationParametersIncomingAccumulator)
	bb::stdlib::recursion::honk::TEST_F (ProtogalaxyRecursiveTests, TargetSumIncomingAccumulator)
	bb::stdlib::recursion::honk::TEST_F (ProtogalaxyRecursiveTests, WiresIncomingInstance)
	bb::stdlib::recursion::honk::TEST_F (ProtogalaxyRecursiveTests, WiresFoldedAccumulator)
	bb::stdlib::recursion::honk::TEST_F (ProtogalaxyRecursiveTests, AlphasFoldedAccumulator)
	bb::stdlib::recursion::honk::TEST_F (ProtogalaxyRecursiveTests, GateChallengesFoldedAccumulator)
	bb::stdlib::recursion::honk::TEST_F (ProtogalaxyRecursiveTests, RelationParametersFoldedAccumulator)
	bb::stdlib::recursion::honk::TEST_F (ProtogalaxyRecursiveTests, TargetSumFoldedAccumulator)
	bb::stdlib::recursion::honk::TEST_F (ProtogalaxyRecursiveTests, PerturbatorCoefficient)
	bb::stdlib::recursion::honk::TEST_F (ProtogalaxyRecursiveTests, CombinerQuotientCoefficient)
	bb::stdlib::recursion::honk::TEST_F (ProtogalaxyRecursiveTests, FixedCircuitSize)

Variables
auto &	engine = bb::numeric::get_debug_randomness()

Variable Documentation

engine

auto& engine = bb::numeric::get_debug_randomness()

Definition at line 19 of file protogalaxy_recursive_verifier.test.cpp.