Struct PackedScalar 

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

BN254 scalar as an integer in [0, r), 32 bytes, standard form, little-endian 32-bit limbs. For MSM window decomposition only. See the module docs.

MSL twin: struct Scalar { uint v[8]; }.

Fields

v: [u32; 8]

Implementations

impl PackedScalar

pub const ZERO: Self

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

Standard form, x as an integer in [0, r).

pub fn to_fr(&self) -> Option<Fr>

None if the limbs are not a canonical residue, which for a scalar is a real possibility (unlike a Montgomery representative, which is canonical by construction) and must not be papered over with a silent reduction.

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

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

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.

Trait Implementations

impl Clone for PackedScalar

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 PackedScalar

impl Debug for PackedScalar

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

Formats the value using the given formatter.

impl Default for PackedScalar

fn default() -> Self

Returns the “default value” for a type.

impl Eq for PackedScalar

impl Packed for PackedScalar

impl PartialEq for PackedScalar

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PackedScalar