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

Public Types

enum class  TamperType {
  MODIFY_SUMCHECK_UNIVARIATE , MODIFY_SUMCHECK_EVAL , MODIFY_IPA_CLAIM , MODIFY_TRANSLATION_EVAL ,
  MODIFY_LIBRA_EVAL , END
}
 
using RecursiveFlavor = ECCVMRecursiveFlavor
 
using InnerFlavor = RecursiveFlavor::NativeFlavor
 
using InnerBuilder = InnerFlavor::CircuitBuilder
 
using InnerProver = ECCVMProver
 
using InnerVerifier = ECCVMVerifier
 
using InnerG1 = InnerFlavor::Commitment
 
using InnerFF = InnerFlavor::FF
 
using InnerBF = InnerFlavor::BF
 
using InnerPK = InnerFlavor::ProvingKey
 
using InnerVK = InnerFlavor::VerificationKey
 
using Transcript = InnerFlavor::Transcript
 
using StdlibTranscript = RecursiveFlavor::Transcript
 
using RecursiveVerifier = ECCVMRecursiveVerifier
 
using OuterBuilder = RecursiveFlavor::CircuitBuilder
 
using OuterFlavor = std::conditional_t< IsMegaBuilder< OuterBuilder >, MegaFlavor, UltraFlavor >
 
using OuterProver = UltraProver_< OuterFlavor >
 
using OuterVerifier = UltraVerifier_< OuterFlavor, bb::DefaultIO >
 
using OuterProverInstance = ProverInstance_< OuterFlavor >
 
using PCS = IPA< ECCVMFlavor::Curve, CONST_ECCVM_LOG_N >
 

Static Public Member Functions

static void SetUpTestSuite ()
 
static InnerBuilder generate_circuit (numeric::RNG *engine=nullptr, const size_t num_iterations=1)
 Adds operations in BN254 to the op_queue and then constructs and ECCVM circuit from the op_queue.
 
static void test_recursive_verification ()
 
static void test_recursive_verification_failure ()
 
static void test_structured_proof_round_trip ()
 Verify that StructuredProof<ECCVMFlavor> can round-trip serialize/deserialize a proof.
 
static void tamper_eccvm_proof (InnerProver &prover, typename InnerFlavor::Transcript::Proof &proof, TamperType tamper_type)
 
static void test_recursive_verification_fails ()
 
static void test_independent_vk_hash ()
 

Detailed Description

Definition at line 17 of file eccvm_recursive_verifier.test.cpp.

Member Typedef Documentation

◆ InnerBF

using bb::ECCVMRecursiveTests::InnerBF = InnerFlavor::BF

Definition at line 26 of file eccvm_recursive_verifier.test.cpp.

◆ InnerBuilder

using bb::ECCVMRecursiveTests::InnerBuilder = InnerFlavor::CircuitBuilder

Definition at line 21 of file eccvm_recursive_verifier.test.cpp.

◆ InnerFF

using bb::ECCVMRecursiveTests::InnerFF = InnerFlavor::FF

Definition at line 25 of file eccvm_recursive_verifier.test.cpp.

◆ InnerFlavor

using bb::ECCVMRecursiveTests::InnerFlavor = RecursiveFlavor::NativeFlavor

Definition at line 20 of file eccvm_recursive_verifier.test.cpp.

◆ InnerG1

using bb::ECCVMRecursiveTests::InnerG1 = InnerFlavor::Commitment

Definition at line 24 of file eccvm_recursive_verifier.test.cpp.

◆ InnerPK

using bb::ECCVMRecursiveTests::InnerPK = InnerFlavor::ProvingKey

Definition at line 27 of file eccvm_recursive_verifier.test.cpp.

◆ InnerProver

using bb::ECCVMRecursiveTests::InnerProver = ECCVMProver

Definition at line 22 of file eccvm_recursive_verifier.test.cpp.

◆ InnerVerifier

using bb::ECCVMRecursiveTests::InnerVerifier = ECCVMVerifier

Definition at line 23 of file eccvm_recursive_verifier.test.cpp.

◆ InnerVK

using bb::ECCVMRecursiveTests::InnerVK = InnerFlavor::VerificationKey

Definition at line 28 of file eccvm_recursive_verifier.test.cpp.

◆ OuterBuilder

using bb::ECCVMRecursiveTests::OuterBuilder = RecursiveFlavor::CircuitBuilder

Definition at line 35 of file eccvm_recursive_verifier.test.cpp.

◆ OuterFlavor

