ClientIVCTests Class Reference

Inheritance diagram for ClientIVCTests:

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

Protected Types
using	Flavor = ClientIVC::Flavor
using	FF = typename Flavor::FF
using	Commitment = Flavor::Commitment
using	VerificationKey = Flavor::VerificationKey
using	Builder = ClientIVC::ClientCircuit
using	ProverInstance = ClientIVC::ProverInstance
using	VerifierInstance = ClientIVC::VerifierInstance
using	FoldProof = ClientIVC::FoldProof
using	DeciderProver = ClientIVC::DeciderProver
using	DeciderVerifier = ClientIVC::DeciderVerifier
using	FoldingProver = ProtogalaxyProver_< Flavor >
using	FoldingVerifier = ProtogalaxyVerifier_< VerifierInstance >
using	CircuitProducer = PrivateFunctionExecutionMockCircuitProducer

Static Protected Member Functions
static void	SetUpTestSuite ()

Detailed Description

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

Member Typedef Documentation

Builder

using ClientIVCTests::Builder = ClientIVC::ClientCircuit

protected

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

CircuitProducer

using ClientIVCTests::CircuitProducer = PrivateFunctionExecutionMockCircuitProducer

protected

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

Commitment

using ClientIVCTests::Commitment = Flavor::Commitment

protected

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

DeciderProver

using ClientIVCTests::DeciderProver = ClientIVC::DeciderProver

protected

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

DeciderVerifier

using ClientIVCTests::DeciderVerifier = ClientIVC::DeciderVerifier

protected

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

FF

using ClientIVCTests::FF = typename Flavor::FF

protected

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

Flavor

using ClientIVCTests::Flavor = ClientIVC::Flavor

protected

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

FoldingProver

using ClientIVCTests::FoldingProver = ProtogalaxyProver_<Flavor>

protected

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

FoldingVerifier

using ClientIVCTests::FoldingVerifier = ProtogalaxyVerifier_<VerifierInstance>

protected

Definition at line 37 of file client_ivc.test.cpp.

FoldProof

using ClientIVCTests::FoldProof = ClientIVC::FoldProof

protected

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

ProverInstance

using ClientIVCTests::ProverInstance = ClientIVC::ProverInstance

protected

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

VerificationKey

using ClientIVCTests::VerificationKey = Flavor::VerificationKey

protected

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

VerifierInstance

using ClientIVCTests::VerifierInstance = ClientIVC::VerifierInstance

protected

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

Member Function Documentation

accumulate_and_prove_ivc()

static std::pair< ClientIVC::Proof, ClientIVC::VerificationKey > ClientIVCTests::accumulate_and_prove_ivc ( size_t  num_app_circuits, TestSettings  settings = {}  )

inlinestatic

Definition at line 59 of file client_ivc.test.cpp.

SetUpTestSuite()

static void ClientIVCTests::SetUpTestSuite ( )

inlinestaticprotected

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

tamper_with_proof()

static void ClientIVCTests::tamper_with_proof ( FoldProof &  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 47 of file client_ivc.test.cpp.

---

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

• src/barretenberg/client_ivc/client_ivc.test.cpp