ChonkRecursionConstraintTest Class Reference

Inheritance diagram for ChonkRecursionConstraintTest:

Classes
struct	ChonkData

Public Types
using	Builder = UltraCircuitBuilder
using	Flavor = UltraRollupFlavor
using	ProverInstance = ProverInstance_< Flavor >
using	VerificationKey = Flavor::VerificationKey
using	ChonkRecursiveVerifier = stdlib::recursion::honk::ChonkRecursiveVerifier
using	DeciderZKProvingKey = ProverInstance_< MegaZKFlavor >
using	MegaZKVerificationKey = MegaZKFlavor::VerificationKey

Static Public Member Functions
static ChonkData	get_chonk_data ()
static AcirProgram	create_acir_program (const ChonkData &chonk_data)
static std::shared_ptr< ProverInstance >	get_chonk_recursive_verifier_pk (AcirProgram &program)

Static Public Attributes
static constexpr size_t	PUBLIC_INPUTS_SIZE = bb::HidingKernelIO::PUBLIC_INPUTS_SIZE

Static Protected Member Functions
static void	SetUpTestSuite ()

Detailed Description

Definition at line 14 of file chonk_recursion_constraints.test.cpp.

Member Typedef Documentation

Builder

using ChonkRecursionConstraintTest::Builder = UltraCircuitBuilder

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

ChonkRecursiveVerifier

using ChonkRecursionConstraintTest::ChonkRecursiveVerifier = stdlib::recursion::honk::ChonkRecursiveVerifier

Definition at line 22 of file chonk_recursion_constraints.test.cpp.

DeciderZKProvingKey

using ChonkRecursionConstraintTest::DeciderZKProvingKey = ProverInstance_<MegaZKFlavor>

Definition at line 25 of file chonk_recursion_constraints.test.cpp.

Flavor

using ChonkRecursionConstraintTest::Flavor = UltraRollupFlavor

Definition at line 19 of file chonk_recursion_constraints.test.cpp.

MegaZKVerificationKey

using ChonkRecursionConstraintTest::MegaZKVerificationKey = MegaZKFlavor::VerificationKey

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

ProverInstance

using ChonkRecursionConstraintTest::ProverInstance = ProverInstance_<Flavor>

Definition at line 20 of file chonk_recursion_constraints.test.cpp.

VerificationKey

using ChonkRecursionConstraintTest::VerificationKey = Flavor::VerificationKey

Definition at line 21 of file chonk_recursion_constraints.test.cpp.

Member Function Documentation

create_acir_program()

static AcirProgram ChonkRecursionConstraintTest::create_acir_program ( const ChonkData &  chonk_data )

inlinestatic

Definition at line 52 of file chonk_recursion_constraints.test.cpp.

get_chonk_data()

static ChonkData ChonkRecursionConstraintTest::get_chonk_data ( )

inlinestatic

Definition at line 36 of file chonk_recursion_constraints.test.cpp.

get_chonk_recursive_verifier_pk()

static std::shared_ptr< ProverInstance > ChonkRecursionConstraintTest::get_chonk_recursive_verifier_pk ( AcirProgram &  program )

inlinestatic

Definition at line 87 of file chonk_recursion_constraints.test.cpp.

SetUpTestSuite()

static void ChonkRecursionConstraintTest::SetUpTestSuite ( )

inlinestaticprotected

Definition at line 99 of file chonk_recursion_constraints.test.cpp.

Member Data Documentation

PUBLIC_INPUTS_SIZE

constexpr size_t ChonkRecursionConstraintTest::PUBLIC_INPUTS_SIZE = bb::HidingKernelIO::PUBLIC_INPUTS_SIZE

staticconstexpr

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

---

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

• src/barretenberg/dsl/acir_format/chonk_recursion_constraints.test.cpp