Enum DotContract 

pub enum DotContract {
    U8S8Envelope,
    S8S8Kernel,
}

Which numeric contract a proof check exercised.

Variants

U8S8Envelope

255 * 127 * K on the checked scalar path — the conservative envelope for a future unsigned-activation (VNNI +128 fold) route.

S8S8Kernel

±127 * 127 * K executed through the real crate::int8::dot_i32 kernel.

Implementations

impl DotContract

pub const fn as_str(self) -> &'static str

Stable machine-readable contract name.

Trait Implementations

impl Clone for DotContract

fn clone(&self) -> DotContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DotContract

impl Debug for DotContract

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

Formats the value using the given formatter.

impl Eq for DotContract

impl PartialEq for DotContract

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DotContract