bb::UltraHonkTests< Flavor, IO_ > Class Template Reference

#include <ultra_honk.test.hpp>

Inheritance diagram for bb::UltraHonkTests< Flavor, IO_ >:

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

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 (typename Flavor::CircuitBuilder &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, typename IO_ = DefaultIO>
class bb::UltraHonkTests< Flavor, IO_ >

Definition at line 27 of file ultra_honk.test.hpp.

Member Typedef Documentation

IO

template<typename Flavor , typename IO_ = DefaultIO>

using bb::UltraHonkTests< Flavor, IO_ >::IO = IO_

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

Prover

template<typename Flavor , typename IO_ = DefaultIO>

using bb::UltraHonkTests< Flavor, IO_ >::Prover = UltraProver_<Flavor>

Definition at line 32 of file ultra_honk.test.hpp.

ProverInstance

template<typename Flavor , typename IO_ = DefaultIO>

using bb::UltraHonkTests< Flavor, IO_ >::ProverInstance = ProverInstance_<Flavor>

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

VerificationKey

template<typename Flavor , typename IO_ = DefaultIO>

using bb::UltraHonkTests< Flavor, IO_ >::VerificationKey = typename Flavor::VerificationKey

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

Verifier

template<typename Flavor , typename IO_ = DefaultIO>

using bb::UltraHonkTests< Flavor, IO_ >::Verifier = UltraVerifier_<Flavor, IO>

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

Member Function Documentation

add_variables()

template<typename Flavor , typename IO_ = DefaultIO>

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

inline

Definition at line 35 of file ultra_honk.test.hpp.

prove_and_verify() [1/2]

template<typename Flavor , typename IO_ = DefaultIO>

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

inline

Definition at line 55 of file ultra_honk.test.hpp.

prove_and_verify() [2/2]

template<typename Flavor , typename IO_ = DefaultIO>

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

inline

Definition at line 49 of file ultra_honk.test.hpp.

set_default_pairing_points_and_ipa_claim_and_proof()

template<typename Flavor , typename IO_ = DefaultIO>

void bb::UltraHonkTests< Flavor, IO_ >::set_default_pairing_points_and_ipa_claim_and_proof ( typename Flavor::CircuitBuilder &  builder )

inline

Definition at line 44 of file ultra_honk.test.hpp.

SetUpTestSuite()

template<typename Flavor , typename IO_ = DefaultIO>

static void bb::UltraHonkTests< Flavor, IO_ >::SetUpTestSuite ( )

inlinestaticprotected

Definition at line 67 of file ultra_honk.test.hpp.

---

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

• src/barretenberg/ultra_honk/ultra_honk.test.hpp