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

add