pub struct Scalar(_);
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: impl CryptoRng + RngCore) -> Self
pub fn generate_biased(rng: impl CryptoRng + RngCore) -> Self
Returns a (nearly) uniformly-random scalar, generated in constant time.
sourcepub fn generate_vartime(rng: impl RngCore) -> Self
pub fn generate_vartime(rng: 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<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 ConditionallySelectable for Scalar
impl ConditionallySelectable for Scalar
source§impl ConstantTimeEq for Scalar
impl ConstantTimeEq for Scalar
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 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<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 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>::UInt as ArrayEncoding>::ByteSize>
type Repr = GenericArray<u8, <<Secp256k1 as Curve>::UInt as ArrayEncoding>::ByteSize>
source§const CAPACITY: u32 = 255u32
const CAPACITY: u32 = 255u32
source§fn to_repr(&self) -> FieldBytes
fn to_repr(&self) -> FieldBytes
source§fn multiplicative_generator() -> Self
fn multiplicative_generator() -> Self
modulus - 1
order. This element must
also be a quadratic nonresidue. Read moresource§fn root_of_unity() -> Self
fn root_of_unity() -> Self
2^s
root of unity. Read moresource§fn from_str_vartime(s: &str) -> Option<Self>
fn from_str_vartime(s: &str) -> Option<Self>
source§impl Reduce<UInt<_>> for Scalar
impl Reduce<UInt<_>> for Scalar
source§fn from_uint_reduced(w: U256) -> Self
fn from_uint_reduced(w: U256) -> Self
source§fn from_be_bytes_reduced(
bytes: GenericArray<u8, <UInt as ArrayEncoding>::ByteSize>
) -> Self
fn from_be_bytes_reduced(
bytes: GenericArray<u8, <UInt as ArrayEncoding>::ByteSize>
) -> Self
source§fn from_le_bytes_reduced(
bytes: GenericArray<u8, <UInt as ArrayEncoding>::ByteSize>
) -> Self
fn from_le_bytes_reduced(
bytes: GenericArray<u8, <UInt as ArrayEncoding>::ByteSize>
) -> Self
source§impl Reduce<UInt<_>> for Scalar
impl Reduce<UInt<_>> for Scalar
source§fn from_uint_reduced(w: U512) -> Self
fn from_uint_reduced(w: U512) -> Self
source§fn from_be_bytes_reduced(
bytes: GenericArray<u8, <UInt as ArrayEncoding>::ByteSize>
) -> Self
fn from_be_bytes_reduced(
bytes: GenericArray<u8, <UInt as ArrayEncoding>::ByteSize>
) -> Self
source§fn from_le_bytes_reduced(
bytes: GenericArray<u8, <UInt as ArrayEncoding>::ByteSize>
) -> Self
fn from_le_bytes_reduced(
bytes: GenericArray<u8, <UInt as ArrayEncoding>::ByteSize>
) -> Self
source§impl ReduceNonZero<UInt<_>> for Scalar
impl ReduceNonZero<UInt<_>> for Scalar
source§fn from_uint_reduced_nonzero(w: U256) -> Self
fn from_uint_reduced_nonzero(w: U256) -> Self
source§impl ReduceNonZero<UInt<_>> for Scalar
impl ReduceNonZero<UInt<_>> for Scalar
source§fn from_uint_reduced_nonzero(w: U512) -> Self
fn from_uint_reduced_nonzero(w: U512) -> Self
source§impl SignPrimitive<Secp256k1> for Scalar
impl SignPrimitive<Secp256k1> for Scalar
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<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 more