#[repr(C, align(16))]pub struct Bls12_381Fp(/* private fields */);
Expand description
An element of the ring of integers modulo a positive integer. The element is internally represented as a fixed size array of bytes.
§Caution
It is not guaranteed that the integer representation is less than the modulus. After any arithmetic operation, the honest host should normalize the result to its canonical representation less than the modulus, but guest execution does not require it.
See assert_reduced
and
is_reduced
.
Implementations§
Source§impl Bls12_381Fp
impl Bls12_381Fp
Sourcepub const fn from_const_bytes(bytes: [u8; 48]) -> Self
pub const fn from_const_bytes(bytes: [u8; 48]) -> Self
Constructor from little-endian bytes. Does not enforce the integer value of bytes
must be less than the modulus.
Trait Implementations§
Source§impl<'a> Add<&'a Bls12_381Fp> for &Bls12_381Fp
impl<'a> Add<&'a Bls12_381Fp> for &Bls12_381Fp
Source§type Output = Bls12_381Fp
type Output = Bls12_381Fp
+
operator.Source§impl<'a> Add<&'a Bls12_381Fp> for Bls12_381Fp
impl<'a> Add<&'a Bls12_381Fp> for Bls12_381Fp
Source§type Output = Bls12_381Fp
type Output = Bls12_381Fp
+
operator.Source§impl Add for Bls12_381Fp
impl Add for Bls12_381Fp
Source§impl<'a> AddAssign<&'a Bls12_381Fp> for Bls12_381Fp
impl<'a> AddAssign<&'a Bls12_381Fp> for Bls12_381Fp
Source§fn add_assign(&mut self, other: &'a Bls12_381Fp)
fn add_assign(&mut self, other: &'a Bls12_381Fp)
+=
operation. Read moreSource§impl AddAssign for Bls12_381Fp
impl AddAssign for Bls12_381Fp
Source§fn add_assign(&mut self, other: Self)
fn add_assign(&mut self, other: Self)
+=
operation. Read moreSource§impl Clone for Bls12_381Fp
impl Clone for Bls12_381Fp
Source§fn clone(&self) -> Bls12_381Fp
fn clone(&self) -> Bls12_381Fp
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moreSource§impl Debug for Bls12_381Fp
impl Debug for Bls12_381Fp
Source§impl<'de> Deserialize<'de> for Bls12_381Fp
impl<'de> Deserialize<'de> for Bls12_381Fp
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<'a> DivAssignUnsafe<&'a Bls12_381Fp> for Bls12_381Fp
impl<'a> DivAssignUnsafe<&'a Bls12_381Fp> for Bls12_381Fp
Source§fn div_assign_unsafe(&mut self, other: &'a Bls12_381Fp)
fn div_assign_unsafe(&mut self, other: &'a Bls12_381Fp)
Undefined behaviour when denominator is not coprime to N
Source§impl DivAssignUnsafe for Bls12_381Fp
impl DivAssignUnsafe for Bls12_381Fp
Source§fn div_assign_unsafe(&mut self, other: Self)
fn div_assign_unsafe(&mut self, other: Self)
Undefined behaviour when denominator is not coprime to N
Source§impl<'a> DivUnsafe<&'a Bls12_381Fp> for &Bls12_381Fp
impl<'a> DivUnsafe<&'a Bls12_381Fp> for &Bls12_381Fp
Source§fn div_unsafe(self, other: &'a Bls12_381Fp) -> Self::Output
fn div_unsafe(self, other: &'a Bls12_381Fp) -> Self::Output
Undefined behaviour when denominator is not coprime to N
Source§type Output = Bls12_381Fp
type Output = Bls12_381Fp
div_unsafe
.Source§impl<'a> DivUnsafe<&'a Bls12_381Fp> for Bls12_381Fp
impl<'a> DivUnsafe<&'a Bls12_381Fp> for Bls12_381Fp
Source§fn div_unsafe(self, other: &'a Bls12_381Fp) -> Self::Output
fn div_unsafe(self, other: &'a Bls12_381Fp) -> Self::Output
Undefined behaviour when denominator is not coprime to N
Source§type Output = Bls12_381Fp
type Output = Bls12_381Fp
div_unsafe
.Source§impl DivUnsafe for Bls12_381Fp
impl DivUnsafe for Bls12_381Fp
Source§fn div_unsafe(self, other: Self) -> Self::Output
fn div_unsafe(self, other: Self) -> Self::Output
Undefined behaviour when denominator is not coprime to N
Source§type Output = Bls12_381Fp
type Output = Bls12_381Fp
div_unsafe
.Source§impl Evaluatable<Bls12_381Fp, Bls12_381Fp2> for UnevaluatedLine<Fp2>
impl Evaluatable<Bls12_381Fp, Bls12_381Fp2> for UnevaluatedLine<Fp2>
Source§impl FieldExtension<Bls12_381Fp> for Fp2
impl FieldExtension<Bls12_381Fp> for Fp2
Source§type Coeffs = [Bls12_381Fp; 2]
type Coeffs = [Bls12_381Fp; 2]
Source§fn from_coeffs([c0, c1]: Self::Coeffs) -> Self
fn from_coeffs([c0, c1]: Self::Coeffs) -> Self
Source§fn from_bytes(bytes: &[u8]) -> Self
fn from_bytes(bytes: &[u8]) -> Self
Source§fn to_coeffs(self) -> Self::Coeffs
fn to_coeffs(self) -> Self::Coeffs
Source§fn frobenius_map(&self, power: usize) -> Self
fn frobenius_map(&self, power: usize) -> Self
self
to the p^power
th power, where p
is the prime characteristic of the field.Source§impl FromCompressed<Bls12_381Fp> for Bls12_381G1Affine
impl FromCompressed<Bls12_381Fp> for Bls12_381G1Affine
Source§fn decompress(x: Bls12_381Fp, rec_id: &u8) -> Option<Self>
fn decompress(x: Bls12_381Fp, rec_id: &u8) -> Option<Self>
x
-coordinate, Read moreSource§fn hint_decompress(
x: &Bls12_381Fp,
rec_id: &u8,
) -> Option<DecompressionHint<Bls12_381Fp>>
fn hint_decompress( x: &Bls12_381Fp, rec_id: &u8, ) -> Option<DecompressionHint<Bls12_381Fp>>
y
coordinate that is less than Coordinate::MODULUS
such that (x, y)
is a point on the curve and y
has parity equal to rec_id
.
If such y
does not exist, hints a coordinate sqrt
such that sqrt^2 = rhs * non_qr
where rhs
is the rhs of the curve equation and non_qr
is the non-quadratic residue
for this curve that was initialized in the setup function. Read moreSource§impl IntMod for Bls12_381Fp
impl IntMod for Bls12_381Fp
Source§fn assert_reduced(&self)
fn assert_reduced(&self)
If self
is not in its canonical form, the proof will fail to verify.
This means guest execution will never terminate (either successfully or
unsuccessfully) if self
is not in its canonical form.
Source§const NUM_LIMBS: usize = 48usize
const NUM_LIMBS: usize = 48usize
Self
.Source§type Repr = [u8; 48]
type Repr = [u8; 48]
[u8; NUM_LIMBS]
.Source§type SelfRef<'a> = &'a Bls12_381Fp
type SelfRef<'a> = &'a Bls12_381Fp
SelfRef<'a>
should almost always be &'a Self
. This is a way to include implementations of binary operations where both sides are &'a Self
.Source§fn from_repr(repr: Self::Repr) -> Self
fn from_repr(repr: Self::Repr) -> Self
bytes
must be less than the modulus.Source§fn from_le_bytes(bytes: &[u8]) -> Self
fn from_le_bytes(bytes: &[u8]) -> Self
bytes
must be less than the modulus.Source§fn from_be_bytes(bytes: &[u8]) -> Self
fn from_be_bytes(bytes: &[u8]) -> Self
bytes
must be less than the modulus.Source§fn from_u8(val: u8) -> Self
fn from_u8(val: u8) -> Self
bytes
must be less than the modulus.Source§fn from_u32(val: u32) -> Self
fn from_u32(val: u32) -> Self
bytes
must be less than the modulus.Source§fn from_u64(val: u64) -> Self
fn from_u64(val: u64) -> Self
bytes
must be less than the modulus.Source§fn as_le_bytes(&self) -> &[u8] ⓘ
fn as_le_bytes(&self) -> &[u8] ⓘ
Source§fn to_be_bytes(&self) -> [u8; 48]
fn to_be_bytes(&self) -> [u8; 48]
Source§fn modulus_biguint() -> BigUint
fn modulus_biguint() -> BigUint
Source§fn from_biguint(biguint: BigUint) -> Self
fn from_biguint(biguint: BigUint) -> Self
Source§fn as_biguint(&self) -> BigUint
fn as_biguint(&self) -> BigUint
fn neg_assign(&mut self)
Source§fn double_assign(&mut self)
fn double_assign(&mut self)
self
in-place.Source§fn square_assign(&mut self)
fn square_assign(&mut self)
self
in-place.Source§fn is_reduced(&self) -> bool
fn is_reduced(&self) -> bool
self
less than the modulus?Source§impl<'a> Mul<&'a Bls12_381Fp> for &Bls12_381Fp
impl<'a> Mul<&'a Bls12_381Fp> for &Bls12_381Fp
Source§type Output = Bls12_381Fp
type Output = Bls12_381Fp
*
operator.Source§impl<'a> Mul<&'a Bls12_381Fp> for Bls12_381Fp
impl<'a> Mul<&'a Bls12_381Fp> for Bls12_381Fp
Source§type Output = Bls12_381Fp
type Output = Bls12_381Fp
*
operator.Source§impl Mul for Bls12_381Fp
impl Mul for Bls12_381Fp
Source§impl<'a> MulAssign<&'a Bls12_381Fp> for Bls12_381Fp
impl<'a> MulAssign<&'a Bls12_381Fp> for Bls12_381Fp
Source§fn mul_assign(&mut self, other: &'a Bls12_381Fp)
fn mul_assign(&mut self, other: &'a Bls12_381Fp)
*=
operation. Read moreSource§impl MulAssign for Bls12_381Fp
impl MulAssign for Bls12_381Fp
Source§fn mul_assign(&mut self, other: Self)
fn mul_assign(&mut self, other: Self)
*=
operation. Read moreSource§impl<'a> Neg for &'a Bls12_381Fp
impl<'a> Neg for &'a Bls12_381Fp
Source§impl Neg for Bls12_381Fp
impl Neg for Bls12_381Fp
Source§impl PartialEq for Bls12_381Fp
impl PartialEq for Bls12_381Fp
Source§impl<'a> Product<&'a Bls12_381Fp> for Bls12_381Fp
impl<'a> Product<&'a Bls12_381Fp> for Bls12_381Fp
Source§fn product<I: Iterator<Item = &'a Bls12_381Fp>>(iter: I) -> Self
fn product<I: Iterator<Item = &'a Bls12_381Fp>>(iter: I) -> Self
Self
from the elements by multiplying
the items.Source§impl Product for Bls12_381Fp
impl Product for Bls12_381Fp
Source§impl Reduce for Bls12_381Fp
impl Reduce for Bls12_381Fp
Source§fn reduce_le_bytes(bytes: &[u8]) -> Self
fn reduce_le_bytes(bytes: &[u8]) -> Self
fn reduce_be_bytes(bytes: &[u8]) -> Self
Source§impl Serialize for Bls12_381Fp
impl Serialize for Bls12_381Fp
Source§impl<'a> Sub<&'a Bls12_381Fp> for Bls12_381Fp
impl<'a> Sub<&'a Bls12_381Fp> for Bls12_381Fp
Source§type Output = Bls12_381Fp
type Output = Bls12_381Fp
-
operator.Source§impl<'a> Sub for &'a Bls12_381Fp
impl<'a> Sub for &'a Bls12_381Fp
Source§type Output = Bls12_381Fp
type Output = Bls12_381Fp
-
operator.Source§impl Sub for Bls12_381Fp
impl Sub for Bls12_381Fp
Source§impl<'a> SubAssign<&'a Bls12_381Fp> for Bls12_381Fp
impl<'a> SubAssign<&'a Bls12_381Fp> for Bls12_381Fp
Source§fn sub_assign(&mut self, other: &'a Bls12_381Fp)
fn sub_assign(&mut self, other: &'a Bls12_381Fp)
-=
operation. Read moreSource§impl SubAssign for Bls12_381Fp
impl SubAssign for Bls12_381Fp
Source§fn sub_assign(&mut self, other: Self)
fn sub_assign(&mut self, other: Self)
-=
operation. Read moreSource§impl<'a> Sum<&'a Bls12_381Fp> for Bls12_381Fp
impl<'a> Sum<&'a Bls12_381Fp> for Bls12_381Fp
Source§fn sum<I: Iterator<Item = &'a Bls12_381Fp>>(iter: I) -> Self
fn sum<I: Iterator<Item = &'a Bls12_381Fp>>(iter: I) -> Self
Self
from the elements by “summing up”
the items.Source§impl Sum for Bls12_381Fp
impl Sum for Bls12_381Fp
impl Eq for Bls12_381Fp
Auto Trait Implementations§
impl Freeze for Bls12_381Fp
impl RefUnwindSafe for Bls12_381Fp
impl Send for Bls12_381Fp
impl Sync for Bls12_381Fp
impl Unpin for Bls12_381Fp
impl UnwindSafe for Bls12_381Fp
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<T> FmtForward for T
impl<T> FmtForward for T
Source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
self
to use its Binary
implementation when Debug
-formatted.Source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
self
to use its Display
implementation when
Debug
-formatted.Source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
self
to use its LowerExp
implementation when
Debug
-formatted.Source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
self
to use its LowerHex
implementation when
Debug
-formatted.Source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
self
to use its Octal
implementation when Debug
-formatted.Source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
self
to use its Pointer
implementation when
Debug
-formatted.Source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
self
to use its UpperExp
implementation when
Debug
-formatted.Source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
self
to use its UpperHex
implementation when
Debug
-formatted.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 moreSource§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
Source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
Source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read moreSource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read moreSource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
Source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
Source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
self
, then passes self.as_ref()
into the pipe function.Source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
self
, then passes self.as_mut()
into the pipe
function.Source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
self
, then passes self.deref()
into the pipe function.Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> Tap for T
impl<T> Tap for T
Source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Borrow<B>
of a value. Read moreSource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
BorrowMut<B>
of a value. Read moreSource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
AsRef<R>
view of a value. Read moreSource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
AsMut<R>
view of a value. Read moreSource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Deref::Target
of a value. Read moreSource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Deref::Target
of a value. Read moreSource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
.tap()
only in debug builds, and is erased in release builds.Source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
.tap_mut()
only in debug builds, and is erased in release
builds.Source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
.tap_borrow()
only in debug builds, and is erased in release
builds.Source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
.tap_borrow_mut()
only in debug builds, and is erased in release
builds.Source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
.tap_ref()
only in debug builds, and is erased in release
builds.Source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
.tap_ref_mut()
only in debug builds, and is erased in release
builds.Source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
.tap_deref()
only in debug builds, and is erased in release
builds.