refac(elliptic_curve): add static

Author: ashjeong

zkir/Dialect/EllipticCurve/Conversions/EllipticCurveToField/PointOperations/Jacobian/Add.cpp

@@ -14,8 +14,8 @@ namespace mlir::zkir::elliptic_curve {
 // http://www.hyperelliptic.org/EFD/g1p/auto-shortw-jacobian-0.html#addition-mmadd-2007-bl
 // Cost: 4M + 2S
 // Assumption: Z1 == Z2 == 1
-Value affineAndAffine(const Value &p1, const Value &p2, Type affineType,
-                      ImplicitLocOpBuilder &b) {
+static Value affineAndAffine(const Value &p1, const Value &p2, Type affineType,
+                             ImplicitLocOpBuilder &b) {
   Value zero = b.create<arith::ConstantIndexOp>(0);
   Value one = b.create<arith::ConstantIndexOp>(1);
 
@@ -78,8 +78,8 @@ Value affineAndAffine(const Value &p1, const Value &p2, Type affineType,
 // http://www.hyperelliptic.org/EFD/g1p/auto-shortw-jacobian-0.html#addition-madd-2007-bl
 // Cost: 7M + 4S
 // Assumption: Z2 == 1
-Value jacobianAndAffine(const Value &p1, const Value &p2, Type affineType,
-                        ImplicitLocOpBuilder &b) {
+static Value jacobianAndAffine(const Value &p1, const Value &p2,
+                               Type affineType, ImplicitLocOpBuilder &b) {
   Value zero = b.create<arith::ConstantIndexOp>(0);
   Value one = b.create<arith::ConstantIndexOp>(1);
   Value two = b.create<arith::ConstantIndexOp>(2);
@@ -154,8 +154,8 @@ Value jacobianAndAffine(const Value &p1, const Value &p2, Type affineType,
 // add-2007-bl
 // http://www.hyperelliptic.org/EFD/g1p/auto-shortw-jacobian-0.html#addition-add-2007-bl
 // Cost: 11M + 5S
-Value jacobianAndJacobian(const Value &p1, const Value &p2, Type jacobianType,
-                          ImplicitLocOpBuilder &b) {
+static Value jacobianAndJacobian(const Value &p1, const Value &p2,
+                                 Type jacobianType, ImplicitLocOpBuilder &b) {
   Value zero = b.create<arith::ConstantIndexOp>(0);
   Value one = b.create<arith::ConstantIndexOp>(1);
   Value two = b.create<arith::ConstantIndexOp>(2);

zkir/Dialect/EllipticCurve/Conversions/EllipticCurveToField/PointOperations/Jacobian/Double.cpp

@@ -14,8 +14,8 @@ namespace mlir::zkir::elliptic_curve {
 // https://www.hyperelliptic.org/EFD/g1p/auto-shortw-jacobian.html#doubling-mdbl-2007-bl
 // Cost: 1M + 5S
 // Assumption: Z == 1
-Value affineToJacobianDouble(const Value &point, const Value &a,
-                             ImplicitLocOpBuilder &b) {
+static Value affineToJacobianDouble(const Value &point, const Value &a,
+                                    ImplicitLocOpBuilder &b) {
   Value zero = b.create<arith::ConstantIndexOp>(0);
   Value one = b.create<arith::ConstantIndexOp>(1);
 
@@ -58,7 +58,7 @@ Value affineToJacobianDouble(const Value &point, const Value &a,
 // dbl-2009-l
 // https://www.hyperelliptic.org/EFD/g1p/auto-shortw-jacobian-0.html#doubling-dbl-2009-l
 // Cost: 2M + 5S
-Value jacobianA0Double(const Value &point, ImplicitLocOpBuilder &b) {
+static Value jacobianA0Double(const Value &point, ImplicitLocOpBuilder &b) {
   Value zero = b.create<arith::ConstantIndexOp>(0);
   Value one = b.create<arith::ConstantIndexOp>(1);
   Value two = b.create<arith::ConstantIndexOp>(2);
@@ -104,8 +104,8 @@ Value jacobianA0Double(const Value &point, ImplicitLocOpBuilder &b) {
 // dbl-2007-bl
 // https://www.hyperelliptic.org/EFD/g1p/auto-shortw-jacobian.html#doubling-dbl-2007-bl
 // Cost: 1M + 8S + 1*a
-Value jacobianDefaultDouble(const Value &point, const Value &a,
-                            ImplicitLocOpBuilder &b) {
+static Value jacobianDefaultDouble(const Value &point, const Value &a,
+                                   ImplicitLocOpBuilder &b) {
   Value zero = b.create<arith::ConstantIndexOp>(0);
   Value one = b.create<arith::ConstantIndexOp>(1);
   Value two = b.create<arith::ConstantIndexOp>(2);

zkir/Dialect/EllipticCurve/Conversions/EllipticCurveToField/PointOperations/XYZZ/Add.cpp

@@ -14,8 +14,8 @@ namespace mlir::zkir::elliptic_curve {
 // http://www.hyperelliptic.org/EFD/g1p/auto-shortw-xyzz.html#addition-madd-2008-s
 // Cost: 8M + 2S
 // Assumption: ZZ2 == ZZZ2 == 1
-Value xyzzAndAffine(const Value &p1, const Value &p2, Type affineType,
-                    ImplicitLocOpBuilder &b) {
+static Value xyzzAndAffine(const Value &p1, const Value &p2, Type affineType,
+                           ImplicitLocOpBuilder &b) {
   Value zero = b.create<arith::ConstantIndexOp>(0);
   Value one = b.create<arith::ConstantIndexOp>(1);
   Value two = b.create<arith::ConstantIndexOp>(2);
@@ -83,8 +83,8 @@ Value xyzzAndAffine(const Value &p1, const Value &p2, Type affineType,
 // add-2008-s
 // http://www.hyperelliptic.org/EFD/g1p/auto-shortw-xyzz.html#addition-add-2008-s
 // Cost: 12M + 2S
-Value xyzzAndXyzz(const Value &p1, const Value &p2, Type xyzzType,
-                  ImplicitLocOpBuilder &b) {
+static Value xyzzAndXyzz(const Value &p1, const Value &p2, Type xyzzType,
+                         ImplicitLocOpBuilder &b) {
   Value zero = b.create<arith::ConstantIndexOp>(0);
   Value one = b.create<arith::ConstantIndexOp>(1);
   Value two = b.create<arith::ConstantIndexOp>(2);