Struct salty::Scalar

#[repr(C)]pub struct Scalar(pub [u8; 32]);

Since the curve is an abelian group, it has a module structure, consisting of these scalars. They are the integers modulo “ell”, where “ell” is 2**252 + something something.

Implementations

impl Scalar

pub fn ell() -> [u8; 32]

The order of the group, 2**252 + something something

pub fn from_bytes(bytes: &[u8; 32]) -> Self

pub fn as_bytes(&self) -> &[u8; 32]

pub fn to_bytes(&self) -> [u8; 32]

pub fn from_u256_le(x: &[u8; 32]) -> Scalar

pub fn from_u512_le(x: &[u8; 64]) -> Scalar

pub fn reduce(&self) -> Scalar

Reduce this Scalar modulo \(\ell\).

pub fn is_canonical(&self) -> bool

Check whether this Scalar is the canonical representative mod \(\ell\).

This is intended for uses like input validation, where variable-time code is acceptable.

pub fn one() -> Self

Trait Implementations

impl<'a, 'b> Add<&'b Scalar> for &'a Scalar

type Output = Scalar

The resulting type after applying the + operator.

fn add(self, _rhs: &'b Scalar) -> Scalar

Performs the + operation.

impl Clone for Scalar

fn clone(&self) -> Scalar

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Scalar

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

Formats the value using the given formatter.

impl Default for Scalar

fn default() -> Scalar

Returns the “default value” for a type.

impl From<&'_ [u8; 32]> for Scalar

fn from(bytes: &[u8; 32]) -> Scalar

Performs the conversion.

impl From<u64> for Scalar

fn from(scalar: u64) -> Self

Performs the conversion.

impl<'a, 'b> Mul<&'b EdwardsPoint> for &'a Scalar

type Output = EdwardsPoint

The resulting type after applying the * operator.

fn mul(self, point: &'b EdwardsPoint) -> EdwardsPoint

Performs the * operation.

impl<'a, 'b> Mul<&'b MontgomeryPoint> for &'a Scalar

type Output = MontgomeryPoint

The resulting type after applying the * operator.

fn mul(self, point: &'b MontgomeryPoint) -> MontgomeryPoint

Performs the * operation.

impl<'a, 'b> Mul<&'b Scalar> for &'a MontgomeryPoint

Multiply this MontgomeryPoint by a Scalar.

type Output = MontgomeryPoint

The resulting type after applying the * operator.

fn mul(self, scalar: &'b Scalar) -> MontgomeryPoint

Given self \( = u_0(P) \), and a Scalar \(n\), return \( u_0([n]P) \).

impl<'a, 'b> Mul<&'b Scalar> for &'a Scalar

type Output = Scalar

The resulting type after applying the * operator.

fn mul(self, _rhs: &'b Scalar) -> Scalar

Performs the * operation.

impl<'b> MulAssign<&'b Scalar> for MontgomeryPoint

fn mul_assign(&mut self, scalar: &'b Scalar)

Performs the *= operation.

impl PartialEq<Scalar> for Scalar

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralPartialEq for Scalar