Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::ECCVMRecursiveTests Member List
This is the complete list of members for
bb::ECCVMRecursiveTests
, including all inherited members.
generate_circuit
(numeric::RNG *engine=nullptr, const size_t num_iterations=1)
bb::ECCVMRecursiveTests
inline
static
InnerBF
typedef
bb::ECCVMRecursiveTests
InnerBuilder
typedef
bb::ECCVMRecursiveTests
InnerFF
typedef
bb::ECCVMRecursiveTests
InnerFlavor
typedef
bb::ECCVMRecursiveTests
InnerG1
typedef
bb::ECCVMRecursiveTests
InnerPK
typedef
bb::ECCVMRecursiveTests
InnerProver
typedef
bb::ECCVMRecursiveTests
InnerVerifier
typedef
bb::ECCVMRecursiveTests
InnerVK
typedef
bb::ECCVMRecursiveTests
OuterBuilder
typedef
bb::ECCVMRecursiveTests
OuterFlavor
typedef
bb::ECCVMRecursiveTests
OuterProver
typedef
bb::ECCVMRecursiveTests
OuterProverInstance
typedef
bb::ECCVMRecursiveTests
OuterVerifier
typedef
bb::ECCVMRecursiveTests
PCS
typedef
bb::ECCVMRecursiveTests
RecursiveFlavor
typedef
bb::ECCVMRecursiveTests
RecursiveVerifier
typedef
bb::ECCVMRecursiveTests
SetUpTestSuite
()
bb::ECCVMRecursiveTests
inline
static
StdlibTranscript
typedef
bb::ECCVMRecursiveTests
tamper_eccvm_proof
(InnerProver &prover, typename InnerFlavor::Transcript::Proof &proof, TamperType tamper_type)
bb::ECCVMRecursiveTests
inline
static
TamperType
enum name
bb::ECCVMRecursiveTests
test_independent_vk_hash
()
bb::ECCVMRecursiveTests
inline
static
test_recursive_verification
()
bb::ECCVMRecursiveTests
inline
static
test_recursive_verification_fails
()
bb::ECCVMRecursiveTests
inline
static
test_recursive_verification_failure
()
bb::ECCVMRecursiveTests
inline
static
test_structured_proof_round_trip
()
bb::ECCVMRecursiveTests
inline
static
Transcript
typedef
bb::ECCVMRecursiveTests
Generated by
1.9.8