Struct Block128 

#[repr(transparent)]
pub struct Block128(pub u128);

Tuple Fields

0: u128

Implementations

impl Block128

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

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

Trait Implementations

impl Add for Block128

type Output = Block128

The resulting type after applying the + operator.

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

Performs the + operation.

impl AddAssign for Block128

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl CanonicalDeserialize for Block128

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

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

impl CanonicalSerialize for Block128

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 Block128

fn clone(&self) -> Block128

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Block128

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

Formats the value using the given formatter.

impl Default for Block128

fn default() -> Block128

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Block128

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<Block32> for Block128

Available on non-crate feature table-math only.

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

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

Batch promote a slice of flat elements.

impl FlatPromote<Block64> for Block128

Available on non-crate feature table-math only.

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

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

Batch promote a slice of flat elements.

impl FlatPromote<Block8> for Block128

Available on non-crate feature table-math only.

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

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

Batch promote a slice of flat elements.

impl From<Bit> for Block128

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<Block32> for Block128

fn from(val: Block32) -> Self

Converts to this type from the input type.

impl From<Block64> for Block128

fn from(val: Block64) -> Self

Converts to this type from the input type.

impl From<Block8> for Block128

fn from(val: Block8) -> Self

Converts to this type from the input type.

impl From<u128> for Block128

fn from(val: u128) -> Self

Converts to this type from the input type.

impl From<u32> for Block128

fn from(val: u32) -> Self

Converts to this type from the input type.

impl From<u64> for Block128

fn from(val: u64) -> Self

Converts to this type from the input type.

impl From<u8> for Block128

fn from(val: u8) -> Self

Converts to this type from the input type.

impl HardwareField for Block128

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<Block128> for PackedBlock128

type Output = PackedBlock128

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul for Block128

type Output = Block128

The resulting type after applying the * operator.

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

Performs the * operation.

impl MulAssign<Block128> for PackedBlock128

fn mul_assign(&mut self, rhs: Block128)

Performs the *= operation.

impl MulAssign for Block128

fn mul_assign(&mut self, rhs: Self)

Performs the *= operation.

impl PackableField for Block128

const WIDTH: usize = PACKED_WIDTH_128

How many elements fit in one packed vector.

type Packed = PackedBlock128

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 Block128

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

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 Block128

type Output = Block128

The resulting type after applying the - operator.

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

Performs the - operation.

impl SubAssign for Block128

fn sub_assign(&mut self, rhs: Self)

Performs the -= operation.

impl TowerField for Block128

const BITS: usize = 128

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 Block128

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 Block128

impl Eq for Block128

impl StructuralPartialEq for Block128