SumcheckClientIVCTests Class Reference

Inheritance diagram for SumcheckClientIVCTests:

Static Public Member Functions
static std::pair< SumcheckClientIVC::Proof, SumcheckClientIVC::VerificationKey >	accumulate_and_prove_ivc (size_t num_app_circuits)

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

Static Protected Member Functions
static void	SetUpTestSuite ()

Detailed Description

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

Member Typedef Documentation

Builder

using SumcheckClientIVCTests::Builder = SumcheckClientIVC::ClientCircuit

protected

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

CircuitProducer

using SumcheckClientIVCTests::CircuitProducer = PrivateFunctionExecutionMockCircuitProducer

protected

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

Commitment

using SumcheckClientIVCTests::Commitment = Flavor::Commitment

protected

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

DeciderProver

using SumcheckClientIVCTests::DeciderProver = SumcheckClientIVC::DeciderProver

protected

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

DeciderVerifier

using SumcheckClientIVCTests::DeciderVerifier = SumcheckClientIVC::DeciderVerifier

protected

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

FF

using SumcheckClientIVCTests::FF = typename Flavor::FF

protected

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

Flavor

using SumcheckClientIVCTests::Flavor = SumcheckClientIVC::Flavor

protected

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

FoldProof

using SumcheckClientIVCTests::FoldProof = SumcheckClientIVC::FoldProof

protected

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

ProverInstance

using SumcheckClientIVCTests::ProverInstance = SumcheckClientIVC::ProverInstance

protected

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

VerificationKey

using SumcheckClientIVCTests::VerificationKey = Flavor::VerificationKey

protected

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

VerifierInstance

using SumcheckClientIVCTests::VerifierInstance = SumcheckClientIVC::VerifierInstance

protected

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

Member Function Documentation

accumulate_and_prove_ivc()

static std::pair< SumcheckClientIVC::Proof, SumcheckClientIVC::VerificationKey > SumcheckClientIVCTests::accumulate_and_prove_ivc ( size_t  num_app_circuits )

inlinestatic

Definition at line 39 of file sumcheck_client_ivc.test.cpp.

SetUpTestSuite()

static void SumcheckClientIVCTests::SetUpTestSuite ( )

inlinestaticprotected

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

---

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

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