Struct P256Coord 

#[repr(C, align(32))]
pub struct P256Coord(/* private fields */);

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

impl P256Coord

pub const fn from_const_bytes(bytes: [u8; 32]) -> Self

Constructor from little-endian bytes. Does not enforce the integer value of bytes must be less than the modulus.

impl P256Coord

pub fn get_non_qr() -> &'static P256Coord

Trait Implementations

impl<'a> Add<&'a P256Coord> for &P256Coord

type Output = P256Coord

The resulting type after applying the + operator.

fn add(self, other: &'a P256Coord) -> Self::Output

Performs the + operation.

impl<'a> Add<&'a P256Coord> for P256Coord

type Output = P256Coord

The resulting type after applying the + operator.

fn add(self, other: &'a P256Coord) -> Self::Output

Performs the + operation.

impl Add for P256Coord

type Output = P256Coord

The resulting type after applying the + operator.

fn add(self, other: Self) -> Self::Output

Performs the + operation.

impl<'a> AddAssign<&'a P256Coord> for P256Coord

fn add_assign(&mut self, other: &'a P256Coord)

Performs the += operation.

impl AddAssign for P256Coord

fn add_assign(&mut self, other: Self)

Performs the += operation.

impl Clone for P256Coord

fn clone(&self) -> P256Coord

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl ConditionallySelectable for P256Coord

fn conditional_select(a: &P256Coord, b: &P256Coord, choice: Choice) -> P256Coord

Select a or b according to choice.

fn conditional_assign(&mut self, other: &Self, choice: Choice)

Conditionally assign other to self, according to choice.

fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)

Conditionally swap self and other if choice == 1; otherwise, reassign both unto themselves.

impl ConstantTimeEq for P256Coord

fn ct_eq(&self, other: &P256Coord) -> Choice

Determine if two items are equal.

fn ct_ne(&self, other: &Self) -> Choice

Determine if two items are NOT equal.

impl Debug for P256Coord

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for P256Coord

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for P256Coord

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'a> DivAssignUnsafe<&'a P256Coord> for P256Coord

fn div_assign_unsafe(&mut self, other: &'a P256Coord)

Undefined behaviour when denominator is not coprime to N

impl DivAssignUnsafe for P256Coord

fn div_assign_unsafe(&mut self, other: Self)

Undefined behaviour when denominator is not coprime to N

impl<'a> DivUnsafe<&'a P256Coord> for &P256Coord

fn div_unsafe(self, other: &'a P256Coord) -> Self::Output

Undefined behaviour when denominator is not coprime to N

type Output = P256Coord

Output type of div_unsafe.

impl<'a> DivUnsafe<&'a P256Coord> for P256Coord

fn div_unsafe(self, other: &'a P256Coord) -> Self::Output

Undefined behaviour when denominator is not coprime to N

type Output = P256Coord

Output type of div_unsafe.

impl DivUnsafe for P256Coord

fn div_unsafe(self, other: Self) -> Self::Output

Undefined behaviour when denominator is not coprime to N

type Output = P256Coord

Output type of div_unsafe.

impl Field for P256Coord

const ZERO: Self = <Self as ::openvm_algebra_guest::IntMod>::ZERO

The zero element of the field, the additive identity.

const ONE: Self = <Self as ::openvm_algebra_guest::IntMod>::ONE

The one element of the field, the multiplicative identity.

type SelfRef<'a> = &'a P256Coord

fn double_assign(&mut self)

Doubles self in-place.

fn square_assign(&mut self)

Square self in-place

fn invert(&self) -> Self

Unchecked inversion. See DivUnsafe.

impl FromCompressed<P256Coord> for P256Point

fn decompress(x: P256Coord, rec_id: &u8) -> Option<Self>

Given x-coordinate,

impl IntMod for P256Coord

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.

const MODULUS: Self::Repr

Modulus as a Repr.

const ZERO: Self

The zero element (i.e. the additive identity).

const NUM_LIMBS: usize = 32usize

Number of limbs used to internally represent an element of Self.

const ONE: Self

The one element (i.e. the multiplicative identity).

type Repr = [u8; 32]

Underlying representation of IntMod. Usually of the form [u8; NUM_LIMBS].

type SelfRef<'a> = &'a P256Coord

SelfRef<'a> should almost always be &'a Self. This is a way to include implementations of binary operations where both sides are &'a 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.

fn from_le_bytes(bytes: &[u8]) -> Option<Self>

Creates a new IntMod from an array of bytes, little endian. Returns None if the integer value of bytes is greater than or equal to the modulus.

fn from_be_bytes(bytes: &[u8]) -> Option<Self>

Creates a new IntMod from an array of bytes, big endian. Returns None if the integer value of bytes is greater than or equal to the modulus.

fn from_le_bytes_unchecked(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.

fn from_be_bytes_unchecked(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.

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.

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.

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.

fn as_le_bytes(&self) -> &[u8]

Value of this IntMod as an array of bytes, little endian.

fn to_be_bytes(&self) -> [u8; 32]

Value of this IntMod as an array of bytes, big endian.

fn modulus_biguint() -> BigUint

Modulus N as a BigUint.

fn from_biguint(biguint: BigUint) -> Self

Creates a new IntMod from a BigUint.

fn as_biguint(&self) -> BigUint

Value of this IntMod as a BigUint.

fn neg_assign(&mut self)

fn double_assign(&mut self)

Doubles self in-place.

fn square_assign(&mut self)

Squares self in-place.

fn double(&self) -> Self

Doubles this IntMod.

fn square(&self) -> Self

Squares this IntMod.

fn cube(&self) -> Self

Cubes this IntMod.

fn is_reduced(&self) -> bool

Is the integer representation of self less than the modulus?

fn set_up_once()

Calls any setup required for this modulus. The implementation should internally use OnceBool to ensure that setup is only called once.

unsafe fn eq_impl<const CHECK_SETUP: bool>(&self, other: &Self) -> bool

Returns whether the two integers are congrument modulo the modulus.

unsafe fn add_ref<const CHECK_SETUP: bool>(&self, other: &Self) -> Self

Add two elements.

impl<'a> Mul<&'a P256Coord> for &P256Coord

type Output = P256Coord

The resulting type after applying the * operator.

fn mul(self, other: &'a P256Coord) -> Self::Output

Performs the * operation.

impl<'a> Mul<&'a P256Coord> for P256Coord

type Output = P256Coord

The resulting type after applying the * operator.

fn mul(self, other: &'a P256Coord) -> Self::Output

Performs the * operation.

impl Mul for P256Coord

type Output = P256Coord

The resulting type after applying the * operator.

fn mul(self, other: Self) -> Self::Output

Performs the * operation.

impl<'a> MulAssign<&'a P256Coord> for P256Coord

fn mul_assign(&mut self, other: &'a P256Coord)

Performs the *= operation.

impl MulAssign for P256Coord

fn mul_assign(&mut self, other: Self)

Performs the *= operation.

impl<'a> Neg for &'a P256Coord

type Output = P256Coord

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Neg for P256Coord

type Output = P256Coord

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl PartialEq for P256Coord

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Product<&'a P256Coord> for P256Coord

fn product<I: Iterator<Item = &'a P256Coord>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by multiplying the items.

impl Product for P256Coord

fn product<I: Iterator<Item = Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by multiplying the items.

impl Reduce for P256Coord

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

impl Serialize for P256Coord

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Sqrt for P256Coord

fn sqrt(&self) -> Option<Self>

Returns a square root of self if it exists.

impl<'a> Sub<&'a P256Coord> for P256Coord

type Output = P256Coord

The resulting type after applying the - operator.

fn sub(self, other: &'a P256Coord) -> Self::Output

Performs the - operation.

impl<'a> Sub for &'a P256Coord

type Output = P256Coord

The resulting type after applying the - operator.

fn sub(self, other: &'a P256Coord) -> Self::Output

Performs the - operation.

impl Sub for P256Coord

type Output = P256Coord

The resulting type after applying the - operator.

fn sub(self, other: Self) -> Self::Output

Performs the - operation.

impl<'a> SubAssign<&'a P256Coord> for P256Coord

fn sub_assign(&mut self, other: &'a P256Coord)

Performs the -= operation.

impl SubAssign for P256Coord

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

impl<'a> Sum<&'a P256Coord> for P256Coord

fn sum<I: Iterator<Item = &'a P256Coord>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.

impl Sum for P256Coord

fn sum<I: Iterator<Item = Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.

impl Copy for P256Coord

impl Eq for P256Coord