Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::bbapi::ChonkBatchVerifierService Class Reference

FIFO-streaming batch verification service for Chonk proofs. More...

#include <bbapi_chonk.hpp>

Public Member Functions

 ChonkBatchVerifierService ()=default
 
 ~ChonkBatchVerifierService ()
 
 ChonkBatchVerifierService (const ChonkBatchVerifierService &)=delete
 
ChonkBatchVerifierServiceoperator= (const ChonkBatchVerifierService &)=delete
 
void start (std::vector< std::shared_ptr< MegaZKFlavor::VKAndHash > > vks, uint32_t num_cores, uint32_t batch_size, const std::string &fifo_path)
 
void enqueue (VerifyRequest request)
 
void stop ()
 
bool is_running () const
 

Private Member Functions

void writer_loop (const std::string &fifo_path)
 

Private Attributes

ChonkBatchVerifier verifier_
 
std::mutex result_mutex_
 
std::condition_variable result_cv_
 
std::queue< VerifyResultresult_queue_
 
bool writer_shutdown_ = false
 
std::thread writer_thread_
 
bool running_ = false
 

Detailed Description

FIFO-streaming batch verification service for Chonk proofs.

Wraps ChonkBatchVerifier and streams results over a named pipe (FIFO) as size-delimited msgpack payloads: [4-byte big-endian length][msgpack payload].

Lifecycle: start()enqueue() × N → stop()

Definition at line 365 of file bbapi_chonk.hpp.

Constructor & Destructor Documentation

◆ ChonkBatchVerifierService() [1/2]

bb::bbapi::ChonkBatchVerifierService::ChonkBatchVerifierService ( )
default

◆ ~ChonkBatchVerifierService()

bb::bbapi::ChonkBatchVerifierService::~ChonkBatchVerifierService ( )

Definition at line 449 of file bbapi_chonk.cpp.

◆ ChonkBatchVerifierService() [2/2]

bb::bbapi::ChonkBatchVerifierService::ChonkBatchVerifierService ( const ChonkBatchVerifierService )
delete

Member Function Documentation

◆ enqueue()

void bb::bbapi::ChonkBatchVerifierService::enqueue ( VerifyRequest  request)

Definition at line 420 of file bbapi_chonk.cpp.

◆ is_running()

bool bb::bbapi::ChonkBatchVerifierService::is_running ( ) const
inline

Definition at line 379 of file bbapi_chonk.hpp.

◆ operator=()

ChonkBatchVerifierService & bb::bbapi::ChonkBatchVerifierService::operator= ( const ChonkBatchVerifierService )
delete

◆ start()

void bb::bbapi::ChonkBatchVerifierService::start ( std::vector< std::shared_ptr< MegaZKFlavor::VKAndHash > >  vks,
uint32_t  num_cores,
uint32_t  batch_size,
const std::string &  fifo_path 
)

Definition at line 385 of file bbapi_chonk.cpp.

◆ stop()

void bb::bbapi::ChonkBatchVerifierService::stop ( )

Definition at line 425 of file bbapi_chonk.cpp.

◆ writer_loop()

void bb::bbapi::ChonkBatchVerifierService::writer_loop ( const std::string &  fifo_path)
private

Definition at line 456 of file bbapi_chonk.cpp.

Member Data Documentation

◆ result_cv_

std::condition_variable bb::bbapi::ChonkBatchVerifierService::result_cv_
private

Definition at line 387 of file bbapi_chonk.hpp.

◆ result_mutex_

std::mutex bb::bbapi::ChonkBatchVerifierService::result_mutex_
private

Definition at line 386 of file bbapi_chonk.hpp.

◆ result_queue_

std::queue<VerifyResult> bb::bbapi::ChonkBatchVerifierService::result_queue_
private

Definition at line 388 of file bbapi_chonk.hpp.

◆ running_

bool bb::bbapi::ChonkBatchVerifierService::running_ = false
private

Definition at line 392 of file bbapi_chonk.hpp.

◆ verifier_

ChonkBatchVerifier bb::bbapi::ChonkBatchVerifierService::verifier_
private

Definition at line 384 of file bbapi_chonk.hpp.

◆ writer_shutdown_

bool bb::bbapi::ChonkBatchVerifierService::writer_shutdown_ = false
private

Definition at line 389 of file bbapi_chonk.hpp.

◆ writer_thread_

std::thread bb::bbapi::ChonkBatchVerifierService::writer_thread_
private

Definition at line 390 of file bbapi_chonk.hpp.


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