halo2_ecc::ecc

Function ec_double

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

ยงAssumptions

  • P.y != 0
  • P is not the point at infinity (undefined behavior otherwise)