Struct ProjectivePoint

#[repr(C)]
pub struct ProjectivePoint { /* private fields */ }

Implementations

impl Secp256k1Point

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

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

Trait Implementations

impl Add<&Secp256k1Point> for &Secp256k1Point

type Output = Secp256k1Point

The resulting type after applying the + operator.

fn add(self, p2: &Secp256k1Point) -> Self::Output

Performs the + operation.

impl Add<&Secp256k1Point> for Secp256k1Point

type Output = Secp256k1Point

The resulting type after applying the + operator.

fn add(self, p2: &Secp256k1Point) -> Self::Output

Performs the + operation.

impl Add for Secp256k1Point

type Output = Secp256k1Point

The resulting type after applying the + operator.

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

Performs the + operation.

impl AddAssign<&Secp256k1Point> for Secp256k1Point

fn add_assign(&mut self, p2: &Secp256k1Point)

Performs the += operation.

impl AddAssign for Secp256k1Point

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl AffineCoordinates for Secp256k1Point

type FieldRepr = GenericArray<u8, <Secp256k1 as Curve>::FieldBytesSize>

Field element representation.

fn x(&self) -> FieldBytes<Secp256k1>

Get the affine x-coordinate as a serialized field element.

fn y_is_odd(&self) -> Choice

Is the affine y-coordinate odd?

impl Clone for Secp256k1Point

fn clone(&self) -> Secp256k1Point

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ConditionallySelectable for Secp256k1Point

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

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 Secp256k1Point

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

Determine if two items are equal.

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

Determine if two items are NOT equal.

impl Curve for Secp256k1Point

type AffineRepr = Secp256k1Point

The affine representation for this elliptic curve.

fn to_affine(&self) -> Secp256k1Point

Converts this element into its affine representation.

fn batch_normalize(p: &[Self], q: &mut [Self::AffineRepr])

Converts a batch of projective elements into affine elements. This function will panic if p.len() != q.len().

impl CyclicGroup for Secp256k1Point

const GENERATOR: Self

const NEG_GENERATOR: Self

impl Debug for Secp256k1Point

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

Formats the value using the given formatter.

impl DecompactPoint<Secp256k1> for Secp256k1Point

fn decompact(x_bytes: &FieldBytes<Secp256k1>) -> CtOption<Self>

Attempt to decompact an elliptic curve point

impl DecompressPoint<Secp256k1> for Secp256k1Point

fn decompress( x_bytes: &FieldBytes<Secp256k1>, y_is_odd: Choice, ) -> CtOption<Self>

Note that this is not constant time

impl Default for Secp256k1Point

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Secp256k1Point

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&Secp256k1Point> for EncodedPoint

fn from(affine_point: &Secp256k1Point) -> EncodedPoint

Converts to this type from the input type.

impl From<Secp256k1Point> for EncodedPoint

fn from(affine_point: Secp256k1Point) -> EncodedPoint

Converts to this type from the input type.

impl FromCompressed<Secp256k1Coord> for Secp256k1Point

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

Given x-coordinate,

impl FromEncodedPoint<Secp256k1> for Secp256k1Point

fn from_encoded_point(encoded_point: &EncodedPoint) -> CtOption<Self>

Attempts to parse the given EncodedPoint as an SEC1-encoded Secp256k1Point.

Returns

None value if encoded_point is not on the secp256k1 curve.

impl Group for Secp256k1Point

const IDENTITY: Self = <Self as WeierstrassPoint>::IDENTITY

type SelfRef<'a> = &'a Secp256k1Point

fn double(&self) -> Self

fn double_assign(&mut self)

fn is_identity(&self) -> bool

impl Group for Secp256k1Point

type Scalar = Secp256k1Scalar

Scalars modulo the order of this group’s scalar field.

fn random(_rng: impl RngCore) -> Self

Returns an element chosen uniformly at random from the non-identity elements of this group.

fn identity() -> Self

Returns the additive identity, also known as the “neutral element”.

fn generator() -> Self

Returns a fixed generator of the prime-order subgroup.

fn is_identity(&self) -> Choice

Determines if this point is the identity.

fn double(&self) -> Self

Doubles this element.

impl LinearCombination for Secp256k1Point

fn lincomb(x: &Self, k: &Self::Scalar, y: &Self, l: &Self::Scalar) -> Self

Calculates x * k + y * l.

impl Mul<&Secp256k1Scalar> for &Secp256k1Point

type Output = Secp256k1Point

The resulting type after applying the * operator.

fn mul(self, other: &Secp256k1Scalar) -> Secp256k1Point

Performs the * operation.

impl Mul<&Secp256k1Scalar> for Secp256k1Point

type Output = Secp256k1Point

The resulting type after applying the * operator.

fn mul(self, other: &Secp256k1Scalar) -> Secp256k1Point

Performs the * operation.

impl Mul<Secp256k1Scalar> for Secp256k1Point

type Output = Secp256k1Point

The resulting type after applying the * operator.

fn mul(self, other: Secp256k1Scalar) -> Secp256k1Point

Performs the * operation.

impl MulAssign<&Secp256k1Scalar> for Secp256k1Point

fn mul_assign(&mut self, rhs: &Secp256k1Scalar)

Performs the *= operation.

impl MulAssign<Secp256k1Scalar> for Secp256k1Point

fn mul_assign(&mut self, rhs: Secp256k1Scalar)

Performs the *= operation.

impl MulByGenerator for Secp256k1Point

fn mul_by_generator(scalar: &Self::Scalar) -> Self

Multiply by the generator of the prime-order subgroup.

impl Neg for &Secp256k1Point

type Output = Secp256k1Point

