Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::MergeTests< Curve > Member List
This is the complete list of members for
bb::MergeTests< Curve >
, including all inherited members.
BuilderType
typedef
bb::MergeTests< Curve >
check_circuit
(BuilderType &builder)
bb::MergeTests< Curve >
inline
static
Commitment
typedef
bb::MergeTests< Curve >
create_commitment
(BuilderType &builder, const curve::BN254::AffineElement &native_commitment)
bb::MergeTests< Curve >
inline
static
create_proof
(BuilderType &builder, const std::vector< bb::fr > &native_proof)
bb::MergeTests< Curve >
inline
static
FF
typedef
bb::MergeTests< Curve >
GroupElement
typedef
bb::MergeTests< Curve >
InputCommitments
typedef
bb::MergeTests< Curve >
IsRecursive
bb::MergeTests< Curve >
static
MergeVerifierType
typedef
bb::MergeTests< Curve >
NUM_WIRES
bb::MergeTests< Curve >
static
PairingPoints
typedef
bb::MergeTests< Curve >
Proof
typedef
bb::MergeTests< Curve >
prove_and_verify_merge
(const std::shared_ptr< ECCOpQueue > &op_queue, const MergeSettings settings=MergeSettings::PREPEND, const TamperProofMode tampering_mode=TamperProofMode::None, const bool expected=true)
bb::MergeTests< Curve >
inline
static
SetUpTestSuite
()
bb::MergeTests< Curve >
inline
static
TableCommitments
typedef
bb::MergeTests< Curve >
tamper_with_proof
(std::vector< bb::fr > &merge_proof, const TamperProofMode tampering_mode)
bb::MergeTests< Curve >
inline
static
TamperProofMode
enum name
bb::MergeTests< Curve >
test_degree_check_failure
(const MergeSettings settings=MergeSettings::PREPEND)
bb::MergeTests< Curve >
inline
static
test_eval_failure
(const MergeSettings settings=MergeSettings::PREPEND)
bb::MergeTests< Curve >
inline
static
test_merge_failure
(const MergeSettings settings=MergeSettings::PREPEND)
bb::MergeTests< Curve >
inline
static
test_merge_prepend_then_append
()
bb::MergeTests< Curve >
inline
static
test_merge_proof_size
()
bb::MergeTests< Curve >
inline
static
test_multiple_merges_prepend
()
bb::MergeTests< Curve >
inline
static
test_single_merge
()
bb::MergeTests< Curve >
inline
static
to_native
(const T &val)
bb::MergeTests< Curve >
inline
static
Transcript
typedef
bb::MergeTests< Curve >
VerifierCommitmentKey
typedef
bb::MergeTests< Curve >
Generated by
1.9.8