bb::RecursiveCircuit Class Reference

#include <recursive_circuit.hpp>

Public Types
using	InnerFlavor = bb::UltraFlavor
using	InnerProver = bb::UltraProver_< InnerFlavor >
using	InnerVerifier = bb::UltraVerifier_< InnerFlavor >
using	InnerBuilder = typename InnerFlavor::CircuitBuilder
using	InnerDeciderProvingKey = bb::DeciderProvingKey_< InnerFlavor >
using	InnerCommitment = InnerFlavor::Commitment
using	InnerFF = InnerFlavor::FF
using	InnerIO = bb::stdlib::recursion::honk::DefaultIO< InnerBuilder >
using	NativeIO = DefaultIO
using	RecursiveFlavor = bb::UltraRecursiveFlavor_< bb::UltraCircuitBuilder >
using	OuterBuilder = typename RecursiveFlavor::CircuitBuilder
using	RecursiveVerifier = bb::stdlib::recursion::honk::UltraRecursiveVerifier_< RecursiveFlavor >
using	VerificationKey = typename RecursiveVerifier::VerificationKey
using	VerifierOutput = bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< OuterBuilder >
using	OuterIO = bb::stdlib::recursion::honk::DefaultIO< OuterBuilder >
using	field_ct = bb::stdlib::field_t< OuterBuilder >
using	public_witness_ct = bb::stdlib::public_witness_t< OuterBuilder >
using	StdlibProof = bb::stdlib::Proof< OuterBuilder >

Static Public Member Functions
static InnerBuilder	create_inner_circuit (uint256_t inputs[])
	Create a inner circuit object. In this case an extremely simple circuit that just adds two numbers.
static OuterBuilder	generate (uint256_t inputs[])
	Generate a recursive circuit.

Detailed Description

Definition at line 12 of file recursive_circuit.hpp.

Member Typedef Documentation

field_ct

using bb::RecursiveCircuit::field_ct = bb::stdlib::field_t<OuterBuilder>

Definition at line 32 of file recursive_circuit.hpp.

InnerBuilder

using bb::RecursiveCircuit::InnerBuilder = typename InnerFlavor::CircuitBuilder

Definition at line 17 of file recursive_circuit.hpp.

InnerCommitment

using bb::RecursiveCircuit::InnerCommitment = InnerFlavor::Commitment

Definition at line 19 of file recursive_circuit.hpp.

InnerDeciderProvingKey

using bb::RecursiveCircuit::InnerDeciderProvingKey = bb::DeciderProvingKey_<InnerFlavor>

Definition at line 18 of file recursive_circuit.hpp.

InnerFF

using bb::RecursiveCircuit::InnerFF = InnerFlavor::FF

Definition at line 20 of file recursive_circuit.hpp.

InnerFlavor

using bb::RecursiveCircuit::InnerFlavor = bb::UltraFlavor

Definition at line 14 of file recursive_circuit.hpp.

InnerIO

using bb::RecursiveCircuit::InnerIO = bb::stdlib::recursion::honk::DefaultIO<InnerBuilder>

Definition at line 21 of file recursive_circuit.hpp.

InnerProver

using bb::RecursiveCircuit::InnerProver = bb::UltraProver_<InnerFlavor>

Definition at line 15 of file recursive_circuit.hpp.

InnerVerifier

using bb::RecursiveCircuit::InnerVerifier = bb::UltraVerifier_<InnerFlavor>

Definition at line 16 of file recursive_circuit.hpp.

NativeIO

using bb::RecursiveCircuit::NativeIO = DefaultIO

Definition at line 22 of file recursive_circuit.hpp.

OuterBuilder

using bb::RecursiveCircuit::OuterBuilder = typename RecursiveFlavor::CircuitBuilder

Definition at line 25 of file recursive_circuit.hpp.

OuterIO

using bb::RecursiveCircuit::OuterIO = bb::stdlib::recursion::honk::DefaultIO<OuterBuilder>

Definition at line 30 of file recursive_circuit.hpp.

public_witness_ct

using bb::RecursiveCircuit::public_witness_ct = bb::stdlib::public_witness_t<OuterBuilder>

Definition at line 33 of file recursive_circuit.hpp.

RecursiveFlavor

using bb::RecursiveCircuit::RecursiveFlavor = bb::UltraRecursiveFlavor_<bb::UltraCircuitBuilder>

Definition at line 24 of file recursive_circuit.hpp.

RecursiveVerifier

using bb::RecursiveCircuit::RecursiveVerifier = bb::stdlib::recursion::honk::UltraRecursiveVerifier_<RecursiveFlavor>

Definition at line 27 of file recursive_circuit.hpp.

StdlibProof

using bb::RecursiveCircuit::StdlibProof = bb::stdlib::Proof<OuterBuilder>

Definition at line 34 of file recursive_circuit.hpp.

VerificationKey

using bb::RecursiveCircuit::VerificationKey = typename RecursiveVerifier::VerificationKey

Definition at line 28 of file recursive_circuit.hpp.

VerifierOutput

using bb::RecursiveCircuit::VerifierOutput = bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput<OuterBuilder>

Definition at line 29 of file recursive_circuit.hpp.

Member Function Documentation

create_inner_circuit()

static InnerBuilder bb::RecursiveCircuit::create_inner_circuit ( uint256_t  inputs[] )

inlinestatic

Create a inner circuit object. In this case an extremely simple circuit that just adds two numbers.

Parameters

inputs

Returns

InnerBuilder

Definition at line 42 of file recursive_circuit.hpp.

generate()

static OuterBuilder bb::RecursiveCircuit::generate ( uint256_t  inputs[] )

inlinestatic

Generate a recursive circuit.

Wraps the simple inner circuit in a recursive verifier - this returns the builder to be proven by the caller

Parameters

inputs

Returns

OuterBuilder

Definition at line 65 of file recursive_circuit.hpp.

---

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

• src/barretenberg/solidity_helpers/circuits/recursive_circuit.hpp