ZKBoundaryTests Class Reference

Inheritance diagram for ZKBoundaryTests:

Public Types
using	Flavor = MegaZKFlavor
using	FF = Flavor::FF
using	Builder = Flavor::CircuitBuilder
using	Prover = UltraProver_< Flavor >
using	Verifier = UltraVerifier_< Flavor, DefaultIO >
using	VerificationKey = Flavor::VerificationKey
using	ProverInstance = ProverInstance_< Flavor >
using	VerifierInstance = VerifierInstance_< Flavor >
using	Polynomial = Flavor::Polynomial

Static Public Member Functions
static void	SetUpTestSuite ()
static std::shared_ptr< ProverInstance >	build_instance ()
	Build a prover instance from a simple Mega circuit with ECC ops.
static bool	prove_and_verify (std::shared_ptr< ProverInstance > prover_instance)
	Construct proof and verify.

Detailed Description

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

Member Typedef Documentation

Builder

using ZKBoundaryTests::Builder = Flavor::CircuitBuilder

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

FF

using ZKBoundaryTests::FF = Flavor::FF

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

Flavor

using ZKBoundaryTests::Flavor = MegaZKFlavor

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

Polynomial

using ZKBoundaryTests::Polynomial = Flavor::Polynomial

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

Prover

using ZKBoundaryTests::Prover = UltraProver_<Flavor>

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

ProverInstance

using ZKBoundaryTests::ProverInstance = ProverInstance_<Flavor>

Definition at line 34 of file zk_boundary.test.cpp.

VerificationKey

using ZKBoundaryTests::VerificationKey = Flavor::VerificationKey

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

Verifier

using ZKBoundaryTests::Verifier = UltraVerifier_<Flavor, DefaultIO>

Definition at line 32 of file zk_boundary.test.cpp.

VerifierInstance

using ZKBoundaryTests::VerifierInstance = VerifierInstance_<Flavor>

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

Member Function Documentation

build_instance()

static std::shared_ptr< ProverInstance > ZKBoundaryTests::build_instance ( )

inlinestatic

Build a prover instance from a simple Mega circuit with ECC ops.

Definition at line 43 of file zk_boundary.test.cpp.

prove_and_verify()

static bool ZKBoundaryTests::prove_and_verify ( std::shared_ptr< ProverInstance >  prover_instance )

inlinestatic

Construct proof and verify.

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

SetUpTestSuite()

static void ZKBoundaryTests::SetUpTestSuite ( )

inlinestatic

Definition at line 38 of file zk_boundary.test.cpp.

---

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

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