ChonkTests Class Reference

Inheritance diagram for ChonkTests:

Static Public Member Functions
static void	tamper_with_proof (HonkProof &proof, size_t public_inputs_offset)
	Tamper with a proof.
static std::pair< Chonk::Proof, Chonk::VerificationKey >	accumulate_and_prove_ivc (size_t num_app_circuits, TestSettings settings={}, bool check_circuit_sizes=false)

Protected Types
using	Flavor = Chonk::Flavor
using	FF = typename Flavor::FF
using	Commitment = Flavor::Commitment
using	VerificationKey = Flavor::VerificationKey
using	Builder = Chonk::ClientCircuit
using	ProverInstance = Chonk::ProverInstance
using	VerifierInstance = Chonk::VerifierInstance
using	DeciderProver = Chonk::DeciderProver
using	CircuitProducer = PrivateFunctionExecutionMockCircuitProducer

Static Protected Member Functions
static void	SetUpTestSuite ()

Detailed Description

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

Member Typedef Documentation

Builder

using ChonkTests::Builder = Chonk::ClientCircuit

protected

Definition at line 27 of file chonk.test.cpp.

CircuitProducer

using ChonkTests::CircuitProducer = PrivateFunctionExecutionMockCircuitProducer

protected

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

Commitment

using ChonkTests::Commitment = Flavor::Commitment

protected

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

DeciderProver

using ChonkTests::DeciderProver = Chonk::DeciderProver

protected

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

FF

using ChonkTests::FF = typename Flavor::FF

protected

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

Flavor

using ChonkTests::Flavor = Chonk::Flavor

protected

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

ProverInstance

using ChonkTests::ProverInstance = Chonk::ProverInstance

protected

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

VerificationKey

using ChonkTests::VerificationKey = Flavor::VerificationKey

protected

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

VerifierInstance

using ChonkTests::VerifierInstance = Chonk::VerifierInstance

protected

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

Member Function Documentation

accumulate_and_prove_ivc()

static std::pair< Chonk::Proof, Chonk::VerificationKey > ChonkTests::accumulate_and_prove_ivc ( size_t  num_app_circuits, TestSettings  settings = {}, bool  check_circuit_sizes = false  )

inlinestatic

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

SetUpTestSuite()

static void ChonkTests::SetUpTestSuite ( )

inlinestaticprotected

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

tamper_with_proof()

static void ChonkTests::tamper_with_proof ( HonkProof &  proof, size_t  public_inputs_offset  )

inlinestatic

Tamper with a proof.

The first value in the proof after the public inputs is the commitment to the wire w.l (see OinkProver). We modify the commitment by adding Commitment::one().

Definition at line 40 of file chonk.test.cpp.

---

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

• src/barretenberg/chonk/chonk.test.cpp