pub struct Scalar<E: Environment> { /* private fields */ }
Implementations§
Source§impl<E: Environment> Scalar<E>
impl<E: Environment> Scalar<E>
Sourcepub fn from_field_lossy(field: &Field<E>) -> Self
pub fn from_field_lossy(field: &Field<E>) -> Self
Casts a scalar from a base field, with lossy truncation.
This method is commonly-used by hash-to-scalar algorithms, where the hash output does not need to preserve the full base field.
Source§impl<E: Environment> Scalar<E>
impl<E: Environment> Scalar<E>
Sourcepub const SIZE_IN_BITS: usize = <E::Scalar>::SIZE_IN_BITS
pub const SIZE_IN_BITS: usize = <E::Scalar>::SIZE_IN_BITS
The scalar size in bits.
Sourcepub const SIZE_IN_BYTES: usize = _
pub const SIZE_IN_BYTES: usize = _
The scalar size in bytes.
Sourcepub const SIZE_IN_DATA_BITS: usize = <E::Scalar>::SIZE_IN_DATA_BITS
pub const SIZE_IN_DATA_BITS: usize = <E::Scalar>::SIZE_IN_DATA_BITS
The scalar capacity for data bits.
Trait Implementations§
Source§impl<E: Environment> Add for Scalar<E>
impl<E: Environment> Add for Scalar<E>
Source§impl<E: Environment> AddAssign<&Scalar<E>> for Scalar<E>
impl<E: Environment> AddAssign<&Scalar<E>> for Scalar<E>
Source§fn add_assign(&mut self, other: &Scalar<E>)
fn add_assign(&mut self, other: &Scalar<E>)
Adds other
to self
.
Source§impl<E: Environment> AddAssign for Scalar<E>
impl<E: Environment> AddAssign for Scalar<E>
Source§fn add_assign(&mut self, other: Scalar<E>)
fn add_assign(&mut self, other: Scalar<E>)
Adds other
to self
.
Source§impl<E: Environment> Compare for Scalar<E>
impl<E: Environment> Compare for Scalar<E>
Source§fn is_less_than(&self, other: &Self) -> Self::Output
fn is_less_than(&self, other: &Self) -> Self::Output
Returns true
if self
is less than other
.
Source§fn is_greater_than(&self, other: &Self) -> Self::Output
fn is_greater_than(&self, other: &Self) -> Self::Output
Returns true
if self
is greater than other
.
Source§fn is_less_than_or_equal(&self, other: &Self) -> Self::Output
fn is_less_than_or_equal(&self, other: &Self) -> Self::Output
Returns true
if self
is less than or equal to other
.
Source§fn is_greater_than_or_equal(&self, other: &Self) -> Self::Output
fn is_greater_than_or_equal(&self, other: &Self) -> Self::Output
Returns true
if self
is greater than or equal to other
.
type Output = Boolean<E>
Source§impl<E: Environment> Debug for Scalar<E>
impl<E: Environment> Debug for Scalar<E>
Source§impl<E: Environment> Deref for Scalar<E>
impl<E: Environment> Deref for Scalar<E>
Source§impl<'de, E: Environment> Deserialize<'de> for Scalar<E>
impl<'de, E: Environment> Deserialize<'de> for Scalar<E>
Source§fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>
fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>
Deserializes the scalar from a string or bytes.
Source§impl<E: Environment> Display for Scalar<E>
impl<E: Environment> Display for Scalar<E>
Source§impl<E: Environment> Distribution<Scalar<E>> for Standard
impl<E: Environment> Distribution<Scalar<E>> for Standard
Source§impl<E: Environment> Div for Scalar<E>
impl<E: Environment> Div for Scalar<E>
Source§impl<E: Environment> DivAssign<&Scalar<E>> for Scalar<E>
impl<E: Environment> DivAssign<&Scalar<E>> for Scalar<E>
Source§fn div_assign(&mut self, other: &Scalar<E>)
fn div_assign(&mut self, other: &Scalar<E>)
Divides self
by other
.
Source§impl<E: Environment> DivAssign for Scalar<E>
impl<E: Environment> DivAssign for Scalar<E>
Source§fn div_assign(&mut self, other: Scalar<E>)
fn div_assign(&mut self, other: Scalar<E>)
Divides self
by other
.
Source§impl<E: Environment> Double for Scalar<E>
impl<E: Environment> Double for Scalar<E>
Source§impl<E: Environment> Equal for Scalar<E>
impl<E: Environment> Equal for Scalar<E>
Source§impl<E: Environment> FromBits for Scalar<E>
impl<E: Environment> FromBits for Scalar<E>
Source§fn from_bits_le(bits_le: &[bool]) -> Result<Self>
fn from_bits_le(bits_le: &[bool]) -> Result<Self>
Initializes a new scalar from a list of little-endian bits.
- If
bits_le
is longer thanE::Scalar::size_in_bits()
, the excess bits are enforced to be0
s. - If
bits_le
is shorter thanE::Scalar::size_in_bits()
, it is padded with0
s up to scalar size.
Source§fn from_bits_be(bits_be: &[bool]) -> Result<Self>
fn from_bits_be(bits_be: &[bool]) -> Result<Self>
Initializes a new scalar from a list of big-endian bits without leading zeros.
Source§impl<E: Environment> FromBytes for Scalar<E>
impl<E: Environment> FromBytes for Scalar<E>
Source§impl<E: Environment> FromField for Scalar<E>
impl<E: Environment> FromField for Scalar<E>
Source§fn from_field(field: &Self::Field) -> Result<Self>
fn from_field(field: &Self::Field) -> Result<Self>
Casts a scalar from a base field element.
This method guarantees the following:
- If the field element is larger than the scalar field modulus, then the operation will fail.
- If the field element is smaller than the scalar field modulus, then the operation will succeed.
- This is particularly useful for the case where a user called,
Scalar::from_field(scalar.to_field())
, and the scalar bit representation is betweensize_in_data_bits < bits.len() < size_in_bits
.
- This is particularly useful for the case where a user called,
type Field = Field<E>
Source§impl<E: Environment> FromStr for Scalar<E>
impl<E: Environment> FromStr for Scalar<E>
Source§impl<E: Environment> Inverse for Scalar<E>
impl<E: Environment> Inverse for Scalar<E>
Source§impl<E: Environment> Mul for Scalar<E>
impl<E: Environment> Mul for Scalar<E>
Source§impl<E: Environment> MulAssign<&Scalar<E>> for Scalar<E>
impl<E: Environment> MulAssign<&Scalar<E>> for Scalar<E>
Source§fn mul_assign(&mut self, other: &Scalar<E>)
fn mul_assign(&mut self, other: &Scalar<E>)
Multiplies self
by other
.
Source§impl<E: Environment> MulAssign for Scalar<E>
impl<E: Environment> MulAssign for Scalar<E>
Source§fn mul_assign(&mut self, other: Scalar<E>)
fn mul_assign(&mut self, other: Scalar<E>)
Multiplies self
by other
.
Source§impl<E: Environment> Neg for Scalar<E>
impl<E: Environment> Neg for Scalar<E>
Source§impl<E: Environment> One for Scalar<E>
impl<E: Environment> One for Scalar<E>
Source§impl<E: Environment> Ord for Scalar<E>
impl<E: Environment> Ord for Scalar<E>
Source§impl<E: Environment> Parser for Scalar<E>
impl<E: Environment> Parser for Scalar<E>
Source§fn parse(string: &str) -> ParserResult<'_, Self>
fn parse(string: &str) -> ParserResult<'_, Self>
Parses a string into a scalar circuit.
Source§impl<E: Environment> PartialOrd for Scalar<E>
impl<E: Environment> PartialOrd for Scalar<E>
Source§impl<E: Environment> Product for Scalar<E>
impl<E: Environment> Product for Scalar<E>
Source§impl<E: Environment> Serialize for Scalar<E>
impl<E: Environment> Serialize for Scalar<E>
Source§impl<E: Environment> SizeInBits for Scalar<E>
impl<E: Environment> SizeInBits for Scalar<E>
Source§fn size_in_bits() -> usize
fn size_in_bits() -> usize
Returns the scalar size in bits.
Source§impl<E: Environment> SizeInBytes for Scalar<E>
impl<E: Environment> SizeInBytes for Scalar<E>
Source§fn size_in_bytes() -> usize
fn size_in_bytes() -> usize
Returns the scalar size in bytes.
Source§impl<E: Environment> SizeInDataBits for Scalar<E>
impl<E: Environment> SizeInDataBits for Scalar<E>
Source§fn size_in_data_bits() -> usize
fn size_in_data_bits() -> usize
Returns the scalar capacity for data bits.
Source§impl<E: Environment> Square for Scalar<E>
impl<E: Environment> Square for Scalar<E>
Source§impl<E: Environment> Sub for Scalar<E>
impl<E: Environment> Sub for Scalar<E>
Source§impl<E: Environment> SubAssign<&Scalar<E>> for Scalar<E>
impl<E: Environment> SubAssign<&Scalar<E>> for Scalar<E>
Source§fn sub_assign(&mut self, other: &Scalar<E>)
fn sub_assign(&mut self, other: &Scalar<E>)
Subtracts other
from self
.
Source§impl<E: Environment> SubAssign for Scalar<E>
impl<E: Environment> SubAssign for Scalar<E>
Source§fn sub_assign(&mut self, other: Scalar<E>)
fn sub_assign(&mut self, other: Scalar<E>)
Subtracts other
from self
.
Source§impl<E: Environment> Sum for Scalar<E>
impl<E: Environment> Sum for Scalar<E>
Source§impl<E: Environment> Ternary for Scalar<E>
impl<E: Environment> Ternary for Scalar<E>
Source§impl<E: Environment> ToBits for Scalar<E>
impl<E: Environment> ToBits for Scalar<E>
Source§fn write_bits_le(&self, vec: &mut Vec<bool>)
fn write_bits_le(&self, vec: &mut Vec<bool>)
Outputs the little-endian bit representation of self
without trailing zeros.
Source§fn write_bits_be(&self, vec: &mut Vec<bool>)
fn write_bits_be(&self, vec: &mut Vec<bool>)
Outputs the big-endian bit representation of self
without leading zeros.
Source§fn to_bits_le(&self) -> Vec<bool>
fn to_bits_le(&self) -> Vec<bool>
self
as a boolean array in little-endian order.Source§fn to_bits_be(&self) -> Vec<bool>
fn to_bits_be(&self) -> Vec<bool>
self
as a boolean array in big-endian order.Source§impl<E: Environment> ToBytes for Scalar<E>
impl<E: Environment> ToBytes for Scalar<E>
Source§impl<E: Environment> ToField for Scalar<E>
impl<E: Environment> ToField for Scalar<E>
Source§impl<E: Environment> TypeName for Scalar<E>
impl<E: Environment> TypeName for Scalar<E>
Source§impl<E: Environment> Zero for Scalar<E>
impl<E: Environment> Zero for Scalar<E>
Source§impl<E: Environment> Zeroize for Scalar<E>
impl<E: Environment> Zeroize for Scalar<E>
impl<E: Copy + Environment> Copy for Scalar<E>
impl<E: Eq + Environment> Eq for Scalar<E>
impl<E: Environment> ScalarTrait for Scalar<E>
impl<E: Environment> StructuralPartialEq for Scalar<E>
Auto Trait Implementations§
impl<E> Freeze for Scalar<E>
impl<E> RefUnwindSafe for Scalar<E>
impl<E> Send for Scalar<E>
impl<E> Sync for Scalar<E>
impl<E> Unpin for Scalar<E>
impl<E> UnwindSafe for Scalar<E>
Blanket Implementations§
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: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
Source§impl<'de, T> DeserializeExt<'de> for Twhere
T: DeserializeOwned,
impl<'de, T> DeserializeExt<'de> for Twhere
T: DeserializeOwned,
fn take_from_value<D>(
value: &mut Value,
field: &str,
) -> Result<T, <D as Deserializer<'de>>::Error>where
D: Deserializer<'de>,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more