Struct halo2curves::secp256k1::Secp256k1

pub struct Secp256k1 {
    pub x: Fp,
    pub y: Fp,
    pub z: Fp,
}

Fields

x: Fp

y: Fp

z: Fp

Implementations

impl Secp256k1

pub fn generator() -> Self

Trait Implementations

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

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 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<'b> Add<&'b Secp256k1> for Secp256k1

type Output = Secp256k1

The resulting type after applying the + operator.

fn add(self, rhs: &'b Secp256k1) -> 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<'a> Add<Secp256k1> for &'a Secp256k1

type Output = Secp256k1

The resulting type after applying the + operator.

fn add(self, rhs: Secp256k1) -> 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 Secp256k1

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 Add<Secp256k1Affine> for Secp256k1

type Output = Secp256k1

The resulting type after applying the + operator.

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

Performs the + operation.

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

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

Performs the += operation.

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

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

Performs the += operation.

impl AddAssign<Secp256k1> for Secp256k1

fn add_assign(&mut self, rhs: Secp256k1)

Performs the += operation.

impl AddAssign<Secp256k1Affine> for Secp256k1

fn add_assign(&mut self, rhs: Secp256k1Affine)

Performs the += operation.

impl Clone for Secp256k1

fn clone(&self) -> Secp256k1

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CofactorCurve for Secp256k1

type Affine = Secp256k1Affine

impl CofactorGroup for Secp256k1

type Subgroup = Secp256k1

The large prime-order subgroup in which cryptographic operations are performed. If Self implements PrimeGroup, then Self::Subgroup may be Self.

fn clear_cofactor(&self) -> Self

Maps self to the prime-order subgroup by multiplying this element by some k-multiple of the cofactor.

fn into_subgroup(self) -> CtOption<Self::Subgroup>

Returns self if it is contained in the prime-order subgroup.

fn is_torsion_free(&self) -> Choice

Determines if this element is “torsion free”, i.e., is contained in the prime-order subgroup.

fn is_small_order(&self) -> Choice

Determines if this element is of small order.

impl ConditionallySelectable for Secp256k1

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 Secp256k1

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

Determine if two items are equal.

impl Curve for Secp256k1

type AffineRepr = Secp256k1Affine

The affine representation for this elliptic curve.

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().

fn to_affine(&self) -> Self::AffineRepr

Converts this element into its affine representation.

impl CurveExt for Secp256k1

type ScalarExt = Fq

The scalar field of this elliptic curve.

type Base = Fp

The base field over which this elliptic curve is constructed.

type AffineExt = Secp256k1Affine

The affine version of the curve

const CURVE_ID: &'static str = "secp256k1"

CURVE_ID used for hash-to-curve.

fn endo(&self) -> Self

Apply the curve endomorphism by multiplying the x-coordinate by an element of multiplicative order 3.

fn jacobian_coordinates(&self) -> (Fp, Fp, Fp)

Return the Jacobian coordinates of this point.

fn hash_to_curve<'a>(_: &'a str) -> Box<dyn Fn(&[u8]) -> Self + 'a>

Requests a hasher that accepts messages and returns near-uniformly distributed elements in the group, given domain prefix domain_prefix.

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 b() -> Self::Base

Returns the curve constant b.

fn a() -> Self::Base

Returns the curve constant a.

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

Obtains a point given Jacobian coordinates $X : Y : Z$, failing if the coordinates are not on the curve.

impl Debug for Secp256k1

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

Formats the value using the given formatter.

impl Default for Secp256k1

fn default() -> Secp256k1

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Secp256k1

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 Group for Secp256k1

type Scalar = Fq

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 double(&self) -> Self

Doubles this element.

fn generator() -> Self

Returns a fixed generator of the prime-order subgroup.

fn identity() -> Self

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

fn is_identity(&self) -> Choice

Determines if this point is the identity.

impl Group for Secp256k1

type Scalar = Fq

The group is assumed to be of prime order $p$. Scalar is the associated scalar field of size $p$.

fn group_zero() -> Self

Returns the additive identity of the group.

fn group_add(&mut self, rhs: &Self)

Adds rhs to this group element.

fn group_sub(&mut self, rhs: &Self)

Subtracts rhs from this group element.

fn group_scale(&mut self, by: &Self::Scalar)

Scales this group element by a scalar.

impl GroupEncoding for Secp256k1

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<'a, 'b> Mul<&'b Fq> for &'a Secp256k1

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 Secp256k1

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 Secp256k1

type Output = Secp256k1

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Fq> for Secp256k1

type Output = Secp256k1

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'b> MulAssign<&'b Fq> for Secp256k1

fn mul_assign(&mut self, rhs: &'b Fq)

Performs the *= operation.

impl MulAssign<Fq> for Secp256k1

fn mul_assign(&mut self, rhs: Fq)

Performs the *= operation.

impl<'a> Neg for &'a Secp256k1

type Output = Secp256k1

The resulting type after applying the - operator.

fn neg(self) -> Secp256k1

Performs the unary - operation.

impl Neg for Secp256k1

type Output = Secp256k1

The resulting type after applying the - operator.

fn neg(self) -> Secp256k1

Performs the unary - operation.

impl PartialEq<Secp256k1> for Secp256k1

fn eq(&self, other: &Self) -> 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 PrimeCurve for Secp256k1

type Affine = Secp256k1Affine

impl SerdeObject for Secp256k1

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 Secp256k1

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 Secp256k1

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 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<'b> Sub<&'b Secp256k1> for Secp256k1

type Output = Secp256k1

The resulting type after applying the - operator.

fn sub(self, rhs: &'b Secp256k1) -> 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<'a> Sub<Secp256k1> for &'a Secp256k1

type Output = Secp256k1

The resulting type after applying the - operator.

fn sub(self, rhs: Secp256k1) -> 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 Secp256k1

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 Sub<Secp256k1Affine> for Secp256k1

type Output = Secp256k1

The resulting type after applying the - operator.

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

Performs the - operation.

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

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

Performs the -= operation.

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

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

Performs the -= operation.

impl SubAssign<Secp256k1> for Secp256k1

fn sub_assign(&mut self, rhs: Secp256k1)

Performs the -= operation.

impl SubAssign<Secp256k1Affine> for Secp256k1

fn sub_assign(&mut self, rhs: Secp256k1Affine)

Performs the -= operation.

impl<T> Sum<T> for Secp256k1where
    T: Borrow<Secp256k1>,

fn sum<I>(iter: I) -> Selfwhere
    I: Iterator<Item = T>,

Method which takes an iterator and generates Self from the elements by “summing up” the items.

impl Copy for Secp256k1

impl Eq for Secp256k1

impl PrimeGroup for Secp256k1