bb::TweakableBatchMergeProver Class Reference

Inheritance diagram for bb::TweakableBatchMergeProver:

Public Member Functions
	TweakableBatchMergeProver (const std::shared_ptr< ECCOpQueue > &op_queue, size_t max_subtables, FaultMode mode=FaultMode::NONE)
MergeProof	construct_proof ()
Public Member Functions inherited from bb::BatchMergeProver
	BatchMergeProver (const std::shared_ptr< ECCOpQueue > &op_queue, size_t max_subtables)
MergeProof	construct_proof ()
	Construct the batch merge proof.

Private Types
using	Curve = curve::BN254
using	FF = Curve::ScalarField
using	PCS = KZG< Curve >
using	Polynomial = bb::Polynomial< FF >
using	OpeningClaim = ProverOpeningClaim< Curve >
using	Transcript = NativeTranscript

Private Attributes
FaultMode	fault_mode

Additional Inherited Members
Public Types inherited from bb::BatchMergeProver
using	MergeProof = std::vector< FF >
Public Attributes inherited from bb::BatchMergeProver
CommitmentKey	pcs_commitment_key
std::shared_ptr< Transcript >	transcript
Static Public Attributes inherited from bb::BatchMergeProver
static constexpr size_t	NUM_WIRES = MegaExecutionTraceBlocks::NUM_WIRES
Protected Types inherited from bb::BatchMergeProver
using	Curve = curve::BN254
using	FF = Curve::ScalarField
using	Commitment = Curve::AffineElement
using	Polynomial = bb::Polynomial< FF >
using	CommitmentKey = bb::CommitmentKey< Curve >
using	PCS = KZG< Curve >
using	OpeningClaim = ProverOpeningClaim< Curve >
using	Transcript = NativeTranscript
using	ShplonkProver = ShplonkProver_< Curve >
Static Protected Member Functions inherited from bb::BatchMergeProver
static Polynomial	compute_degree_check_polynomial (const std::vector< Polynomial > &flattened_columns, const std::vector< FF > &degree_check_challenges, const size_t max_size)
Protected Attributes inherited from bb::BatchMergeProver
std::shared_ptr< ECCOpQueue >	op_queue
size_t	max_subtables

Detailed Description

Local prover copy used only in tests, with controlled fault injection points. Important: faults are applied before data is sent to transcript, so Fiat–Shamir remains consistent.

Definition at line 108 of file batch_merge.test.cpp.

Member Typedef Documentation

Curve

using bb::TweakableBatchMergeProver::Curve = curve::BN254

private

Definition at line 109 of file batch_merge.test.cpp.

FF

using bb::TweakableBatchMergeProver::FF = Curve::ScalarField

private

Definition at line 110 of file batch_merge.test.cpp.

OpeningClaim

using bb::TweakableBatchMergeProver::OpeningClaim = ProverOpeningClaim<Curve>

private

Definition at line 113 of file batch_merge.test.cpp.

PCS

using bb::TweakableBatchMergeProver::PCS = KZG<Curve>

private

Definition at line 111 of file batch_merge.test.cpp.

Polynomial

using bb::TweakableBatchMergeProver::Polynomial = bb::Polynomial<FF>

private

Definition at line 112 of file batch_merge.test.cpp.

Transcript

using bb::TweakableBatchMergeProver::Transcript = NativeTranscript

private

Definition at line 114 of file batch_merge.test.cpp.

Constructor & Destructor Documentation

TweakableBatchMergeProver()

bb::TweakableBatchMergeProver::TweakableBatchMergeProver ( const std::shared_ptr< ECCOpQueue > &  op_queue, size_t  max_subtables, FaultMode  mode = FaultMode::NONE  )

inlineexplicit

Definition at line 117 of file batch_merge.test.cpp.

Member Function Documentation

construct_proof()

MergeProof bb::TweakableBatchMergeProver::construct_proof ( )

inline

Definition at line 124 of file batch_merge.test.cpp.

Member Data Documentation

fault_mode

FaultMode bb::TweakableBatchMergeProver::fault_mode

private

Definition at line 321 of file batch_merge.test.cpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/goblin/batch_merge.test.cpp