#[repr(C, align(32))]pub struct Bn254Fp(/* 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§
Trait Implementations§
Source§impl<'a> AddAssign<&'a Bn254Fp> for Bn254Fp
impl<'a> AddAssign<&'a Bn254Fp> for Bn254Fp
Source§fn add_assign(&mut self, other: &'a Bn254Fp)
fn add_assign(&mut self, other: &'a Bn254Fp)
Performs the
+=
operation. Read moreSource§impl AddAssign for Bn254Fp
impl AddAssign for Bn254Fp
Source§fn add_assign(&mut self, other: Self)
fn add_assign(&mut self, other: Self)
Performs the
+=
operation. Read moreSource§impl<'de> Deserialize<'de> for Bn254Fp
impl<'de> Deserialize<'de> for Bn254Fp
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>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl<'a> DivAssignUnsafe<&'a Bn254Fp> for Bn254Fp
impl<'a> DivAssignUnsafe<&'a Bn254Fp> for Bn254Fp
Source§fn div_assign_unsafe(&mut self, other: &'a Bn254Fp)
fn div_assign_unsafe(&mut self, other: &'a Bn254Fp)
Undefined behaviour when denominator is not coprime to N
Source§impl DivAssignUnsafe for Bn254Fp
impl DivAssignUnsafe for Bn254Fp
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 Evaluatable<Bn254Fp, Bn254Fp2> for UnevaluatedLine<Fp2>
impl Evaluatable<Bn254Fp, Bn254Fp2> for UnevaluatedLine<Fp2>
Source§impl FieldExtension<Bn254Fp> for Fp2
impl FieldExtension<Bn254Fp> for Fp2
Source§type Coeffs = [Bn254Fp; 2]
type Coeffs = [Bn254Fp; 2]
This should be [BaseField; D]. It is an associated type due to rust const generic limitations.
Source§fn from_coeffs([c0, c1]: Self::Coeffs) -> Self
fn from_coeffs([c0, c1]: Self::Coeffs) -> Self
Create an extension field element from its base field coefficients.
Source§fn from_bytes(bytes: &[u8]) -> Self
fn from_bytes(bytes: &[u8]) -> Self
Create an extension field element from little-endian bytes.
Source§fn to_coeffs(self) -> Self::Coeffs
fn to_coeffs(self) -> Self::Coeffs
Convert an extension field element to its base field coefficients.
Source§fn frobenius_map(&self, power: usize) -> Self
fn frobenius_map(&self, power: usize) -> Self
Frobenius map: take
self
to the p^power
th power, where p
is the prime characteristic of the field.Source§impl FromCompressed<Bn254Fp> for Bn254G1Affine
impl FromCompressed<Bn254Fp> for Bn254G1Affine
Source§fn hint_decompress(
x: &Bn254Fp,
rec_id: &u8,
) -> Option<DecompressionHint<Bn254Fp>>
fn hint_decompress( x: &Bn254Fp, rec_id: &u8, ) -> Option<DecompressionHint<Bn254Fp>>
If it exists, hints the unique
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 Bn254Fp
impl IntMod for Bn254Fp
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 = 32usize
const NUM_LIMBS: usize = 32usize
Number of limbs used to internally represent an element of
Self
.Source§type Repr = [u8; 32]
type Repr = [u8; 32]
Underlying representation of IntMod. Usually of the form
[u8; NUM_LIMBS]
.Source§type SelfRef<'a> = &'a Bn254Fp
type SelfRef<'a> = &'a Bn254Fp
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
Creates a new IntMod from an instance of Repr.
Does not enforce the integer value of
bytes
must be less than the modulus.Source§fn from_le_bytes(bytes: &[u8]) -> Self
fn from_le_bytes(bytes: &[u8]) -> Self
Creates a new IntMod from an array of bytes, little endian.
Does not enforce the integer value of
bytes
must be less than the modulus.Source§fn from_be_bytes(bytes: &[u8]) -> Self
fn from_be_bytes(bytes: &[u8]) -> Self
Creates a new IntMod from an array of bytes, big endian.
Does not enforce the integer value of
bytes
must be less than the modulus.Source§fn from_u8(val: u8) -> Self
fn from_u8(val: u8) -> Self
Creates a new IntMod from a u8.
Does not enforce the integer value of
bytes
must be less than the modulus.Source§fn from_u32(val: u32) -> Self
fn from_u32(val: u32) -> Self
Creates a new IntMod from a u32.
Does not enforce the integer value of
bytes
must be less than the modulus.Source§fn from_u64(val: u64) -> Self
fn from_u64(val: u64) -> Self
Creates a new IntMod from a u64.
Does not enforce the integer value of
bytes
must be less than the modulus.Source§fn as_le_bytes(&self) -> &[u8] ⓘ
fn as_le_bytes(&self) -> &[u8] ⓘ
Value of this IntMod as an array of bytes, little endian.
Source§fn to_be_bytes(&self) -> [u8; 32]
fn to_be_bytes(&self) -> [u8; 32]
Value of this IntMod as an array of bytes, big endian.
Source§fn modulus_biguint() -> BigUint
fn modulus_biguint() -> BigUint
Modulus N as a BigUint.
Source§fn from_biguint(biguint: BigUint) -> Self
fn from_biguint(biguint: BigUint) -> Self
Creates a new IntMod from a BigUint.
Source§fn as_biguint(&self) -> BigUint
fn as_biguint(&self) -> BigUint
Value of this IntMod as a BigUint.
fn neg_assign(&mut self)
Source§fn double_assign(&mut self)
fn double_assign(&mut self)
Doubles
self
in-place.Source§fn square_assign(&mut self)
fn square_assign(&mut self)
Squares
self
in-place.Source§fn is_reduced(&self) -> bool
fn is_reduced(&self) -> bool
Is the integer representation of
self
less than the modulus?Source§impl<'a> MulAssign<&'a Bn254Fp> for Bn254Fp
impl<'a> MulAssign<&'a Bn254Fp> for Bn254Fp
Source§fn mul_assign(&mut self, other: &'a Bn254Fp)
fn mul_assign(&mut self, other: &'a Bn254Fp)
Performs the
*=
operation. Read moreSource§impl MulAssign for Bn254Fp
impl MulAssign for Bn254Fp
Source§fn mul_assign(&mut self, other: Self)
fn mul_assign(&mut self, other: Self)
Performs the
*=
operation. Read moreSource§impl Reduce for Bn254Fp
impl Reduce for Bn254Fp
Source§fn reduce_le_bytes(bytes: &[u8]) -> Self
fn reduce_le_bytes(bytes: &[u8]) -> Self
Interpret the given bytes as an integer and perform a modular reduction.
fn reduce_be_bytes(bytes: &[u8]) -> Self
Source§impl<'a> SubAssign<&'a Bn254Fp> for Bn254Fp
impl<'a> SubAssign<&'a Bn254Fp> for Bn254Fp
Source§fn sub_assign(&mut self, other: &'a Bn254Fp)
fn sub_assign(&mut self, other: &'a Bn254Fp)
Performs the
-=
operation. Read moreSource§impl SubAssign for Bn254Fp
impl SubAssign for Bn254Fp
Source§fn sub_assign(&mut self, other: Self)
fn sub_assign(&mut self, other: Self)
Performs the
-=
operation. Read moreimpl Eq for Bn254Fp
Auto Trait Implementations§
impl Freeze for Bn254Fp
impl RefUnwindSafe for Bn254Fp
impl Send for Bn254Fp
impl Sync for Bn254Fp
impl Unpin for Bn254Fp
impl UnwindSafe for Bn254Fp
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
Mutably borrows from an owned value. Read more
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,
Causes
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,
Causes
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,
Causes
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,
Causes
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,
Causes
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,
Causes
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,
Causes
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,
Causes
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>
Converts
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>
Converts
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,
Pipes by value. This is generally the method you want to use. Read more
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,
Borrows
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,
Mutably borrows
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
Borrows
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
Mutably borrows
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
Borrows
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
Immutable access to the
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
Mutable access to the
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
Immutable access to the
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
Mutable access to the
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
Immutable access to the
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
Mutable access to the
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
Calls
.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
Calls
.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
Calls
.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
Calls
.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
Calls
.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
Calls
.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
Calls
.tap_deref()
only in debug builds, and is erased in release
builds.