using bb::ECCVMRecursiveTests::OuterFlavor = std::conditional_t<IsMegaBuilder<OuterBuilder>, MegaFlavor, UltraFlavor>

Definition at line 36 of file eccvm_recursive_verifier.test.cpp.

◆ OuterProver

using bb::ECCVMRecursiveTests::OuterProver = UltraProver_<OuterFlavor>

Definition at line 37 of file eccvm_recursive_verifier.test.cpp.

◆ OuterProverInstance

using bb::ECCVMRecursiveTests::OuterProverInstance = ProverInstance_<OuterFlavor>

Definition at line 39 of file eccvm_recursive_verifier.test.cpp.

◆ OuterVerifier

using bb::ECCVMRecursiveTests::OuterVerifier = UltraVerifier_<OuterFlavor, bb::DefaultIO>

Definition at line 38 of file eccvm_recursive_verifier.test.cpp.

◆ PCS

using bb::ECCVMRecursiveTests::PCS = IPA<ECCVMFlavor::Curve, CONST_ECCVM_LOG_N>

Definition at line 41 of file eccvm_recursive_verifier.test.cpp.

◆ RecursiveFlavor

using bb::ECCVMRecursiveTests::RecursiveFlavor = ECCVMRecursiveFlavor

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

◆ RecursiveVerifier

using bb::ECCVMRecursiveTests::RecursiveVerifier = ECCVMRecursiveVerifier

Definition at line 33 of file eccvm_recursive_verifier.test.cpp.

◆ StdlibTranscript

using bb::ECCVMRecursiveTests::StdlibTranscript = RecursiveFlavor::Transcript

Definition at line 31 of file eccvm_recursive_verifier.test.cpp.

◆ Transcript

using bb::ECCVMRecursiveTests::Transcript = InnerFlavor::Transcript

Definition at line 30 of file eccvm_recursive_verifier.test.cpp.

Member Enumeration Documentation

◆ TamperType

enum class bb::ECCVMRecursiveTests::TamperType
strong
Enumerator
MODIFY_SUMCHECK_UNIVARIATE 
MODIFY_SUMCHECK_EVAL 
MODIFY_IPA_CLAIM 
MODIFY_TRANSLATION_EVAL 
MODIFY_LIBRA_EVAL 
END 

Definition at line 216 of file eccvm_recursive_verifier.test.cpp.

Member Function Documentation

◆ generate_circuit()

static InnerBuilder bb::ECCVMRecursiveTests::generate_circuit ( numeric::RNG *  engine = nullptr,
const size_t  num_iterations = 1 
)
inlinestatic

Adds operations in BN254 to the op_queue and then constructs and ECCVM circuit from the op_queue.

Parameters
engine
Returns
ECCVMCircuitBuilder

Definition at line 50 of file eccvm_recursive_verifier.test.cpp.

◆ SetUpTestSuite()

static void bb::ECCVMRecursiveTests::SetUpTestSuite ( )
inlinestatic

Definition at line 42 of file eccvm_recursive_verifier.test.cpp.

◆ tamper_eccvm_proof()

static void bb::ECCVMRecursiveTests::tamper_eccvm_proof ( InnerProver &  prover,
typename InnerFlavor::Transcript::Proof &  proof,
TamperType  tamper_type 
)
inlinestatic

Definition at line 225 of file eccvm_recursive_verifier.test.cpp.

◆ test_independent_vk_hash()

static void bb::ECCVMRecursiveTests::test_independent_vk_hash ( )
inlinestatic

Definition at line 308 of file eccvm_recursive_verifier.test.cpp.

◆ test_recursive_verification()

static void bb::ECCVMRecursiveTests::test_recursive_verification ( )
inlinestatic

Definition at line 86 of file eccvm_recursive_verifier.test.cpp.

◆ test_recursive_verification_fails()

static void bb::ECCVMRecursiveTests::test_recursive_verification_fails ( )
inlinestatic

Definition at line 264 of file eccvm_recursive_verifier.test.cpp.

◆ test_recursive_verification_failure()

static void bb::ECCVMRecursiveTests::test_recursive_verification_failure ( )
inlinestatic

Definition at line 162 of file eccvm_recursive_verifier.test.cpp.

◆ test_structured_proof_round_trip()

static void bb::ECCVMRecursiveTests::test_structured_proof_round_trip ( )
inlinestatic

Verify that StructuredProof<ECCVMFlavor> can round-trip serialize/deserialize a proof.

Validates the field layout matches the actual ECCVM proof structure. This is the foundation for targeted proof tampering in TargetedProofTampering.

Definition at line 197 of file eccvm_recursive_verifier.test.cpp.

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