bbapi_chonk.hpp File Reference

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

#include "barretenberg/bbapi/bbapi_shared.hpp"
#include "barretenberg/chonk/chonk.hpp"
#include "barretenberg/common/named_union.hpp"
#include "barretenberg/honk/proof_system/types/proof.hpp"
#include "barretenberg/serialize/msgpack.hpp"
#include "barretenberg/chonk/batch_verifier_types.hpp"
#include "barretenberg/chonk/chonk_batch_verifier.hpp"
#include "barretenberg/chonk/chonk_proof.hpp"
#include <condition_variable>
#include <mutex>
#include <queue>
#include <thread>
#include <string>
#include <vector>

Go to the source code of this file.

Classes
struct	bb::bbapi::ChonkStart
	Initialize a new Chonk instance for incremental proof accumulation. More...
struct	bb::bbapi::ChonkStart::Response
	Empty response indicating successful initialization. More...
struct	bb::bbapi::ChonkLoad
	Load a circuit into the Chonk instance for accumulation. More...
struct	bb::bbapi::ChonkLoad::Response
	Empty response indicating successful circuit loading. More...
struct	bb::bbapi::ChonkAccumulate
	Accumulate the previously loaded circuit into the IVC proof. More...
struct	bb::bbapi::ChonkAccumulate::Response
	Empty response indicating successful circuit accumulation. More...
struct	bb::bbapi::ChonkProve
	Generate a proof for all accumulated circuits. More...
struct	bb::bbapi::ChonkProve::Response
	Contains the generated IVC proof. More...
struct	bb::bbapi::ChonkVerify
	Verify a Chonk proof with its verification key. More...
struct	bb::bbapi::ChonkVerify::Response
	Contains the verification result. More...
struct	bb::bbapi::ChonkVerifyFromFields
	Verify a Chonk proof passed as a flat field-element array (with public inputs prepended). More...
struct	bb::bbapi::ChonkVerifyFromFields::Response
struct	bb::bbapi::ChonkComputeVk
	Compute MegaHonk verification key for a circuit to be accumulated in Chonk. More...
struct	bb::bbapi::ChonkComputeVk::Response
	Contains the computed verification key in multiple formats. More...
struct	bb::bbapi::ChonkCheckPrecomputedVk
	Verify that a precomputed verification key matches the circuit. More...
struct	bb::bbapi::ChonkCheckPrecomputedVk::Response
	Contains the validation result. More...
struct	bb::bbapi::ChonkStats
	Get gate counts for a circuit. More...
struct	bb::bbapi::ChonkStats::Response
	Contains gate count information. More...
struct	bb::bbapi::ChonkBatchVerify
	Batch-verify multiple Chonk proofs with a single IPA SRS MSM. More...
struct	bb::bbapi::ChonkBatchVerify::Response
struct	bb::bbapi::ChonkCompressProof
	Compress a Chonk proof to a compact byte representation. More...
struct	bb::bbapi::ChonkCompressProof::Response
struct	bb::bbapi::ChonkDecompressProof
	Decompress a compressed Chonk proof back to field elements. More...
struct	bb::bbapi::ChonkDecompressProof::Response
class	bb::bbapi::ChonkBatchVerifierService
	FIFO-streaming batch verification service for Chonk proofs. More...
struct	bb::bbapi::ChonkBatchVerifierStart
	Start the batch verifier service. More...
struct	bb::bbapi::ChonkBatchVerifierStart::Response
struct	bb::bbapi::ChonkBatchVerifierQueue
	Enqueue a proof for batch verification. More...
struct	bb::bbapi::ChonkBatchVerifierQueue::Response
struct	bb::bbapi::ChonkBatchVerifierStop
	Stop the batch verifier service. More...
struct	bb::bbapi::ChonkBatchVerifierStop::Response

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

Detailed Description

Chonk-specific command definitions for the Barretenberg RPC API.

This file contains command structures for Chonk (Client-side Incrementally Verifiable Computation) operations including circuit loading, accumulation, proving, verification key computation, and the batch verifier service (start/queue/stop lifecycle).

Definition in file bbapi_chonk.hpp.