Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
ComposerLibTests Class Reference
Inheritance diagram for ComposerLibTests:
bb::UltraHonkTests< UltraFlavor >

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 ()
 

Detailed Description

Definition at line 13 of file composer_lib.test.cpp.

Member Typedef Documentation

◆ Builder

◆ FF

Definition at line 16 of file composer_lib.test.cpp.

◆ Flavor

Definition at line 15 of file composer_lib.test.cpp.

◆ Polynomial


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