Struct BusSecurityModel 

pub struct BusSecurityModel { /* private fields */ }

Validated dimensions of one binary-native bus argument.

Implementations

impl BusSecurityModel

pub const fn new( field_bits: usize, tuple_variables: usize, non_padding_leaf_counts: [usize; 2], product: ProductGkrSecurityProfile, ) -> Option<Self>

Checks representability and compatibility with the supplied product profile.

Each declared factor count must fit in the logical product tree. An absent bus or an unrepresentable product shape returns no model. Other counts are trusted inputs to the numeric model. The binary bus derives checked counts through BusPlan::security_term in p3-bus.

pub fn components(&self) -> Vec<SecurityTerm>

Return each algebraic error source for diagnostic reporting.

The result excludes commitment binding and authentication of terminal leaf claims. These components must not be passed separately as protocol extras.

pub fn combined_term(&self) -> SecurityTerm

Return the union bound that composes as one protocol extra.

Trait Implementations

impl Clone for BusSecurityModel

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BusSecurityModel

impl Debug for BusSecurityModel

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

Formats the value using the given formatter.

impl Eq for BusSecurityModel

impl PartialEq for BusSecurityModel

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BusSecurityModel