Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Static Public Member Functions | Static Public Attributes | List of all members
bb::GoblinMockCircuits Class Reference

#include <mock_circuits.hpp>

Public Types

using Curve = curve::BN254
 
using FF = Curve::ScalarField
 
using Fbase = Curve::BaseField
 
using Point = Curve::AffineElement
 
using CommitmentKey = bb::CommitmentKey< Curve >
 
using OpQueue = bb::ECCOpQueue
 
using MegaBuilder = bb::MegaCircuitBuilder
 
using Flavor = bb::MegaFlavor
 
using RecursiveFlavor = bb::MegaRecursiveFlavor_< MegaBuilder >
 
using RecursiveVerifier = bb::UltraVerifier_< RecursiveFlavor, bb::stdlib::recursion::honk::DefaultIO< MegaBuilder > >
 
using VerifierInstance = VerifierInstance_< Flavor >
 
using RecursiveVerifierInstance = VerifierInstance_< RecursiveFlavor >
 
using RecursiveVKAndHash = RecursiveVerifierInstance::VKAndHash
 
using RecursiveVerifierAccumulator = std::shared_ptr< RecursiveVerifierInstance >
 
using VerificationKey = Flavor::VerificationKey
 

Static Public Member Functions

static void construct_mock_app_circuit (MegaBuilder &builder, bool large=false)
 Populate a builder with some arbitrary but nontrivial constraints.
 
static void add_some_ecc_op_gates (MegaBuilder &builder)
 Generate a simple test circuit with some ECC op gates and conventional arithmetic gates.
 
static void randomise_op_queue (MegaBuilder &builder, size_t num_ops)
 Add some randomness into the op queue.
 
static void construct_simple_circuit (MegaBuilder &builder)
 Generate a simple test circuit with some ECC op gates and conventional arithmetic gates.
 
static void construct_and_merge_mock_circuits (Goblin &goblin, const size_t num_circuits=3)
 
static void construct_mock_folding_kernel (MegaBuilder &builder)
 Construct a mock kernel circuit.
 

Static Public Attributes

static constexpr size_t NUM_WIRES = Flavor::NUM_WIRES
 

Detailed Description

Definition at line 72 of file mock_circuits.hpp.

Member Typedef Documentation

◆ CommitmentKey

using bb::GoblinMockCircuits::CommitmentKey = bb::CommitmentKey<Curve>

Definition at line 78 of file mock_circuits.hpp.

◆ Curve

using bb::GoblinMockCircuits::Curve = curve::BN254

Definition at line 74 of file mock_circuits.hpp.

◆ Fbase

using bb::GoblinMockCircuits::Fbase = Curve::BaseField

Definition at line 76 of file mock_circuits.hpp.

◆ FF

using bb::GoblinMockCircuits::FF = Curve::ScalarField

Definition at line 75 of file mock_circuits.hpp.

◆ Flavor

using bb::GoblinMockCircuits::Flavor = bb::MegaFlavor

Definition at line 81 of file mock_circuits.hpp.

◆ MegaBuilder

using bb::GoblinMockCircuits::MegaBuilder = bb::MegaCircuitBuilder

Definition at line 80 of file mock_circuits.hpp.

◆ OpQueue

using bb::GoblinMockCircuits::OpQueue = bb::ECCOpQueue

Definition at line 79 of file mock_circuits.hpp.

◆ Point

using bb::GoblinMockCircuits::Point = Curve::AffineElement

Definition at line 77 of file mock_circuits.hpp.

◆ RecursiveFlavor

using bb::GoblinMockCircuits::RecursiveFlavor = bb::MegaRecursiveFlavor_<MegaBuilder>

Definition at line 82 of file mock_circuits.hpp.

◆ RecursiveVerifier

using bb::GoblinMockCircuits::RecursiveVerifier = bb::UltraVerifier_<RecursiveFlavor, bb::stdlib::recursion::honk::DefaultIO<MegaBuilder> >

Definition at line 83 of file mock_circuits.hpp.

◆ RecursiveVerifierAccumulator

using bb::GoblinMockCircuits::RecursiveVerifierAccumulator = std::shared_ptr<RecursiveVerifierInstance>

Definition at line 87 of file mock_circuits.hpp.

◆ RecursiveVerifierInstance

using bb::GoblinMockCircuits::RecursiveVerifierInstance = VerifierInstance_<RecursiveFlavor>

Definition at line 85 of file mock_circuits.hpp.

◆ RecursiveVKAndHash

using bb::GoblinMockCircuits::RecursiveVKAndHash = RecursiveVerifierInstance::VKAndHash

Definition at line 86 of file mock_circuits.hpp.

◆ VerificationKey

using bb::GoblinMockCircuits::VerificationKey = Flavor::VerificationKey

Definition at line 88 of file mock_circuits.hpp.

◆ VerifierInstance

using bb::GoblinMockCircuits::VerifierInstance = VerifierInstance_<Flavor>

Definition at line 84 of file mock_circuits.hpp.

Member Function Documentation

◆ add_some_ecc_op_gates()

static void bb::GoblinMockCircuits::add_some_ecc_op_gates ( MegaBuilder &  builder)
inlinestatic

Generate a simple test circuit with some ECC op gates and conventional arithmetic gates.

Parameters
builder

Definition at line 119 of file mock_circuits.hpp.

◆ construct_and_merge_mock_circuits()

static void bb::GoblinMockCircuits::construct_and_merge_mock_circuits ( Goblin &  goblin,
const size_t  num_circuits = 3 
)
inlinestatic

Definition at line 159 of file mock_circuits.hpp.

◆ construct_mock_app_circuit()

static void bb::GoblinMockCircuits::construct_mock_app_circuit ( MegaBuilder &  builder,
bool  large = false 
)
inlinestatic

Populate a builder with some arbitrary but nontrivial constraints.

Although the details of the circuit constructed here are arbitrary, the intent is to mock something a bit more realistic than a circuit comprised entirely of arithmetic gates. E.g. the circuit should respond realistically to efforts to parallelize circuit construction.

Parameters
builder
largeIf true, construct a "large" circuit (2^19), else a medium circuit (2^17)

Definition at line 101 of file mock_circuits.hpp.

◆ construct_mock_folding_kernel()

static void bb::GoblinMockCircuits::construct_mock_folding_kernel ( MegaBuilder &  builder)
inlinestatic

Construct a mock kernel circuit.

Construct an arbitrary circuit meant to represent the aztec private function execution kernel. Recursive folding verification is handled internally by Chonk, not in the kernel.

Parameters
builder
function_fold_proof
kernel_fold_proof

Definition at line 181 of file mock_circuits.hpp.

◆ construct_simple_circuit()

static void bb::GoblinMockCircuits::construct_simple_circuit ( MegaBuilder &  builder)
inlinestatic

Generate a simple test circuit with some ECC op gates and conventional arithmetic gates.

Parameters
builder

Definition at line 150 of file mock_circuits.hpp.

◆ randomise_op_queue()

static void bb::GoblinMockCircuits::randomise_op_queue ( MegaBuilder &  builder,
size_t  num_ops 
)
inlinestatic

Add some randomness into the op queue.

Definition at line 137 of file mock_circuits.hpp.

Member Data Documentation

◆ NUM_WIRES

constexpr size_t bb::GoblinMockCircuits::NUM_WIRES = Flavor::NUM_WIRES
staticconstexpr

Definition at line 90 of file mock_circuits.hpp.

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