|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
Public Types | |
| using | Builder = typename Curve::Builder |
| using | NativeEmbeddedCurve = Builder::EmbeddedCurve |
| using | native_VK = VerifierCommitmentKey< NativeEmbeddedCurve > |
| using | VK = VerifierCommitmentKey< Curve > |
Static Public Member Functions | |
| static void | SetUpTestSuite () |
| static void | test_equality () |
| Instantiante a recursive verifier commitment key from a Grumpkin native key and check consistency. | |
Definition at line 6 of file verifier_commitment_key.test.cpp.
| using bb::RecursiveVeriferCommitmentKeyTest< Curve >::Builder = typename Curve::Builder |
Definition at line 8 of file verifier_commitment_key.test.cpp.
| using bb::RecursiveVeriferCommitmentKeyTest< Curve >::native_VK = VerifierCommitmentKey<NativeEmbeddedCurve> |
Definition at line 10 of file verifier_commitment_key.test.cpp.
| using bb::RecursiveVeriferCommitmentKeyTest< Curve >::NativeEmbeddedCurve = Builder::EmbeddedCurve |
Definition at line 9 of file verifier_commitment_key.test.cpp.
| using bb::RecursiveVeriferCommitmentKeyTest< Curve >::VK = VerifierCommitmentKey<Curve> |
Definition at line 11 of file verifier_commitment_key.test.cpp.
|
inlinestatic |
Definition at line 12 of file verifier_commitment_key.test.cpp.
|
inlinestatic |
Instantiante a recursive verifier commitment key from a Grumpkin native key and check consistency.
Definition at line 18 of file verifier_commitment_key.test.cpp.