MegaHonk Class Reference

Inheritance diagram for MegaHonk:

Public Types
using	Flavor = MegaFlavor
using	Builder = Flavor::CircuitBuilder
using	Prover = UltraProver_< Flavor >
using	Verifier = UltraVerifier_< Flavor >
using	VerificationKey = Flavor::VerificationKey

Static Public Member Functions
static bool	prove_and_verify (Builder &circuit)

Static Protected Member Functions
static void	SetUpTestSuite ()

Detailed Description

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

Member Typedef Documentation

Builder

using MegaHonk::Builder = Flavor::CircuitBuilder

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

Flavor

using MegaHonk::Flavor = MegaFlavor

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

Prover

using MegaHonk::Prover = UltraProver_<Flavor>

Definition at line 23 of file block_constraint.test.cpp.

VerificationKey

using MegaHonk::VerificationKey = Flavor::VerificationKey

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

Verifier

using MegaHonk::Verifier = UltraVerifier_<Flavor>

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

Member Function Documentation

prove_and_verify()

static bool MegaHonk::prove_and_verify ( Builder &  circuit )

inlinestatic

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

SetUpTestSuite()

static void MegaHonk::SetUpTestSuite ( )

inlinestaticprotected

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

---

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

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