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 BinaryFieldExtras for Block16

fn square(&self) -> Self

fn trace(&self) -> Bit

Absolute trace Tr_{F/GF(2)}(x) = Σ x^(2^i), always 0 or 1.

fn solve_quadratic(c: Self) -> Option<Self>

A root of x^2 + x = c, or None iff Tr(c) != 0 (then it has no solution). When solvable, the roots are the result and result + ONE. The value path is constant-time; only the Some/None choice reveals Tr(c).

fn frobenius(&self, k: u32) -> Self

x^(2^k). k is taken mod the field degree (x^(2^BITS) = x), so any k is valid.

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 Copy for Block16

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 Eq for Block16

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 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<Block16> for Block256

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 From<Bit> for Block16

fn from(val: Bit) -> 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<Block16> for Block128

fn from(val: Block16) -> Self

Converts to this type from the input type.

impl From<Block16> for Block256

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<u8> for Block16

fn from(val: u8) -> 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<u128> for Block16

fn from(val: u128) -> 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 for Block16

type Output = Block16

The resulting type after applying the * operator.

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

Performs the * operation.

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 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 StructuralPartialEq for Block16

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.