pub struct Scalar(/* private fields */);arithmetic only.Expand description
Scalars are elements in the finite field modulo n.
§Trait impls
Much of the important functionality of scalars is provided by traits from
the ff crate, which is re-exported as
p521::elliptic_curve::ff:
Field- represents elements of finite fields and provides:Field::random- generate a random scalardouble,square, andinvertoperations- Bounds for
Add,Sub,Mul, andNeg(as well as*Assignequivalents) - Bounds for
ConditionallySelectablefrom thesubtlecrate
PrimeField- represents elements of prime fields and provides:from_repr/to_reprfor converting field elements from/to big integers.multiplicative_generatorandroot_of_unityconstants.
PrimeFieldBits- operations over field elements represented as bits (requiresbitsfeature)
Please see the documentation for the relevant traits for more information.
Implementations§
Source§impl Scalar
impl Scalar
Sourcepub fn from_bytes(repr: &FieldBytes) -> CtOption<Self>
pub fn from_bytes(repr: &FieldBytes) -> CtOption<Self>
Create a Scalar from a canonical big-endian representation.
Sourcepub fn from_slice(slice: &[u8]) -> Result<Self>
pub fn from_slice(slice: &[u8]) -> Result<Self>
Decode Scalar from a big endian byte slice.
Sourcepub fn to_bytes(self) -> FieldBytes
pub fn to_bytes(self) -> FieldBytes
Returns the big-endian encoding of this Scalar.
Sourcepub const fn to_canonical(self) -> Uint
Available on 64-bit only.
pub const fn to_canonical(self) -> Uint
Sourcepub const fn pow_vartime<const RHS_LIMBS: usize>(
&self,
exp: &Uint<RHS_LIMBS>,
) -> Self
pub const fn pow_vartime<const RHS_LIMBS: usize>( &self, exp: &Uint<RHS_LIMBS>, ) -> Self
Returns self^exp, where exp is a little-endian integer exponent.
This operation is variable time with respect to the exponent exp.
If the exponent is fixed, this operation is constant time.
Sourcepub const fn sqn_vartime(&self, n: usize) -> Self
pub const fn sqn_vartime(&self, n: usize) -> Self
Returns self^(2^n) mod p.
This operation is variable time with respect to the exponent n.
If the exponent is fixed, this operation is constant time.
Trait Implementations§
Source§impl AddAssign<&Scalar> for Scalar
impl AddAssign<&Scalar> for Scalar
Source§fn add_assign(&mut self, other: &Scalar)
fn add_assign(&mut self, other: &Scalar)
+= operation. Read moreSource§impl AddAssign for Scalar
impl AddAssign for Scalar
Source§fn add_assign(&mut self, other: Scalar)
fn add_assign(&mut self, other: Scalar)
+= operation. Read moreSource§impl ConditionallySelectable for Scalar
impl ConditionallySelectable for Scalar
Source§fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self
fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self
Source§fn conditional_assign(&mut self, other: &Self, choice: Choice)
fn conditional_assign(&mut self, other: &Self, choice: Choice)
Source§fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)
fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)
self and other if choice == 1; otherwise,
reassign both unto themselves. Read moreSource§impl ConstMontyParams<{ Uint::LIMBS }> for Scalar
impl ConstMontyParams<{ Uint::LIMBS }> for Scalar
Source§impl ConstantTimeEq for Scalar
impl ConstantTimeEq for Scalar
Source§impl CtSelect for Scalar
impl CtSelect for Scalar
Source§impl<'de> Deserialize<'de> for Scalar
Available on crate feature serde only.
impl<'de> Deserialize<'de> for Scalar
serde only.Source§fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
D: Deserializer<'de>,
fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
D: Deserializer<'de>,
Source§impl Field for Scalar
impl Field for Scalar
Source§fn try_from_rng<R: TryRngCore + ?Sized>(rng: &mut R) -> Result<Self, R::Error>
fn try_from_rng<R: TryRngCore + ?Sized>(rng: &mut R) -> Result<Self, R::Error>
Source§fn invert(&self) -> CtOption<Self>
fn invert(&self) -> CtOption<Self>
Source§fn sqrt(&self) -> CtOption<Self>
fn sqrt(&self) -> CtOption<Self>
Source§fn sqrt_ratio(num: &Self, div: &Self) -> (Choice, Self)
fn sqrt_ratio(num: &Self, div: &Self) -> (Choice, Self)
Source§fn random<R>(rng: &mut R) -> Self
fn random<R>(rng: &mut R) -> Self
Source§fn is_zero_vartime(&self) -> bool
fn is_zero_vartime(&self) -> bool
Source§impl From<&NonZeroScalar<NistP521>> for Scalar
impl From<&NonZeroScalar<NistP521>> for Scalar
Source§fn from(scalar: &NonZeroScalar<NistP521>) -> Self
fn from(scalar: &NonZeroScalar<NistP521>) -> Self
Source§impl From<&Scalar> for FieldBytes
impl From<&Scalar> for FieldBytes
Source§impl From<NonZeroScalar<NistP521>> for Scalar
impl From<NonZeroScalar<NistP521>> for Scalar
Source§fn from(scalar: NonZeroScalar<NistP521>) -> Self
fn from(scalar: NonZeroScalar<NistP521>) -> Self
Source§impl From<Scalar> for FieldBytes
impl From<Scalar> for FieldBytes
Source§impl From<ScalarValue<NistP521>> for Scalar
impl From<ScalarValue<NistP521>> for Scalar
Source§fn from(w: ScalarValue<NistP521>) -> Self
fn from(w: ScalarValue<NistP521>) -> Self
Source§impl FromUintUnchecked for Scalar
impl FromUintUnchecked for Scalar
Source§impl Mul<&<NistP521 as CurveArithmetic>::AffinePoint> for &Scalar
impl Mul<&<NistP521 as CurveArithmetic>::AffinePoint> for &Scalar
Source§type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
* operator.Source§fn mul(self, rhs: &AffinePoint<NistP521>) -> ProjectivePoint<NistP521>
fn mul(self, rhs: &AffinePoint<NistP521>) -> ProjectivePoint<NistP521>
* operation. Read moreSource§impl Mul<&<NistP521 as CurveArithmetic>::AffinePoint> for Scalar
impl Mul<&<NistP521 as CurveArithmetic>::AffinePoint> for Scalar
Source§type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
* operator.Source§fn mul(self, rhs: &AffinePoint<NistP521>) -> ProjectivePoint<NistP521>
fn mul(self, rhs: &AffinePoint<NistP521>) -> ProjectivePoint<NistP521>
* operation. Read moreSource§impl Mul<&<NistP521 as CurveArithmetic>::ProjectivePoint> for &Scalar
impl Mul<&<NistP521 as CurveArithmetic>::ProjectivePoint> for &Scalar
Source§type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
* operator.Source§fn mul(self, rhs: &ProjectivePoint<NistP521>) -> ProjectivePoint<NistP521>
fn mul(self, rhs: &ProjectivePoint<NistP521>) -> ProjectivePoint<NistP521>
* operation. Read moreSource§impl Mul<&<NistP521 as CurveArithmetic>::ProjectivePoint> for Scalar
impl Mul<&<NistP521 as CurveArithmetic>::ProjectivePoint> for Scalar
Source§type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
* operator.Source§fn mul(self, rhs: &ProjectivePoint<NistP521>) -> ProjectivePoint<NistP521>
fn mul(self, rhs: &ProjectivePoint<NistP521>) -> ProjectivePoint<NistP521>
* operation. Read moreSource§impl Mul<<NistP521 as CurveArithmetic>::AffinePoint> for &Scalar
impl Mul<<NistP521 as CurveArithmetic>::AffinePoint> for &Scalar
Source§type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
* operator.Source§fn mul(self, rhs: AffinePoint<NistP521>) -> ProjectivePoint<NistP521>
fn mul(self, rhs: AffinePoint<NistP521>) -> ProjectivePoint<NistP521>
* operation. Read moreSource§impl Mul<<NistP521 as CurveArithmetic>::AffinePoint> for Scalar
impl Mul<<NistP521 as CurveArithmetic>::AffinePoint> for Scalar
Source§type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
* operator.Source§fn mul(self, rhs: AffinePoint<NistP521>) -> ProjectivePoint<NistP521>
fn mul(self, rhs: AffinePoint<NistP521>) -> ProjectivePoint<NistP521>
* operation. Read moreSource§impl Mul<<NistP521 as CurveArithmetic>::ProjectivePoint> for &Scalar
impl Mul<<NistP521 as CurveArithmetic>::ProjectivePoint> for &Scalar
Source§type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
* operator.Source§fn mul(self, rhs: ProjectivePoint<NistP521>) -> ProjectivePoint<NistP521>
fn mul(self, rhs: ProjectivePoint<NistP521>) -> ProjectivePoint<NistP521>
* operation. Read moreSource§impl Mul<<NistP521 as CurveArithmetic>::ProjectivePoint> for Scalar
impl Mul<<NistP521 as CurveArithmetic>::ProjectivePoint> for Scalar
Source§type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
type Output = <NistP521 as CurveArithmetic>::ProjectivePoint
* operator.Source§fn mul(self, rhs: ProjectivePoint<NistP521>) -> ProjectivePoint<NistP521>
fn mul(self, rhs: ProjectivePoint<NistP521>) -> ProjectivePoint<NistP521>
* operation. Read moreSource§impl MulAssign<&Scalar> for Scalar
impl MulAssign<&Scalar> for Scalar
Source§fn mul_assign(&mut self, other: &Scalar)
fn mul_assign(&mut self, other: &Scalar)
*= operation. Read moreSource§impl MulAssign for Scalar
impl MulAssign for Scalar
Source§fn mul_assign(&mut self, other: Scalar)
fn mul_assign(&mut self, other: Scalar)
*= operation. Read moreSource§impl Ord for Scalar
impl Ord for Scalar
Source§impl PartialOrd for Scalar
impl PartialOrd for Scalar
Source§impl PrimeField for Scalar
impl PrimeField for Scalar
Source§const MODULUS: &'static str = ORDER_HEX
const MODULUS: &'static str = ORDER_HEX
Source§const CAPACITY: u32 = 520u32
const CAPACITY: u32 = 520u32
Source§const MULTIPLICATIVE_GENERATOR: Self
const MULTIPLICATIVE_GENERATOR: Self
modulus - 1 order. This element must also be
a quadratic nonresidue. Read moreSource§const ROOT_OF_UNITY: Self
const ROOT_OF_UNITY: Self
2^s root of unity. Read moreSource§const ROOT_OF_UNITY_INV: Self
const ROOT_OF_UNITY_INV: Self
Self::ROOT_OF_UNITY.Source§type Repr = Array<u8, <NistP521 as Curve>::FieldBytesSize>
type Repr = Array<u8, <NistP521 as Curve>::FieldBytesSize>
Source§fn from_repr(bytes: FieldBytes) -> CtOption<Self>
fn from_repr(bytes: FieldBytes) -> CtOption<Self>
Source§fn to_repr(&self) -> FieldBytes
fn to_repr(&self) -> FieldBytes
Source§fn from_str_vartime(s: &str) -> Option<Self>
fn from_str_vartime(s: &str) -> Option<Self>
Source§impl Reduce<Array<u8, <NistP521 as Curve>::FieldBytesSize>> for Scalar
impl Reduce<Array<u8, <NistP521 as Curve>::FieldBytesSize>> for Scalar
Source§fn reduce(bytes: &FieldBytes) -> Self
fn reduce(bytes: &FieldBytes) -> Self
self modulo Modulus.Source§impl Reduce<Array<u8, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>>> for Scalar
Available on crate feature hash2curve only.
impl Reduce<Array<u8, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>>> for Scalar
hash2curve only.Source§impl ReduceNonZero<Array<u8, <NistP521 as Curve>::FieldBytesSize>> for Scalar
impl ReduceNonZero<Array<u8, <NistP521 as Curve>::FieldBytesSize>> for Scalar
Source§fn reduce_nonzero(bytes: &FieldBytes) -> Self
fn reduce_nonzero(bytes: &FieldBytes) -> Self
Source§impl ReduceNonZero<Uint<crypto_bigint::::uint::U576::{constant#0}>> for Scalar
impl ReduceNonZero<Uint<crypto_bigint::::uint::U576::{constant#0}>> for Scalar
Source§fn reduce_nonzero(w: &Uint) -> Self
fn reduce_nonzero(w: &Uint) -> Self
Source§impl SubAssign<&Scalar> for Scalar
impl SubAssign<&Scalar> for Scalar
Source§fn sub_assign(&mut self, other: &Scalar)
fn sub_assign(&mut self, other: &Scalar)
-= operation. Read moreSource§impl SubAssign for Scalar
impl SubAssign for Scalar
Source§fn sub_assign(&mut self, other: Scalar)
fn sub_assign(&mut self, other: Scalar)
-= operation. Read moreSource§impl TryFrom<Scalar> for NonZeroScalar<NistP521>
The constant-time alternative is available at
elliptic_curve::NonZeroScalar<NistP521>::new().
impl TryFrom<Scalar> for NonZeroScalar<NistP521>
The constant-time alternative is available at
elliptic_curve::NonZeroScalar<NistP521>::new().