Function halo2_ecc::ecc::ec_sub_strict
source · [−]pub fn ec_sub_strict<F: PrimeField, FC: FieldChip<F>>(
chip: &FC,
ctx: &mut Context<F>,
P: impl Into<EcPoint<F, FC::FieldPoint>>,
Q: impl Into<EcPoint<F, FC::FieldPoint>>
) -> EcPoint<F, FC::FieldPoint>where
FC: Selectable<F, FC::FieldPoint>,Expand description
Constrains P != -Q but allows P == Q, in which case output is (0,0).
For Weierstrass curves only.
Assumptions