Struct SepticCurve 

#[repr(C)]
pub struct SepticCurve<F> {
    pub x: SepticExtension<F>,
    pub y: SepticExtension<F>,
}

A septic elliptic curve point on y^2 = x^3 + 45x + 41z^3 over field F_{p^7} = F_p[z]/(z^7 - 3z - 5).

Fields

x: SepticExtension<F>

The x-coordinate of an elliptic curve point.

y: SepticExtension<F>

The y-coordinate of an elliptic curve point.

Implementations

impl<F: Field> SepticCurve<F>

pub fn dummy() -> Self

Returns the dummy point.

pub fn check_on_point(&self) -> bool

Check if a SepticCurve struct is on the elliptic curve.

pub fn neg(&self) -> Self

Negates a SepticCurve point.

pub fn add_incomplete(&self, other: SepticCurve<F>) -> Self

Adds two elliptic curve points, assuming that the addition doesn’t lead to the exception cases of weierstrass addition.

pub fn add_assign(&mut self, other: SepticCurve<F>)

Add assigns an elliptic curve point, assuming that the addition doesn’t lead to the exception cases of weierstrass addition.

pub fn double(&self) -> Self

Double the elliptic curve point.

pub fn sub_incomplete(&self, other: SepticCurve<F>) -> Self

Subtracts two elliptic curve points, assuming that the subtraction doesn’t lead to the exception cases of weierstrass addition.

pub fn sub_assign(&mut self, other: SepticCurve<F>)

Subtract assigns an elliptic curve point, assuming that the subtraction doesn’t lead to the exception cases of weierstrass addition.

impl<F: AbstractField> SepticCurve<F>

pub fn curve_formula(x: SepticExtension<F>) -> SepticExtension<F>

Evaluates the curve formula x^3 + 45x + 41z^3

impl<F: PrimeField32> SepticCurve<F>

pub fn lift_x(m: [F; 8]) -> (Self, u8, [F; 16], [F; 16])

Lift an x coordinate into an elliptic curve. As an x-coordinate may not be a valid one, we allow an additional value in [0, 256) to the hash input. Also, we always return the curve point with y-coordinate within [1, (p-1)/2], where p is the characteristic. The returned values are the curve point, the offset used, and the hash input and output.

TODO: this function should maybe take a Perm argument or express the dependency in some way.

impl<F: AbstractField> SepticCurve<F>

pub fn sum_checker_x( p1: SepticCurve<F>, p2: SepticCurve<F>, p3: SepticCurve<F>, ) -> SepticExtension<F>

Given three points p1, p2, p3, the function is zero if and only if p3.x == (p1 + p2).x assuming that no weierstrass edge cases occur.

pub fn sum_checker_y( p1: SepticCurve<F>, p2: SepticCurve<F>, p3: SepticCurve<F>, ) -> SepticExtension<F>

Given three points p1, p2, p3, the function is zero if and only if p3.y == (p1 + p2).y assuming that no weierstrass edge cases occur.

impl<T> SepticCurve<T>

pub fn convert<S: Copy, G: FnMut(S) -> T>(point: SepticCurve<S>, f: G) -> Self

Convert a SepticCurve<S> into SepticCurve<T>, with a map that implements FnMut(S) -> T.

Trait Implementations

impl<F: Clone> Clone for SepticCurve<F>

fn clone(&self) -> SepticCurve<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for SepticCurve<F>

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

Formats the value using the given formatter.

impl<F: DeepSizeOf> DeepSizeOf for SepticCurve<F>

fn deep_size_of_children(&self, context: &mut Context) -> usize

Returns an estimation of the heap-managed storage of this object. This does not include the size of the object itself.

fn deep_size_of(&self) -> usize

Returns an estimation of a total size of memory owned by the object, including heap-managed storage.

impl<F: Default> Default for SepticCurve<F>

fn default() -> SepticCurve<F>

Returns the “default value” for a type.

impl<'de, F> Deserialize<'de> for SepticCurve<F>

where F: Deserialize<'de>,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F: Hash> Hash for SepticCurve<F>

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<F: PartialEq> PartialEq for SepticCurve<F>

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

where F: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<F: Copy> Copy for SepticCurve<F>

impl<F: Eq> Eq for SepticCurve<F>

impl<F> StructuralPartialEq for SepticCurve<F>