batch_merge.test.cpp File Reference

#include "barretenberg/boomerang_value_detection/graph.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/commitment_schemes/shplonk/shplonk.hpp"
#include "barretenberg/common/test.hpp"
#include "barretenberg/crypto/poseidon2/poseidon2.hpp"
#include "barretenberg/goblin/batch_merge_prover.hpp"
#include "barretenberg/goblin/batch_merge_verifier.hpp"
#include "barretenberg/op_queue/ecc_op_queue.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/transcript/transcript.hpp"

Go to the source code of this file.

Classes
struct	bb::BuilderTypeHelper< Curve, typename >
struct	bb::BuilderTypeHelper< Curve, typename >::DummyBuilder
struct	bb::BuilderTypeHelper< Curve, std::enable_if_t< Curve::is_stdlib_type > >
class	bb::TweakableBatchMergeProver
struct	bb::TestParam< Curve, N >
class	bb::BatchMergeTests< Param >
struct	bb::BatchMergeTests< Param >::VerifyResult

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.

Typedefs
using	bb::NativeCurve = curve::BN254
using	bb::NativeG1 = NativeCurve::AffineElement
using	bb::TestParams = ::testing::Types< TestParam< curve::BN254, 9 >, TestParam< curve::BN254, CHONK_MAX_NUM_CIRCUITS >, TestParam< stdlib::bn254< MegaCircuitBuilder >, 9 >, TestParam< stdlib::bn254< MegaCircuitBuilder >, CHONK_MAX_NUM_CIRCUITS > >

Enumerations
enum class	bb::FaultMode : uint8_t {   bb::NONE , bb::WRONG_MERGED_TABLE , bb::BAD_DEGREE_CHECK_POLY , bb::PADDING_NOT_INFINITY ,   bb::SHIFT_SIZE_MINUS_ONE , bb::ZK_TABLE_DEGREE_TOO_HIGH , bb::ZERO_SUBTABLES_CLAIM , bb::TOO_MANY_SUBTABLES }

Functions
void	bb::populate_subtable (const std::shared_ptr< ECCOpQueue > &op_queue, size_t num_ops)
std::shared_ptr< ECCOpQueue >	bb::make_op_queue_with_n_subtables (size_t n)
bb::fr	bb::compute_running_hash (const std::vector< bb::fr > &proof, size_t N)
	bb::TYPED_TEST_SUITE (BatchMergeTests, TestParams)
	bb::TYPED_TEST (BatchMergeTests, ValidProofPassesWithPadding)
	bb::TYPED_TEST (BatchMergeTests, ValidProofMaxSizePasses)
	bb::TYPED_TEST (BatchMergeTests, ZeroSubtablesFails)
	bb::TYPED_TEST (BatchMergeTests, TooManySubtablesFails)
	bb::TYPED_TEST (BatchMergeTests, WrongMergedTableFails)
	bb::TYPED_TEST (BatchMergeTests, WrongHashFails)
	bb::TYPED_TEST (BatchMergeTests, BadSubtableDegreeCheckFails)
	bb::TYPED_TEST (BatchMergeTests, PaddingTableNotInfinityFails)
	bb::TYPED_TEST (BatchMergeTests, ShiftSizeMinusOneFailsReductionOnly)
	bb::TYPED_TEST (BatchMergeTests, ZKTableDegreeTooHighFailsReductionOnly)
	bb::TYPED_TEST (BatchMergeTests, GraphDescription)