Struct Block16 

#[repr(transparent)]
pub struct Block16(pub u16);

Tuple Fields

0: u16

Implementations

impl Block16

pub const TAU: Self

pub fn new(lo: Block8, hi: Block8) -> Self

pub fn split(self) -> (Block8, Block8)

Trait Implementations

impl Add for Block16

type Output = Block16

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self

Performs the + operation.

impl AddAssign for Block16

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl CanonicalDeserialize for Block16

fn deserialize(bytes: &[u8]) -> Result<Self, ()>

Deserializes from a buffer. Returns Err if buffer is too short.

impl CanonicalSerialize for Block16

fn serialized_size(&self) -> usize

Returns the size in bytes.

fn serialize(&self, writer: &mut [u8]) -> Result<(), ()>

Serializes the element into a buffer. Returns error if buffer is too small.

fn to_bytes(&self) -> Vec<u8>

Convenience method: returns a Vec.

impl Clone for Block16

fn clone(&self) -> Block16

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Block16

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

Formats the value using the given formatter.

impl Default for Block16

fn default() -> Block16

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Block16

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl FlatPromote<Block16> for Block128

Available on non-crate feature table-math only.

fn promote_flat(val: Flat<Block16>) -> Flat<Self>

fn promote_flat_batch(input: &[Flat<Block16>], output: &mut [Flat<Self>])

Batch promote a slice of flat elements.

impl FlatPromote<Block8> for Block16

fn promote_flat(val: Flat<Block8>) -> Flat<Self>

fn promote_flat_batch(input: &[Flat<FromF>], output: &mut [Flat<Self>])

Batch promote a slice of flat elements.

impl From<Bit> for Block16

fn from(val: Bit) -> Self

Converts to this type from the input type.

impl From<Block16> for Block128

fn from(val: Block16) -> Self

Converts to this type from the input type.

impl From<Block16> for Block32

fn from(val: Block16) -> Self

Converts to this type from the input type.

impl From<Block16> for Block64

fn from(val: Block16) -> Self

Converts to this type from the input type.

impl From<Block8> for Block16

fn from(val: Block8) -> Self

Converts to this type from the input type.

impl From<u128> for Block16

fn from(val: u128) -> Self

Converts to this type from the input type.

impl From<u16> for Block16

fn from(val: u16) -> Self

Converts to this type from the input type.

impl From<u32> for Block16

fn from(val: u32) -> Self

Converts to this type from the input type.

impl From<u64> for Block16

fn from(val: u64) -> Self

Converts to this type from the input type.

impl From<u8> for Block16

fn from(val: u8) -> Self

Converts to this type from the input type.

impl HardwareField for Block16

fn to_hardware(self) -> Flat<Self>

Convert standard Tower element to hardware basis (Isomorphic).

fn from_hardware(value: Flat<Self>) -> Self

Convert hardware element back to Tower basis.

fn add_hardware(lhs: Flat<Self>, rhs: Flat<Self>) -> Flat<Self>

Sum two elements assuming they are already in hardware basis.

fn add_hardware_packed( lhs: PackedFlat<Self>, rhs: PackedFlat<Self>, ) -> PackedFlat<Self>

Sum packed vectors in hardware basis.

fn mul_hardware(lhs: Flat<Self>, rhs: Flat<Self>) -> Flat<Self>

Multiply two elements assuming they are already in hardware basis.

fn mul_hardware_packed( lhs: PackedFlat<Self>, rhs: PackedFlat<Self>, ) -> PackedFlat<Self>

Multiply packed vectors in hardware basis.

fn mul_hardware_scalar_packed( lhs: PackedFlat<Self>, rhs: Flat<Self>, ) -> PackedFlat<Self>

Multiply packed vectors by a scalar in hardware basis.

fn tower_bit_from_hardware(value: Flat<Self>, bit_idx: usize) -> u8

Extracts the bit_idx bit of the canonical Tower representation directly from the Hardware (Flat) representation without a full basis conversion. Strictly constant time.

impl Mul<Block16> for PackedBlock16

type Output = PackedBlock16

The resulting type after applying the * operator.

fn mul(self, rhs: Block16) -> Self

Performs the * operation.

impl Mul for Block16

type Output = Block16

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self

Performs the * operation.

impl MulAssign for Block16

fn mul_assign(&mut self, rhs: Self)

Performs the *= operation.

impl PackableField for Block16

const WIDTH: usize = PACKED_WIDTH_16

How many elements fit in one packed vector.

type Packed = PackedBlock16

The packed vector type (e.g., PackedBlock128).

fn pack(chunk: &[Self]) -> Self::Packed

Pack a slice of scalars into a vector. Panics if slice len < WIDTH.

fn unpack(packed: Self::Packed, output: &mut [Self])

Unpack vector back to scalars.

impl PartialEq for Block16

fn eq(&self, other: &Block16) -> 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 Serialize for Block16

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Sub for Block16

type Output = Block16

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self

Performs the - operation.

impl SubAssign for Block16

fn sub_assign(&mut self, rhs: Self)

Performs the -= operation.

impl TowerField for Block16

const BITS: usize = 16

const ZERO: Self

const ONE: Self

const EXTENSION_TAU: Self = Self::TAU

The constant TAU needed to extend this field to the next level. If we are in F, then the next field F’ is constructed as F[X] / (X^2 + X + EXTENSION_TAU).

fn invert(&self) -> Self

Returns the multiplicative inverse of the element. By cryptographic convention, the inverse of 0 is defined as 0 to ensure constant-time execution without branching.

fn from_uniform_bytes(bytes: &[u8; 32]) -> Self

Constructs a field element from uniform bytes (e.g. hash output). Used for PRNG / Blinding.

impl Zeroize for Block16

fn zeroize(&mut self)

Zero out this object from memory using Rust intrinsics which ensure the zeroization operation is not “optimized away” by the compiler.

impl Copy for Block16

impl Eq for Block16

impl StructuralPartialEq for Block16