pub struct Scalar(/* private fields */);
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
k256::elliptic_curve::ff
:
Field
- represents elements of finite fields and provides:Field::random
- generate a random scalardouble
,square
, andinvert
operations- Bounds for
Add
,Sub
,Mul
, andNeg
(as well as*Assign
equivalents) - Bounds for
ConditionallySelectable
from thesubtle
crate
PrimeField
- represents elements of prime fields and provides:from_repr
/to_repr
for converting field elements from/to big integers.multiplicative_generator
androot_of_unity
constants.
PrimeFieldBits
- operations over field elements represented as bits (requiresbits
feature)
Please see the documentation for the relevant traits for more information.
§serde
support
When the serde
feature of this crate is enabled, the Serialize
and
Deserialize
traits are impl’d for this type.
The serialization is a fixed-width big endian encoding. When used with textual formats, the binary data is encoded as hexadecimal.
Implementations§
source§impl Scalar
impl Scalar
sourcepub fn to_bytes(&self) -> FieldBytes
pub fn to_bytes(&self) -> FieldBytes
Returns the SEC1 encoding of this scalar.
sourcepub fn shr_vartime(&self, shift: usize) -> Scalar
pub fn shr_vartime(&self, shift: usize) -> Scalar
Right shifts the scalar.
Note: not constant-time with respect to the shift
parameter.
sourcepub fn generate_biased(rng: &mut impl CryptoRngCore) -> Self
pub fn generate_biased(rng: &mut impl CryptoRngCore) -> Self
Returns a (nearly) uniformly-random scalar, generated in constant time.
sourcepub fn generate_vartime(rng: &mut impl RngCore) -> Self
pub fn generate_vartime(rng: &mut impl RngCore) -> Self
Returns a uniformly-random scalar, generated using rejection sampling.
Trait Implementations§
source§impl AddAssign<&Scalar> for Scalar
impl AddAssign<&Scalar> for Scalar
source§fn add_assign(&mut self, rhs: &Scalar)
fn add_assign(&mut self, rhs: &Scalar)
+=
operation. Read moresource§impl AddAssign for Scalar
impl AddAssign for Scalar
source§fn add_assign(&mut self, rhs: Scalar)
fn add_assign(&mut self, rhs: Scalar)
+=
operation. Read moresource§impl ConditionallySelectable for Scalar
impl ConditionallySelectable for Scalar
source§impl ConstantTimeEq for Scalar
impl ConstantTimeEq for Scalar
source§impl<'de> Deserialize<'de> for Scalar
impl<'de> Deserialize<'de> for Scalar
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 sqrt(&self) -> CtOption<Self>
fn sqrt(&self) -> CtOption<Self>
Tonelli-Shank’s algorithm for q mod 16 = 1 https://eprint.iacr.org/2012/685.pdf (page 12, algorithm 5)
source§fn random(rng: impl RngCore) -> Self
fn random(rng: impl RngCore) -> Self
source§fn invert(&self) -> CtOption<Self>
fn invert(&self) -> CtOption<Self>
source§fn is_zero_vartime(&self) -> bool
fn is_zero_vartime(&self) -> bool
source§impl From<&Scalar> for FieldBytes
impl From<&Scalar> for FieldBytes
source§impl From<Scalar> for FieldBytes
impl From<Scalar> for FieldBytes
source§impl FromUintUnchecked for Scalar
impl FromUintUnchecked for Scalar
source§impl Invert for Scalar
impl Invert for Scalar
source§fn invert_vartime(&self) -> CtOption<Self>
fn invert_vartime(&self) -> CtOption<Self>
Fast variable-time inversion using Stein’s algorithm.
Returns none if the scalar is zero.
https://link.springer.com/article/10.1007/s13389-016-0135-4
⚠️ WARNING!
This method should not be used with (unblinded) secret scalars, as its variable-time operation can potentially leak secrets through sidechannels.
source§impl Mul<&Scalar> for &ProjectivePoint
impl Mul<&Scalar> for &ProjectivePoint
§type Output = ProjectivePoint
type Output = ProjectivePoint
*
operator.source§impl Mul<&Scalar> for AffinePoint
impl Mul<&Scalar> for AffinePoint
§type Output = ProjectivePoint
type Output = ProjectivePoint
*
operator.source§impl Mul<&Scalar> for ProjectivePoint
impl Mul<&Scalar> for ProjectivePoint
§type Output = ProjectivePoint
type Output = ProjectivePoint
*
operator.source§impl Mul<Scalar> for AffinePoint
impl Mul<Scalar> for AffinePoint
§type Output = ProjectivePoint
type Output = ProjectivePoint
*
operator.source§impl Mul<Scalar> for ProjectivePoint
impl Mul<Scalar> for ProjectivePoint
§type Output = ProjectivePoint
type Output = ProjectivePoint
*
operator.source§impl MulAssign<&Scalar> for ProjectivePoint
impl MulAssign<&Scalar> for ProjectivePoint
source§fn mul_assign(&mut self, rhs: &Scalar)
fn mul_assign(&mut self, rhs: &Scalar)
*=
operation. Read moresource§impl MulAssign<&Scalar> for Scalar
impl MulAssign<&Scalar> for Scalar
source§fn mul_assign(&mut self, rhs: &Scalar)
fn mul_assign(&mut self, rhs: &Scalar)
*=
operation. Read moresource§impl MulAssign<Scalar> for ProjectivePoint
impl MulAssign<Scalar> for ProjectivePoint
source§fn mul_assign(&mut self, rhs: Scalar)
fn mul_assign(&mut self, rhs: Scalar)
*=
operation. Read moresource§impl MulAssign for Scalar
impl MulAssign for Scalar
source§fn mul_assign(&mut self, rhs: Scalar)
fn mul_assign(&mut self, rhs: Scalar)
*=
operation. Read moresource§impl Ord for Scalar
impl Ord for Scalar
source§impl PartialEq for Scalar
impl PartialEq for Scalar
source§impl PartialOrd for Scalar
impl PartialOrd for Scalar
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
self
and other
) and is used by the <=
operator. Read moresource§impl PrimeField for Scalar
impl PrimeField for Scalar
source§fn from_repr(bytes: FieldBytes) -> CtOption<Self>
fn from_repr(bytes: FieldBytes) -> CtOption<Self>
Attempts to parse the given byte array as an SEC1-encoded scalar.
Returns None if the byte array does not contain a big-endian integer in the range [0, p).
§type Repr = GenericArray<u8, <Secp256k1 as Curve>::FieldBytesSize>
type Repr = GenericArray<u8, <Secp256k1 as Curve>::FieldBytesSize>
source§const MODULUS: &'static str = ORDER_HEX
const MODULUS: &'static str = ORDER_HEX
source§const CAPACITY: u32 = 255u32
const CAPACITY: u32 = 255u32
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§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<Uint<crypto_bigint::::uint::U256::{constant#0}>> for Scalar
impl Reduce<Uint<crypto_bigint::::uint::U256::{constant#0}>> for Scalar
§type Bytes = GenericArray<u8, <Secp256k1 as Curve>::FieldBytesSize>
type Bytes = GenericArray<u8, <Secp256k1 as Curve>::FieldBytesSize>
Reduce::reduce_bytes
.source§fn reduce_bytes(bytes: &FieldBytes) -> Self
fn reduce_bytes(bytes: &FieldBytes) -> Self
source§impl Reduce<Uint<crypto_bigint::::uint::U512::{constant#0}>> for Scalar
impl Reduce<Uint<crypto_bigint::::uint::U512::{constant#0}>> for Scalar
source§impl ReduceNonZero<Uint<crypto_bigint::::uint::U256::{constant#0}>> for Scalar
impl ReduceNonZero<Uint<crypto_bigint::::uint::U256::{constant#0}>> for Scalar
source§fn reduce_nonzero(w: U256) -> Self
fn reduce_nonzero(w: U256) -> Self
source§fn reduce_nonzero_bytes(bytes: &FieldBytes) -> Self
fn reduce_nonzero_bytes(bytes: &FieldBytes) -> Self
source§impl ReduceNonZero<Uint<crypto_bigint::::uint::U512::{constant#0}>> for Scalar
impl ReduceNonZero<Uint<crypto_bigint::::uint::U512::{constant#0}>> for Scalar
source§fn reduce_nonzero(w: U512) -> Self
fn reduce_nonzero(w: U512) -> Self
source§fn reduce_nonzero_bytes(bytes: &WideBytes) -> Self
fn reduce_nonzero_bytes(bytes: &WideBytes) -> Self
source§impl ShrAssign<usize> for Scalar
impl ShrAssign<usize> for Scalar
source§fn shr_assign(&mut self, rhs: usize)
fn shr_assign(&mut self, rhs: usize)
>>=
operation. Read moresource§impl SignPrimitive<Secp256k1> for Scalar
impl SignPrimitive<Secp256k1> for Scalar
source§fn try_sign_prehashed<K>(
&self,
k: K,
z: &FieldBytes,
) -> Result<(Signature, Option<RecoveryId>), Error>
fn try_sign_prehashed<K>( &self, k: K, z: &FieldBytes, ) -> Result<(Signature, Option<RecoveryId>), Error>
source§fn try_sign_prehashed_rfc6979<D>(
&self,
z: &GenericArray<u8, <C as Curve>::FieldBytesSize>,
ad: &[u8],
) -> Result<(Signature<C>, Option<RecoveryId>), Error>where
Self: From<ScalarPrimitive<C>> + Invert<Output = CtOption<Self>>,
D: Digest<OutputSize = <C as Curve>::FieldBytesSize> + BlockSizeUser + FixedOutput + FixedOutputReset,
fn try_sign_prehashed_rfc6979<D>(
&self,
z: &GenericArray<u8, <C as Curve>::FieldBytesSize>,
ad: &[u8],
) -> Result<(Signature<C>, Option<RecoveryId>), Error>where
Self: From<ScalarPrimitive<C>> + Invert<Output = CtOption<Self>>,
D: Digest<OutputSize = <C as Curve>::FieldBytesSize> + BlockSizeUser + FixedOutput + FixedOutputReset,
source§impl SubAssign<&Scalar> for Scalar
impl SubAssign<&Scalar> for Scalar
source§fn sub_assign(&mut self, rhs: &Scalar)
fn sub_assign(&mut self, rhs: &Scalar)
-=
operation. Read moresource§impl SubAssign for Scalar
impl SubAssign for Scalar
source§fn sub_assign(&mut self, rhs: Scalar)
fn sub_assign(&mut self, rhs: Scalar)
-=
operation. Read moreimpl Copy for Scalar
impl DefaultIsZeroes for Scalar
impl Eq for Scalar
Auto Trait Implementations§
impl Freeze for Scalar
impl RefUnwindSafe for Scalar
impl Send for Scalar
impl Sync for Scalar
impl Unpin for Scalar
impl UnwindSafe for Scalar
Blanket Implementations§
source§impl<T> BatchInvert<[T]> for T
impl<T> BatchInvert<[T]> for T
source§impl<const N: usize, T> BatchInvert<[T; N]> for T
impl<const N: usize, T> BatchInvert<[T; N]> for T
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> CloneToUninit for Twhere
T: Copy,
impl<T> CloneToUninit for Twhere
T: Copy,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)