From 6875667f1da9415481e3af4a487cc16d877c95ce Mon Sep 17 00:00:00 2001 From: Jack Grigg Date: Wed, 12 Aug 2020 08:02:29 +0100 Subject: [PATCH] group: CofactorGroup::mul_by_cofactor -> CofactorGroup::clear_cofactor The generic API now only guarantees that the torsion component is cleared deterministically; group elements may be multiplied by multiples of the cofactor (not necessarily the actual cofactor), as long as the choice of multiplier is fixed for a given implementation. --- src/groth16/tests/dummy_engine.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/groth16/tests/dummy_engine.rs b/src/groth16/tests/dummy_engine.rs index 8f11fe1..c4a7ca9 100644 --- a/src/groth16/tests/dummy_engine.rs +++ b/src/groth16/tests/dummy_engine.rs @@ -399,7 +399,7 @@ impl PrimeGroup for Fr {} impl CofactorGroup for Fr { type Subgroup = Fr; - fn mul_by_cofactor(&self) -> Self::Subgroup { + fn clear_cofactor(&self) -> Self::Subgroup { *self }