pub fn add_mixed<Fe>(
    (ax, ay, az): ProjectivePoint<Fe>,
    (bx, by): AffinePoint<Fe>,
    curve_equation_b: Fe
) -> ProjectivePoint<Fe>where
    Fe: Field,
Expand description

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