Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Classes | Public Types | Static Public Member Functions | Static Public Attributes | List of all members
bb::BatchMergeTests< Param > Class Template Reference
Inheritance diagram for bb::BatchMergeTests< Param >:

Classes

struct  VerifyResult
 

Public Types

using Curve = typename Param::CurveType
 
using FF = typename Curve::ScalarField
 
using Verifier = BatchMergeVerifier_< Curve, NumSubtables >
 
using Proof = typename Verifier::Proof
 
using Transcript = typename Verifier::Transcript
 
using BuilderType = typename BuilderTypeHelper< Curve >::type
 

Static Public Member Functions

static void SetUpTestSuite ()
 
static Proof create_proof (BuilderType &builder, const std::vector< bb::fr > &native_proof)
 
static FF create_hash (BuilderType &builder, const bb::fr &native_hash)
 
static bool check_circuit (BuilderType &builder)
 
static VerifyResult prove_and_verify (const std::shared_ptr< ECCOpQueue > &op_queue, FaultMode fault_mode=FaultMode::NONE, bool wrong_hash=false, bool check_manifest=false)
 

Static Public Attributes

static constexpr size_t NumSubtables = Param::NumSubtables
 
static constexpr bool IsRecursive = Curve::is_stdlib_type
 
static constexpr size_t VERIFIER_NUM_GATES = NumSubtables == 9 ? 6362 : 22624
 
static constexpr size_t ZK_OFFSET = NumSubtables == 9 ? 666 : 520
 

Detailed Description

template<typename Param>
class bb::BatchMergeTests< Param >

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

Member Typedef Documentation

◆ BuilderType

template<typename Param >
using bb::BatchMergeTests< Param >::BuilderType = typename BuilderTypeHelper<Curve>::type

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

◆ Curve

template<typename Param >
using bb::BatchMergeTests< Param >::Curve = typename Param::CurveType

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

◆ FF

template<typename Param >
using bb::BatchMergeTests< Param >::FF = typename Curve::ScalarField

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

◆ Proof

template<typename Param >
using bb::BatchMergeTests< Param >::Proof = typename Verifier::Proof

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

◆ Transcript

template<typename Param >
using bb::BatchMergeTests< Param >::Transcript = typename Verifier::Transcript

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

◆ Verifier

template<typename Param >
using bb::BatchMergeTests< Param >::Verifier = BatchMergeVerifier_<Curve, NumSubtables>

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

Member Function Documentation

◆ check_circuit()

template<typename Param >
static bool bb::BatchMergeTests< Param >::check_circuit ( BuilderType &  builder)
inlinestatic

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

◆ create_hash()

template<typename Param >
static FF bb::BatchMergeTests< Param >::create_hash ( BuilderType &  builder,
const bb::fr &  native_hash 
)
inlinestatic

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

◆ create_proof()

template<typename Param >
static Proof bb::BatchMergeTests< Param >::create_proof ( BuilderType &  builder,
const std::vector< bb::fr > &  native_proof 
)
inlinestatic

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

◆ prove_and_verify()

template<typename Param >
static VerifyResult bb::BatchMergeTests< Param >::prove_and_verify ( const std::shared_ptr< ECCOpQueue > &  op_queue,
FaultMode  fault_mode = FaultMode::NONE,
bool  wrong_hash = false,
bool  check_manifest = false 
)
inlinestatic

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

◆ SetUpTestSuite()

template<typename Param >
static void bb::BatchMergeTests< Param >::SetUpTestSuite ( )
inlinestatic

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

Member Data Documentation

◆ IsRecursive

template<typename Param >
constexpr bool bb::BatchMergeTests< Param >::IsRecursive = Curve::is_stdlib_type
staticconstexpr

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

◆ NumSubtables

template<typename Param >
constexpr size_t bb::BatchMergeTests< Param >::NumSubtables = Param::NumSubtables
staticconstexpr

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

◆ VERIFIER_NUM_GATES

template<typename Param >
constexpr size_t bb::BatchMergeTests< Param >::VERIFIER_NUM_GATES = NumSubtables == 9 ? 6362 : 22624
staticconstexpr

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

◆ ZK_OFFSET

template<typename Param >
constexpr size_t bb::BatchMergeTests< Param >::ZK_OFFSET = NumSubtables == 9 ? 666 : 520
staticconstexpr

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

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