Struct PackedFr 

#[repr(C)]
pub struct PackedFr {
    pub v: [u32; 8],
}

BN254 scalar field element, 32 bytes, Montgomery form, little-endian 32-bit limbs.

MSL twin: struct Fr { uint v[8]; } in shaders/bn254_fr.metal.

Fields

v: [u32; 8]

Implementations

impl PackedFr

pub const ZERO: Self

pub fn from_fr(x: &Fr) -> Self

Montgomery limbs, taken verbatim from arkworks’ internal representation. No conversion happens on either side of the boundary.

pub fn to_fr(&self) -> Fr

Inverse of Self::from_fr. Uses new_unchecked, which stores the limbs as the Montgomery representative rather than converting into it. Going through Fr::from_bigint here instead would multiply by R a second time and every value would come back wrong by a factor of R.

pub fn pack_slice(xs: &[Fr]) -> Vec<Self>

pub fn pack_into(xs: &[Fr], out: &mut [Self])

Packs directly into caller memory. On Metal that pointer is MTLBuffer::contents() and unified memory makes this the whole upload; on CUDA and WebGPU a transfer still follows.

Panics if the destination is not exactly as long as the source, because a short destination would leave the tail of a device buffer holding whatever was there before, and a proof built on it would fail verification with no other symptom.

pub fn unpack_slice(xs: &[Self]) -> Vec<Fr>

Trait Implementations

impl Clone for PackedFr

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PackedFr

impl Debug for PackedFr

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

Formats the value using the given formatter.

impl Default for PackedFr

fn default() -> Self

Returns the “default value” for a type.

impl Eq for PackedFr

impl Packed for PackedFr

impl PartialEq for PackedFr

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PackedFr