Function oberon::inner_types::elliptic_curve::weierstrass::add

pub fn add<Fe>(
    _: (Fe, Fe, Fe),
    _: (Fe, Fe, Fe),
    curve_equation_b: Fe
) -> (Fe, Fe, Fe)where
    Fe: Field,

Expand description

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