Struct halo2curves::secp256k1::Secp256k1Affine

pub struct Secp256k1Affine {
    pub x: Fp,
    pub y: Fp,
}

Fields

x: Fp

y: Fp

Implementations

impl Secp256k1Affine

pub fn generator() -> Self

pub fn random(rng: impl RngCore) -> Self

Trait Implementations

impl<'a, 'b> Add<&'a Secp256k1> for &'b Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the + operator.

fn add(self, rhs: &'a Secp256k1) -> Secp256k1

Performs the + operation.

impl<'a, 'b> Add<&'a Secp256k1Affine> for &'b Secp256k1

type Output = Secp256k1

The resulting type after applying the + operator.

fn add(self, rhs: &'a Secp256k1Affine) -> Secp256k1

Performs the + operation.

impl<'a, 'b> Add<&'a Secp256k1Affine> for &'b Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the + operator.

fn add(self, rhs: &'a Secp256k1Affine) -> Secp256k1

Performs the + operation.

impl<'b> Add<&'b Secp256k1> for Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the + operator.

fn add(self, rhs: &'b Secp256k1) -> Secp256k1

Performs the + operation.

impl<'b> Add<&'b Secp256k1Affine> for Secp256k1

type Output = Secp256k1

The resulting type after applying the + operator.

fn add(self, rhs: &'b Secp256k1Affine) -> Secp256k1

Performs the + operation.

impl<'b> Add<&'b Secp256k1Affine> for Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the + operator.

fn add(self, rhs: &'b Secp256k1Affine) -> Secp256k1

Performs the + operation.

impl<'a> Add<Secp256k1> for &'a Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the + operator.

fn add(self, rhs: Secp256k1) -> Secp256k1

Performs the + operation.

impl Add<Secp256k1> for Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the + operator.

fn add(self, rhs: Secp256k1) -> Secp256k1

Performs the + operation.

impl<'a> Add<Secp256k1Affine> for &'a Secp256k1

type Output = Secp256k1

The resulting type after applying the + operator.

fn add(self, rhs: Secp256k1Affine) -> Secp256k1

Performs the + operation.

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

type Output = Secp256k1

The resulting type after applying the + operator.

fn add(self, rhs: Secp256k1Affine) -> Secp256k1

Performs the + operation.

impl Add<Secp256k1Affine> for Secp256k1

type Output = Secp256k1

The resulting type after applying the + operator.

fn add(self, rhs: Secp256k1Affine) -> Secp256k1

Performs the + operation.

impl Add<Secp256k1Affine> for Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the + operator.

fn add(self, rhs: Secp256k1Affine) -> Secp256k1

Performs the + operation.

impl<'b> AddAssign<&'b Secp256k1Affine> for Secp256k1

fn add_assign(&mut self, rhs: &'b Secp256k1Affine)

Performs the += operation.

impl AddAssign<Secp256k1Affine> for Secp256k1

fn add_assign(&mut self, rhs: Secp256k1Affine)

Performs the += operation.

impl Clone for Secp256k1Affine

fn clone(&self) -> Secp256k1Affine

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CofactorCurveAffine for Secp256k1Affine

type Curve = Secp256k1

type Scalar = Fq

fn identity() -> Self

Returns the additive identity.

fn generator() -> Self

Returns a fixed generator of unknown exponent.

fn is_identity(&self) -> Choice

Determines if this point represents the point at infinity; the additive identity.

fn to_curve(&self) -> Self::Curve

Converts this element to its curve representation.

impl ConditionallySelectable for Secp256k1Affine

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

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 Secp256k1Affine

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

Determine if two items are equal.

impl CurveAffine for Secp256k1Affine

type ScalarExt = Fq

The scalar field of this elliptic curve.

type Base = Fp

The base field over which this elliptic curve is constructed.

type CurveExt = Secp256k1

The projective form of the curve

fn is_on_curve(&self) -> Choice

Returns whether or not this element is on the curve; should always be true unless an “unchecked” API was used.

fn coordinates(&self) -> CtOption<Coordinates<Self>>

Gets the coordinates of this point.

fn from_xy(x: Self::Base, y: Self::Base) -> CtOption<Self>

Obtains a point given $(x, y)$, failing if it is not on the curve.

fn a() -> Self::Base

Returns the curve constant $a$.

fn b() -> Self::Base

Returns the curve constant $b$.

impl CurveAffineExt for Secp256k1Affine

fn batch_add<const COMPLETE: bool, const LOAD_POINTS: bool>(
    points: &mut [Self],
    output_indices: &[u32],
    num_points: usize,
    offset: usize,
    bases: &[Self],
    base_positions: &[u32]
)

fn into_coordinates(self) -> (Self::Base, Self::Base)

Unlike the Coordinates trait, this just returns the raw affine coordinates without checking is_on_curve

impl Debug for Secp256k1Affine

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

Formats the value using the given formatter.

impl Default for Secp256k1Affine

fn default() -> Secp256k1Affine

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Secp256k1Affine

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'a> From<&'a Secp256k1> for Secp256k1Affine

fn from(p: &'a Secp256k1) -> Secp256k1Affine

Converts to this type from the input type.

impl<'a> From<&'a Secp256k1Affine> for Secp256k1

fn from(p: &'a Secp256k1Affine) -> Secp256k1

Converts to this type from the input type.

impl From<Secp256k1> for Secp256k1Affine

fn from(p: Secp256k1) -> Secp256k1Affine

Converts to this type from the input type.

impl From<Secp256k1Affine> for Secp256k1

fn from(p: Secp256k1Affine) -> Secp256k1

Converts to this type from the input type.

impl GroupEncoding for Secp256k1Affine

type Repr = Secp256k1Compressed

The encoding of group elements.

fn from_bytes(bytes: &Self::Repr) -> CtOption<Self>

Attempts to deserialize a group element from its encoding.

fn from_bytes_unchecked(bytes: &Self::Repr) -> CtOption<Self>

Attempts to deserialize a group element, not checking if the element is valid.

fn to_bytes(&self) -> Self::Repr

Converts this element into its byte encoding. This may or may not support encoding the identity.

impl Hash for Secp256k1Affine

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where
    H: Hasher,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'a, 'b> Mul<&'b Fq> for &'a Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the * operator.

fn mul(self, other: &'b Fq) -> Self::Output

Performs the * operation.

impl<'b> Mul<&'b Fq> for Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the * operator.

fn mul(self, rhs: &'b Fq) -> Secp256k1

Performs the * operation.

impl<'a> Mul<Fq> for &'a Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the * operator.

fn mul(self, rhs: Fq) -> Secp256k1

Performs the * operation.

impl Mul<Fq> for Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the * operator.

fn mul(self, rhs: Fq) -> Secp256k1

Performs the * operation.

impl<'a> Neg for &'a Secp256k1Affine

type Output = Secp256k1Affine

The resulting type after applying the - operator.

fn neg(self) -> Secp256k1Affine

Performs the unary - operation.

impl Neg for Secp256k1Affine

type Output = Secp256k1Affine

The resulting type after applying the - operator.

fn neg(self) -> Secp256k1Affine

Performs the unary - operation.

impl PartialEq<Secp256k1Affine> for Secp256k1Affine

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl PrimeCurveAffine for Secp256k1Affine

type Curve = Secp256k1

type Scalar = Fq

fn generator() -> Self

Returns a fixed generator of unknown exponent.

fn identity() -> Self

Returns the additive identity.

fn is_identity(&self) -> Choice

Determines if this point represents the point at infinity; the additive identity.

fn to_curve(&self) -> Self::Curve

Converts this element to its curve representation.

impl SerdeObject for Secp256k1Affine

fn from_raw_bytes_unchecked(bytes: &[u8]) -> Self

The purpose of unchecked functions is to read the internal memory representation of a type from bytes as quickly as possible. No sanitization checks are performed to ensure the bytes represent a valid object. As such this function should only be used internally as an extension of machine memory. It should not be used to deserialize externally provided data.

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

fn to_raw_bytes(&self) -> Vec<u8>

fn read_raw_unchecked<R: Read>(reader: &mut R) -> Self

The purpose of unchecked functions is to read the internal memory representation of a type from disk as quickly as possible. No sanitization checks are performed to ensure the bytes represent a valid object. This function should only be used internally when some machine state cannot be kept in memory (e.g., between runs) and needs to be reloaded as quickly as possible.

fn read_raw<R: Read>(reader: &mut R) -> Result<Self>

fn write_raw<W: Write>(&self, writer: &mut W) -> Result<()>

impl Serialize for Secp256k1Affine

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

Serialize this value into the given Serde serializer.

impl<'a, 'b> Sub<&'a Secp256k1> for &'b Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the - operator.

fn sub(self, other: &'a Secp256k1) -> Secp256k1

Performs the - operation.

impl<'a, 'b> Sub<&'a Secp256k1Affine> for &'b Secp256k1

type Output = Secp256k1

The resulting type after applying the - operator.

fn sub(self, other: &'a Secp256k1Affine) -> Secp256k1

Performs the - operation.

impl<'a, 'b> Sub<&'a Secp256k1Affine> for &'b Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the - operator.

fn sub(self, other: &'a Secp256k1Affine) -> Secp256k1

Performs the - operation.

impl<'b> Sub<&'b Secp256k1> for Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the - operator.

fn sub(self, rhs: &'b Secp256k1) -> Secp256k1

Performs the - operation.

impl<'b> Sub<&'b Secp256k1Affine> for Secp256k1

type Output = Secp256k1

The resulting type after applying the - operator.

fn sub(self, rhs: &'b Secp256k1Affine) -> Secp256k1

Performs the - operation.

impl<'b> Sub<&'b Secp256k1Affine> for Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the - operator.

fn sub(self, rhs: &'b Secp256k1Affine) -> Secp256k1

Performs the - operation.

impl<'a> Sub<Secp256k1> for &'a Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the - operator.

fn sub(self, rhs: Secp256k1) -> Secp256k1

Performs the - operation.

impl Sub<Secp256k1> for Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the - operator.

fn sub(self, rhs: Secp256k1) -> Secp256k1

Performs the - operation.

impl<'a> Sub<Secp256k1Affine> for &'a Secp256k1

type Output = Secp256k1

The resulting type after applying the - operator.

fn sub(self, rhs: Secp256k1Affine) -> Secp256k1

Performs the - operation.

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

type Output = Secp256k1

The resulting type after applying the - operator.

fn sub(self, rhs: Secp256k1Affine) -> Secp256k1

Performs the - operation.

impl Sub<Secp256k1Affine> for Secp256k1

type Output = Secp256k1

The resulting type after applying the - operator.

fn sub(self, rhs: Secp256k1Affine) -> Secp256k1

Performs the - operation.

impl Sub<Secp256k1Affine> for Secp256k1Affine

type Output = Secp256k1

The resulting type after applying the - operator.

fn sub(self, rhs: Secp256k1Affine) -> Secp256k1

Performs the - operation.

impl<'b> SubAssign<&'b Secp256k1Affine> for Secp256k1

fn sub_assign(&mut self, rhs: &'b Secp256k1Affine)

Performs the -= operation.

impl SubAssign<Secp256k1Affine> for Secp256k1

fn sub_assign(&mut self, rhs: Secp256k1Affine)

Performs the -= operation.

impl Copy for Secp256k1Affine

impl Eq for Secp256k1Affine

impl StructuralPartialEq for Secp256k1Affine