snarkVM icon indicating copy to clipboard operation
snarkVM copied to clipboard

[Feature] Add cofactor check to `Group::new`

Open howardwu opened this issue 3 years ago • 0 comments

🚀 Feature

struct Group {
    fn new(point: affine) -> Self {
        let output: Group = CS::alloc(point * COFACTOR_INV);
        Self::on_curve_check(output);

        // let output = output * Scalar::constant(COFACTOR);
        let output = output.double().double();

        output
    }
}

howardwu avatar May 14 '22 03:05 howardwu