Type Alias Scalar

Source
pub type Scalar = Fr;
Expand description

Represents an element of the scalar field $\mathbb{F}_r$ of the Jubjub elliptic curve construction.

Aliased Type§

struct Scalar(/* private fields */);

Implementations

Source§

impl Fr

Source

pub const fn zero() -> Fr

Returns zero, the additive identity.

Source

pub const fn one() -> Fr

Returns one, the multiplicative identity.

Source

pub const fn double(&self) -> Fr

Doubles this field element.

Source

pub fn from_bytes(bytes: &[u8; 32]) -> CtOption<Fr>

Attempts to convert a little-endian byte representation of a field element into an element of Fr, failing if the input is not canonical (is not smaller than r).

Source

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

Converts an element of Fr into a byte representation in little-endian byte order.

Source

pub fn from_bytes_wide(bytes: &[u8; 64]) -> Fr

Converts a 512-bit little endian integer into an element of Fr by reducing modulo r.

Source

pub const fn from_raw(val: [u64; 4]) -> Self

Converts from an integer represented in little endian into its (congruent) Fr representation.

Source

pub const fn square(&self) -> Fr

Squares this element.

Source

pub fn sqrt(&self) -> CtOption<Self>

Computes the square root of this element, if it exists.

Source

pub fn pow(&self, by: &[u64; 4]) -> Self

Exponentiates self by by, where by is a little-endian order integer exponent.

Source

pub fn pow_vartime(&self, by: &[u64; 4]) -> Self

Exponentiates self by by, where by is a little-endian order integer exponent.

This operation is variable time with respect to the exponent. If the exponent is fixed, this operation is effectively constant time.

Source

pub fn invert(&self) -> CtOption<Self>

Computes the multiplicative inverse of this element, failing if the element is zero.

Source

pub const fn mul(&self, rhs: &Self) -> Self

Multiplies this element by another element

Source

pub const fn sub(&self, rhs: &Self) -> Self

Subtracts another element from this element.

Source

pub const fn add(&self, rhs: &Self) -> Self

Adds this element to another element.

Source

pub const fn neg(&self) -> Self

Negates this element.

Trait Implementations

Source§

impl<'b> Add<&'b Fr> for Fr

Source§

type Output = Fr

The resulting type after applying the + operator.
Source§

