Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::IVCBase Class Referenceabstract

Base class interface for IVC schemes. More...

#include <client_ivc_base.hpp>

Inheritance diagram for bb::IVCBase:
bb::ClientIVC bb::SumcheckClientIVC

Public Types

using ClientCircuit = MegaCircuitBuilder
 
using MegaVerificationKey = MegaFlavor::VerificationKey
 

Public Member Functions

virtual ~IVCBase ()=default
 
virtual Goblinget_goblin ()=0
 
virtual const Goblinget_goblin () const =0
 
virtual void accumulate (ClientCircuit &circuit, const std::shared_ptr< MegaVerificationKey > &precomputed_vk)=0
 

Protected Member Functions

 IVCBase ()=default
 

Detailed Description

Base class interface for IVC schemes.

Provides common interface for different IVC implementations (ClientIVC, SumcheckClientIVC) allowing them to be used polymorphically in the API.

Definition at line 21 of file client_ivc_base.hpp.

Member Typedef Documentation

◆ ClientCircuit

◆ MegaVerificationKey

Constructor & Destructor Documentation

◆ ~IVCBase()

virtual bb::IVCBase::~IVCBase ( )
virtualdefault

◆ IVCBase()

bb::IVCBase::IVCBase ( )
protecteddefault

Member Function Documentation

◆ accumulate()

virtual void bb::IVCBase::accumulate ( ClientCircuit circuit,
const std::shared_ptr< MegaVerificationKey > &  precomputed_vk 
)
pure virtual

Implemented in bb::ClientIVC, and bb::SumcheckClientIVC.

◆ get_goblin() [1/2]

virtual const Goblin & bb::IVCBase::get_goblin ( ) const
pure virtual

Implemented in bb::ClientIVC, and bb::SumcheckClientIVC.

◆ get_goblin() [2/2]

virtual Goblin & bb::IVCBase::get_goblin ( )
pure virtual

Implemented in bb::ClientIVC, and bb::SumcheckClientIVC.


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