Struct OpeningProtocol 

pub struct OpeningProtocol(/* private fields */);

Public protocol describing committed tables and their opening schedule.

This is the shape agreement between prover and verifier. The prover must commit to a witness whose table shapes match this protocol, and later opens exactly the point-local column batches listed here.

Implementations

impl OpeningProtocol

pub const fn new(tables: Vec<TableSpec>) -> Self

Builds an opening protocol from table specs.

pub fn table_shapes(&self) -> Vec<TableShape>

Returns the table shapes in protocol order.

pub fn pad_to_min_num_variables(self, min_num_variables: usize) -> Self

Pads every table shape to at least min_num_variables.

Opening schedules are unchanged because padding only adds zero rows to the committed table.

pub fn num_openings(&self) -> usize

Returns the total number of point-local opening batches.

pub fn iter_openings(&self) -> impl Iterator<Item = (usize, &[usize])>

Iterates over all opening batches in transcript order.

Trait Implementations

impl Clone for OpeningProtocol

fn clone(&self) -> OpeningProtocol

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for OpeningProtocol

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for OpeningProtocol

fn default() -> OpeningProtocol

Returns the “default value” for a type.

impl Eq for OpeningProtocol

impl PartialEq for OpeningProtocol

fn eq(&self, other: &OpeningProtocol) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for OpeningProtocol