fn add(self, rhs: &'b Fr) -> Fr

Performs the + operation. Read more
Source§

impl Add for Fr

Source§

type Output = Fr

The resulting type after applying the + operator.
Source§

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

Performs the + operation. Read more
Source§

impl<'b> AddAssign<&'b Fr> for Fr

Source§

fn add_assign(&mut self, rhs: &'b Fr)

Performs the += operation. Read more
Source§

impl AddAssign for Fr

Source§

fn add_assign(&mut self, rhs: Fr)

Performs the += operation. Read more
Source§

impl Clone for Fr

Source§

fn clone(&self) -> Fr

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl ConditionallySelectable for Fr

Source§

fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self

Select a or b according to choice. Read more
Source§

fn conditional_assign(&mut self, other: &Self, choice: Choice)

Conditionally assign other to self, according to choice. Read more
Source§

fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)

Conditionally swap self and other if choice == 1; otherwise, reassign both unto themselves. Read more
Source§

impl ConstantTimeEq for Fr

Source§

fn ct_eq(&self, other: &Self) -> Choice

Determine if two items are equal. Read more
Source§

fn ct_ne(&self, other: &Self) -> Choice

Determine if two items are NOT equal. Read more
Source§

impl Debug for Fr

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for Fr

Source§

fn default() -> Self

Returns the “default value” for a type. Read more
Source§

impl Display for Fr

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Field for Fr

Source§

fn random(rng: impl RngCore) -> Self

Returns an element chosen uniformly at random using a user-provided RNG.
Source§

fn zero() -> Self

Returns the zero element of the field, the additive identity.
Source§

fn one() -> Self

Returns the one element of the field, the multiplicative identity.
Source§

fn square(&self) -> Self

Squares this element.
Source§

fn double(&self) -> Self

Doubles this element.
Source§

fn invert(&self) -> CtOption<Self>

Computes the multiplicative inverse of this element, failing if the element is zero.
Source§

fn sqrt(&self) -> CtOption<Self>

Returns the square root of the field element, if it is quadratic residue.
Source§

fn is_zero(&self) -> Choice

Returns true iff this element is zero.
Source§

fn is_zero_vartime(&self) -> bool

Returns true iff this element is zero. Read more
Source§

fn cube(&self) -> Self

Cubes this element.
Source§

fn pow_vartime<S>(&self, exp: S) -> Self
where S: AsRef<[u64]>,

Exponentiates self by exp, where exp is a little-endian order integer exponent. Read more
Source§

impl From<u64> for Fr

Source§

fn from(val: u64) -> Fr

Converts to this type from the input type.
Source§

impl<'b> Mul<&'b Fr> for Fr

Source§

type Output = Fr

The resulting type after applying the * operator.
Source§

fn mul(self, rhs: &'b Fr) -> Fr

Performs the * operation. Read more
Source§

impl Mul for Fr

Source§

type Output = Fr

The resulting type after applying the * operator.
Source§

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

Performs the * operation. Read more
Source§

impl<'b> MulAssign<&'b Fr> for Fr

Source§

fn mul_assign(&mut self, rhs: &'b Fr)

Performs the *= operation. Read more
Source§

impl MulAssign for Fr

Source§

fn mul_assign(&mut self, rhs: Fr)

Performs the *= operation. Read more
Source§

impl Neg for Fr

Source§

type Output = Fr

The resulting type after applying the - operator.
Source§

fn neg(self) -> Fr

Performs the unary - operation. Read more
Source§

impl PartialEq for Fr

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl PrimeField for Fr

Source§

const NUM_BITS: u32 = 252u32

How many bits are needed to represent an element of this field.
Source§

const CAPACITY: u32 = 251u32

How many bits of information can be reliably stored in the field element. Read more
Source§

const S: u32 = 1u32

An integer s satisfying the equation 2^s * t = modulus - 1 with t odd. Read more
Source§

type Repr = [u8; 32]

The prime field can be converted back and forth into this binary representation.
Source§

fn from_repr(r: Self::Repr) -> CtOption<Self>

Attempts to convert a byte representation of a field element into an element of this prime field, failing if the input is not canonical (is not smaller than the field’s modulus). Read more
Source§

fn to_repr(&self) -> Self::Repr

Converts an element of the prime field into the standard byte representation for this field. Read more
Source§

fn is_odd(&self) -> Choice

Returns true iff this element is odd.
Source§

fn multiplicative_generator() -> Self

Returns a fixed multiplicative generator of modulus - 1 order. This element must also be a quadratic nonresidue. Read more
Source§

fn root_of_unity() -> Self

Returns the 2^s root of unity. Read more
Source§

fn from_str_vartime(s: &str) -> Option<Self>

Interpret a string of numbers as a (congruent) prime field element. Does not accept unnecessary leading zeroes or a blank string. Read more
Source§

fn from_repr_vartime(repr: Self::Repr) -> Option<Self>

Attempts to convert a byte representation of a field element into an element of this prime field, failing if the input is not canonical (is not smaller than the field’s modulus). Read more
Source§

fn is_even(&self) -> Choice

Returns true iff this element is even.
Source§

impl PrimeFieldBits for Fr

Source§

type ReprBits = [u64; 4]

The backing store for a bit representation of a prime field element.
Source§

fn to_le_bits(&self) -> FieldBits<Self::ReprBits>

Converts an element of the prime field into a little-endian sequence of bits.
Source§

fn char_le_bits() -> FieldBits<Self::ReprBits>

Returns the bits of the field characteristic (the modulus) in little-endian order.
Source§

impl<'b> Sub<&'b Fr> for Fr

Source§

type Output = Fr

The resulting type after applying the - operator.
Source§

fn sub(self, rhs: &'b Fr) -> Fr

Performs the - operation. Read more
Source§

impl Sub for Fr

Source§

type Output = Fr

The resulting type after applying the - operator.
Source§

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

Performs the - operation. Read more
Source§

impl<'b> SubAssign<&'b Fr> for Fr

Source§

fn sub_assign(&mut self, rhs: &'b Fr)

Performs the -= operation. Read more
Source§

impl SubAssign for Fr

Source§

fn sub_assign(&mut self, rhs: Fr)

Performs the -= operation. Read more
Source§

impl Copy for Fr

Source§

impl Eq for Fr