Function elliptic_curve::weierstrass::add

source ·

pub fn add<Fe>(
    (ax, ay, az): ProjectivePoint<Fe>,
    (bx, by, bz): ProjectivePoint<Fe>,
    curve_equation_b: Fe
) -> ProjectivePoint<Fe>where
    Fe: Field,

Available on crate feature arithmetic only.

Expand description

Implements the complete addition formula from Renes-Costello-Batina 2015 (Algorithm 4).