CivcRecursionConstraintTest Class Reference

Inheritance diagram for CivcRecursionConstraintTest:

Classes
struct	ClientIVCData

Public Types
using	Builder = UltraCircuitBuilder
using	Flavor = UltraRollupFlavor
using	DeciderProvingKey = DeciderProvingKey_< Flavor >
using	VerificationKey = Flavor::VerificationKey
using	ClientIVCRecursiveVerifier = stdlib::recursion::honk::ClientIVCRecursiveVerifier
using	DeciderZKProvingKey = DeciderProvingKey_< MegaZKFlavor >
using	MegaZKVerificationKey = MegaZKFlavor::VerificationKey

Static Public Member Functions
static ClientIVCData	get_civc_data (TraceSettings trace_settings)
static AcirProgram	create_acir_program (const ClientIVCData &civc_data)
static std::shared_ptr< DeciderProvingKey >	get_civc_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 13 of file civc_recursion_constraints.test.cpp.

Member Typedef Documentation

Builder

using CivcRecursionConstraintTest::Builder = UltraCircuitBuilder

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

ClientIVCRecursiveVerifier

using CivcRecursionConstraintTest::ClientIVCRecursiveVerifier = stdlib::recursion::honk::ClientIVCRecursiveVerifier

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

DeciderProvingKey

using CivcRecursionConstraintTest::DeciderProvingKey = DeciderProvingKey_<Flavor>

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

DeciderZKProvingKey

using CivcRecursionConstraintTest::DeciderZKProvingKey = DeciderProvingKey_<MegaZKFlavor>

Definition at line 24 of file civc_recursion_constraints.test.cpp.

Flavor

using CivcRecursionConstraintTest::Flavor = UltraRollupFlavor

Definition at line 18 of file civc_recursion_constraints.test.cpp.

MegaZKVerificationKey

using CivcRecursionConstraintTest::MegaZKVerificationKey = MegaZKFlavor::VerificationKey

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

VerificationKey

using CivcRecursionConstraintTest::VerificationKey = Flavor::VerificationKey

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

Member Function Documentation

create_acir_program()

static AcirProgram CivcRecursionConstraintTest::create_acir_program ( const ClientIVCData &  civc_data )

inlinestatic

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

get_civc_data()

static ClientIVCData CivcRecursionConstraintTest::get_civc_data ( TraceSettings  trace_settings )

inlinestatic

Definition at line 35 of file civc_recursion_constraints.test.cpp.

get_civc_recursive_verifier_pk()

static std::shared_ptr< DeciderProvingKey > CivcRecursionConstraintTest::get_civc_recursive_verifier_pk ( AcirProgram &  program )

inlinestatic

Definition at line 86 of file civc_recursion_constraints.test.cpp.

SetUpTestSuite()

static void CivcRecursionConstraintTest::SetUpTestSuite ( )

inlinestaticprotected

Definition at line 100 of file civc_recursion_constraints.test.cpp.

Member Data Documentation

PUBLIC_INPUTS_SIZE

constexpr size_t CivcRecursionConstraintTest::PUBLIC_INPUTS_SIZE = bb::HidingKernelIO::PUBLIC_INPUTS_SIZE

staticconstexpr

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

---

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

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