halo2_ecc::ecc

Function ec_double_and_add_unequal

Source 
pub fn ec_double_and_add_unequal<F: BigPrimeField, FC: FieldChip<F>>(
    chip: &FC,
    ctx: &mut Context<F>,
    P: impl Into<ComparableEcPoint<F, FC>>,
    Q: impl Into<ComparableEcPoint<F, FC>>,
    is_strict: bool,
) -> EcPoint<F, FC::FieldPoint>
Expand description

Implements: computing 2P + Q = P + Q + P for P = (x0, y0), Q = (x1, y1)

ยงAssumptions

  • Neither P nor Q is the point at infinity (undefined behavior otherwise)