bbapi_client_ivc.hpp File Reference

ClientIVC-specific command definitions for the Barretenberg RPC API. More...

#include "barretenberg/bbapi/bbapi_shared.hpp"
#include "barretenberg/client_ivc/client_ivc.hpp"
#include "barretenberg/common/named_union.hpp"
#include "barretenberg/honk/proof_system/types/proof.hpp"
#include "barretenberg/serialize/msgpack.hpp"
#include <vector>

Go to the source code of this file.

Classes
struct	bb::bbapi::ClientIvcStart
	Initialize a new ClientIVC instance for incremental proof accumulation. More...
struct	bb::bbapi::ClientIvcStart::Response
	Empty response indicating successful initialization. More...
struct	bb::bbapi::ClientIvcLoad
	Load a circuit into the ClientIVC instance for accumulation. More...
struct	bb::bbapi::ClientIvcLoad::Response
	Empty response indicating successful circuit loading. More...
struct	bb::bbapi::ClientIvcAccumulate
	Accumulate the previously loaded circuit into the IVC proof. More...
struct	bb::bbapi::ClientIvcAccumulate::Response
	Empty response indicating successful circuit accumulation. More...
struct	bb::bbapi::ClientIvcProve
	Generate a proof for all accumulated circuits. More...
struct	bb::bbapi::ClientIvcProve::Response
	Contains the generated IVC proof. More...
struct	bb::bbapi::ClientIvcVerify
	Verify a ClientIVC proof with its verification key. More...
struct	bb::bbapi::ClientIvcVerify::Response
	Contains the verification result. More...
struct	bb::bbapi::ClientIvcComputeStandaloneVk
	Compute standalone verification key for a circuit. More...
struct	bb::bbapi::ClientIvcComputeStandaloneVk::Response
	Contains the computed verification key in multiple formats. More...
struct	bb::bbapi::ClientIvcComputeIvcVk
	Compute IVC verification key for the complete proof. More...
struct	bb::bbapi::ClientIvcComputeIvcVk::Response
	Contains the computed IVC verification key. More...
struct	bb::bbapi::ClientIvcCheckPrecomputedVk
	Verify that a precomputed verification key matches the circuit. More...
struct	bb::bbapi::ClientIvcCheckPrecomputedVk::Response
	Contains the validation result. More...
struct	bb::bbapi::ClientIvcStats
	Get gate counts for a circuit. More...
struct	bb::bbapi::ClientIvcStats::Response
	Contains gate count information. More...

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::bbapi

Detailed Description

ClientIVC-specific command definitions for the Barretenberg RPC API.

This file contains command structures for ClientIVC (Client-side Incrementally Verifiable Computation) operations including circuit loading, accumulation, proving, and verification key computation.

Definition in file bbapi_client_ivc.hpp.