Struct Block8 

#[repr(transparent)]
pub struct Block8(pub u8);

Field element GF(2^8).

Tuple Fields

0: u8

Implementations

impl Block8

pub const fn new(val: u8) -> Self

Trait Implementations

impl Add for Block8

Add (XOR)

type Output = Block8

The resulting type after applying the + operator.

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

Performs the + operation.

impl AddAssign for Block8

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl CanonicalDeserialize for Block8

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

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

impl CanonicalSerialize for Block8

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 Block8

fn clone(&self) -> Block8

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Block8

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

Formats the value using the given formatter.

impl Default for Block8

fn default() -> Block8

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Block8

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl FlatPromote<Block8> for Bit

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

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<Block8> for Block64

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 Block8

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

fn from(val: Block8) -> Self

Converts to this type from the input type.

impl From<Block8> for Block32

fn from(val: Block8) -> Self

Converts to this type from the input type.

impl From<Block8> for Block64

fn from(val: Block8) -> Self

Converts to this type from the input type.

impl From<u128> for Block8

fn from(val: u128) -> Self

Converts to this type from the input type.

impl From<u32> for Block8

fn from(val: u32) -> Self

Converts to this type from the input type.

impl From<u64> for Block8

fn from(val: u64) -> Self

Converts to this type from the input type.

impl From<u8> for Block8

fn from(val: u8) -> Self

Converts to this type from the input type.

impl HardwareField for Block8

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<Block8> for PackedBlock8

type Output = PackedBlock8

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul for Block8

Mul (Galois Field Multiplication)

type Output = Block8

The resulting type after applying the * operator.

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

Performs the * operation.

impl MulAssign for Block8

fn mul_assign(&mut self, rhs: Self)

Performs the *= operation.

impl PackableField for Block8

const WIDTH: usize = PACKED_WIDTH_8

How many elements fit in one packed vector.

type Packed = PackedBlock8

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 Block8

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

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 Block8

type Output = Block8

The resulting type after applying the - operator.

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

Performs the - operation.

impl SubAssign for Block8

fn sub_assign(&mut self, rhs: Self)

Performs the -= operation.

impl TowerField for Block8

const BITS: usize = 8

const ZERO: Self

const ONE: Self

const EXTENSION_TAU: Self

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 Block8

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 Block8

impl Eq for Block8

impl StructuralPartialEq for Block8