|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
Public Types | |
| using | Flavor = UltraFlavor |
| using | FF = Flavor::FF |
| using | Builder = UltraCircuitBuilder |
| using | Polynomial = Flavor::Polynomial |
Public Types inherited from bb::UltraHonkTests< UltraFlavor > | |
| using | ProverInstance = ProverInstance_< UltraFlavor > |
| using | VerificationKey = typename Flavor::VerificationKey |
| using | Prover = UltraProver_< UltraFlavor > |
| using | Verifier = UltraVerifier_< UltraFlavor > |
Additional Inherited Members | |
Public Member Functions inherited from bb::UltraHonkTests< UltraFlavor > | |
| std::vector< uint32_t > | add_variables (auto &circuit_builder, std::vector< bb::fr > variables) |
| void | set_default_pairing_points_and_ipa_claim_and_proof (UltraCircuitBuilder &builder) |
| void | prove_and_verify (typename Flavor::CircuitBuilder &circuit_builder, bool expected_result) |
| void | prove_and_verify (const std::shared_ptr< ProverInstance > &prover_instance, bool expected_result) |
Static Protected Member Functions inherited from bb::UltraHonkTests< UltraFlavor > | |
| static void | SetUpTestSuite () |
Definition at line 13 of file composer_lib.test.cpp.
Definition at line 17 of file composer_lib.test.cpp.
| using ComposerLibTests::FF = Flavor::FF |
Definition at line 16 of file composer_lib.test.cpp.
| using ComposerLibTests::Flavor = UltraFlavor |
Definition at line 15 of file composer_lib.test.cpp.
Definition at line 18 of file composer_lib.test.cpp.