Update BN254.hs

zkFold · Jan 13, 2025 · f562bd9 · f562bd9
1 parent ff07c6c
commit f562bd9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/symbolic-base/src/ZkFold/Base/Algebra/EllipticCurve/BN254.hs b/symbolic-base/src/ZkFold/Base/Algebra/EllipticCurve/BN254.hs
@@ -77,7 +77,7 @@ instance Field field => WeierstrassCurve "BN254_G1" field where
 
 instance CyclicGroup BN254_G1_Point where
   type ScalarFieldOf BN254_G1_Point = Fr
-  pointGen = pointXY one (fromConstant (2 :: Natural))
+  pointGen = pointXY 1 2
 
 instance Scale Fr BN254_G1_Point where
   scale n x = scale (toConstant n) x