The resulting type after applying the - operator.

fn neg(self) -> Secp256k1Point

Performs the unary - operation.

impl Neg for Secp256k1Point

type Output = Secp256k1Point

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl PartialEq for Secp256k1Point

fn eq(&self, other: &Secp256k1Point) -> 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 Serialize for Secp256k1Point

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Sub<&Secp256k1Point> for &Secp256k1Point

type Output = Secp256k1Point

The resulting type after applying the - operator.

fn sub(self, p2: &Secp256k1Point) -> Self::Output

Performs the - operation.

impl Sub<&Secp256k1Point> for Secp256k1Point

type Output = Secp256k1Point

The resulting type after applying the - operator.

fn sub(self, rhs: &Secp256k1Point) -> Self::Output

Performs the - operation.

impl Sub for Secp256k1Point

type Output = Secp256k1Point

The resulting type after applying the - operator.

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

Performs the - operation.

impl SubAssign<&Secp256k1Point> for Secp256k1Point

fn sub_assign(&mut self, p2: &Secp256k1Point)

Performs the -= operation.

impl SubAssign for Secp256k1Point

fn sub_assign(&mut self, rhs: Self)

Performs the -= operation.

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

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

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

impl Sum for Secp256k1Point

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

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

impl ToEncodedPoint<Secp256k1> for Secp256k1Point

fn to_encoded_point(&self, compress: bool) -> EncodedPoint

Serialize this value as a SEC1 EncodedPoint, optionally applying point compression.

impl TryFrom<&EncodedPoint<<Secp256k1 as Curve>::FieldBytesSize>> for Secp256k1Point

type Error = Error

The type returned in the event of a conversion error.

fn try_from(point: &EncodedPoint) -> Result<Secp256k1Point>

Performs the conversion.

impl TryFrom<EncodedPoint<<Secp256k1 as Curve>::FieldBytesSize>> for Secp256k1Point

type Error = Error

The type returned in the event of a conversion error.

fn try_from(point: EncodedPoint) -> Result<Secp256k1Point>

Performs the conversion.

impl VerifyCustomHook<Secp256k1> for Secp256k1Point

fn verify_hook(&self, _z: &[u8], sig: &Signature) -> Result<()>

This is NOT the full ECDSA signature verification algorithm. The implementer should only add additional verification logic not contained in verify_prehashed. The default implementation does nothing.

impl VerifyPrimitive<Secp256k1> for Secp256k1Point

fn verify_prehashed( &self, z: &FieldBytes<Secp256k1>, sig: &Signature, ) -> Result<(), Error>

Verify the prehashed message against the provided ECDSA signature.

fn verify_digest<D>( &self, msg_digest: D, sig: &Signature<C>, ) -> Result<(), Error>

where D: FixedOutput<OutputSize = <C as Curve>::FieldBytesSize>,

Verify message digest against the provided signature.

impl WeierstrassPoint for Secp256k1Point

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

SAFETY: assumes that #intmod_type has a memory representation such that with repr(C), two coordinates are packed contiguously.

const CURVE_A: Secp256k1Coord = <Secp256k1Coord as openvm_algebra_guest::IntMod>::ZERO

The a coefficient in the Weierstrass curve equation y^2 = x^3 + a x + b.

const CURVE_B: Secp256k1Coord = CURVE_B

The b coefficient in the Weierstrass curve equation y^2 = x^3 + a x + b.

const IDENTITY: Self

type Coordinate = Secp256k1Coord

unsafe fn from_xy_unchecked(x: Self::Coordinate, y: Self::Coordinate) -> Self

Raw constructor without asserting point is on the curve.

fn x(&self) -> &Self::Coordinate

fn y(&self) -> &Self::Coordinate

fn x_mut(&mut self) -> &mut Self::Coordinate

fn y_mut(&mut self) -> &mut Self::Coordinate

fn into_coords(self) -> (Self::Coordinate, Self::Coordinate)

fn set_up_once()

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

fn add_assign_impl<const CHECK_SETUP: bool>(&mut self, p2: &Self)

Add implementation that handles identity and whether points are equal or not.

fn double_assign_impl<const CHECK_SETUP: bool>(&mut self)

Double implementation that handles identity.

unsafe fn add_ne_nonidentity<const CHECK_SETUP: bool>(&self, p2: &Self) -> Self

Safety

unsafe fn add_ne_assign_nonidentity<const CHECK_SETUP: bool>( &mut self, p2: &Self, )

Safety

unsafe fn sub_ne_nonidentity<const CHECK_SETUP: bool>(&self, p2: &Self) -> Self

Safety

unsafe fn sub_ne_assign_nonidentity<const CHECK_SETUP: bool>( &mut self, p2: &Self, )

Safety

unsafe fn double_nonidentity<const CHECK_SETUP: bool>(&self) -> Self

Safety

unsafe fn double_assign_nonidentity<const CHECK_SETUP: bool>(&mut self)

Safety

unsafe fn from_xy(x: Self::Coordinate, y: Self::Coordinate) -> Option<Self>

where &'a Self::Coordinate: for<'a> Mul<Output = Self::Coordinate>,

Constructs a point on the curve, including the identity point.

unsafe fn from_xy_nonidentity( x: Self::Coordinate, y: Self::Coordinate, ) -> Option<Self>

where &'a Self::Coordinate: for<'a> Mul<Output = Self::Coordinate>,

Constructs a point on the curve, excluding the identity point.

impl Copy for Secp256k1Point

impl DefaultIsZeroes for Secp256k1Point

impl Eq for Secp256k1Point

impl StructuralPartialEq for Secp256k1Point