bbapi_ultra_honk.hpp File Reference

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

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

Go to the source code of this file.

Classes
struct	bb::bbapi::CircuitComputeVk
struct	bb::bbapi::CircuitComputeVk::Response
struct	bb::bbapi::CircuitProve
	Represents a request to generate a proof. Currently, UltraHonk is the only proving system supported by BB (after plonk was deprecated and removed). This is used for one-shot proving, not our "IVC" scheme, ClientIVC-honk. For that, use the ClientIVC* commands. More...
struct	bb::bbapi::CircuitProve::Response
	Contains proof and public inputs. Both are given as vectors of fields. To be used for verification. Example uses of this Response would be verification in native BB, WASM BB, solidity or recursively through Noir. More...
struct	bb::bbapi::CircuitStats
	Consolidated command for retrieving circuit information. Combines gate count, circuit size, and other metadata into a single command. More...
struct	bb::bbapi::CircuitStats::Response
struct	bb::bbapi::CircuitVerify
	Verify a proof against a verification key and public inputs. More...
struct	bb::bbapi::CircuitVerify::Response
struct	bb::bbapi::VkAsFields
	Convert a verification key to field elements representation. WORKTODO(bbapi): this should become mostly obsolete with having the verification keys always reported as field elements as well, and having a simpler serialization method. More...
struct	bb::bbapi::VkAsFields::Response
struct	bb::bbapi::CircuitWriteSolidityVerifier
	Command to generate Solidity verifier contract. More...
struct	bb::bbapi::CircuitWriteSolidityVerifier::Response

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

Detailed Description

UltraHonk-specific command definitions for the Barretenberg RPC API.

This file contains command structures for UltraHonk proof system operations including circuit proving, verification, VK computation, and utility functions.

Definition in file bbapi_ultra_honk.hpp.