UltraHonkTests< Flavor > Class Template Reference

Inheritance diagram for UltraHonkTests< Flavor >:

Public Types
using	ProverInstance = ProverInstance_< Flavor >
using	VerificationKey = typename Flavor::VerificationKey
using	Prover = UltraProver_< Flavor >
using	Verifier = UltraVerifier_< Flavor >

Public Member Functions
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
static void	SetUpTestSuite ()

Detailed Description

template<typename Flavor>
class UltraHonkTests< Flavor >

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

Member Typedef Documentation

Prover

template<typename Flavor >

using UltraHonkTests< Flavor >::Prover = UltraProver_<Flavor>

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

ProverInstance

template<typename Flavor >

using UltraHonkTests< Flavor >::ProverInstance = ProverInstance_<Flavor>

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

VerificationKey

template<typename Flavor >

using UltraHonkTests< Flavor >::VerificationKey = typename Flavor::VerificationKey

Definition at line 29 of file ultra_honk.test.cpp.

Verifier

template<typename Flavor >

using UltraHonkTests< Flavor >::Verifier = UltraVerifier_<Flavor>

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

Member Function Documentation

add_variables()

template<typename Flavor >

std::vector< uint32_t > UltraHonkTests< Flavor >::add_variables ( auto &  circuit_builder, std::vector< bb::fr >  variables  )

inline

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

prove_and_verify() [1/2]

template<typename Flavor >

void UltraHonkTests< Flavor >::prove_and_verify ( const std::shared_ptr< ProverInstance > &  prover_instance, bool  expected_result  )

inline

Definition at line 59 of file ultra_honk.test.cpp.

prove_and_verify() [2/2]

template<typename Flavor >

void UltraHonkTests< Flavor >::prove_and_verify ( typename Flavor::CircuitBuilder &  circuit_builder, bool  expected_result  )

inline

Definition at line 53 of file ultra_honk.test.cpp.

set_default_pairing_points_and_ipa_claim_and_proof()

template<typename Flavor >

void UltraHonkTests< Flavor >::set_default_pairing_points_and_ipa_claim_and_proof ( UltraCircuitBuilder &  builder )

inline

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

SetUpTestSuite()

template<typename Flavor >

static void UltraHonkTests< Flavor >::SetUpTestSuite ( )

inlinestaticprotected

Definition at line 77 of file ultra_honk.test.cpp.

---

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

• src/barretenberg/ultra_honk/ultra_honk.test.cpp