fix: pipeline and format

Modulo-P · May 15, 2024 · 5ebcdcd · 5ebcdcd
1 parent b3c9392
commit 5ebcdcd
Showing 1 changed file with 43 additions and 18 deletions.
diff --git a/lib/ak-381/groth16.ak b/lib/ak-381/groth16.ak
@@ -308,7 +308,7 @@ test groth_verify_pass_4() {
         #"b33e6b2bfc9f29ef766f6167bf6b3873e073eb79a55153b1ebba15187593273bf64ef7e155d1118535bab8d16676c27e",
         #"89ce67829659a866237178e52ecbfaeba754a9db3bcc097aa230cd0af9daae18346dc51685ca4ccf650094698a7115c9",
         #"8c6420bca64925df0c00b45eba87e142b04a12f86013e78c3a97c73922910b94e0647c8d60721d5749e5f5fe739dcb28",
-        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947"
+        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947",
       ],
     }
 
@@ -321,7 +321,11 @@ test groth_verify_pass_4() {
     }
   // Template of public values
   let public_values: List<Int> =
-    [391047073361247658225232481261784502922906942967577347518894619662429381081, 4, 3, 2, 1, 0, 4, 391047073361247658225232481261784502922906942967577347518894619662429381081 ]
+    [
+      391047073361247658225232481261784502922906942967577347518894619662429381081,
+      4, 3, 2, 1, 0, 4,
+      391047073361247658225232481261784502922906942967577347518894619662429381081,
+    ]
 
   groth_verify(vk, pk, public_values)
 }
@@ -349,7 +353,7 @@ test groth_verify_fail_4() fail {
         #"b33e6b2bfc9f29ef766f6167bf6b3873e073eb79a55153b1ebba15187593273bf64ef7e155d1118535bab8d16676c27e",
         #"89ce67829659a866237178e52ecbfaeba754a9db3bcc097aa230cd0af9daae18346dc51685ca4ccf650094698a7115c9",
         #"8c6420bca64925df0c00b45eba87e142b04a12f86013e78c3a97c73922910b94e0647c8d60721d5749e5f5fe739dcb28",
-        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947"
+        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947",
       ],
     }
 
@@ -362,7 +366,11 @@ test groth_verify_fail_4() fail {
     }
   // Template of public values
   let public_values: List<Int> =
-    [391047073361247658225232481261784502922906942967577347518894619662429381081, 3, 3, 2, 1, 0, 4, 391047073361247658225232481261784502922906942967577347518894619662429381081 ]
+    [
+      391047073361247658225232481261784502922906942967577347518894619662429381081,
+      3, 3, 2, 1, 0, 4,
+      391047073361247658225232481261784502922906942967577347518894619662429381081,
+    ]
 
   groth_verify(vk, pk, public_values)
 }
@@ -388,7 +396,7 @@ test groth_verify_pass_5() {
         #"b33e6b2bfc9f29ef766f6167bf6b3873e073eb79a55153b1ebba15187593273bf64ef7e155d1118535bab8d16676c27e",
         #"89ce67829659a866237178e52ecbfaeba754a9db3bcc097aa230cd0af9daae18346dc51685ca4ccf650094698a7115c9",
         #"8c6420bca64925df0c00b45eba87e142b04a12f86013e78c3a97c73922910b94e0647c8d60721d5749e5f5fe739dcb28",
-        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947"
+        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947",
       ],
     }
 
@@ -401,7 +409,11 @@ test groth_verify_pass_5() {
     }
   // Template of public values
   let public_values: List<Int> =
-    [391047073361247658225232481261784502922906942967577347518894619662429381081, 1, 1, 1, 4, 2, 0, 391047073361247658225232481261784502922906942967577347518894619662429381081 ]
+    [
+      391047073361247658225232481261784502922906942967577347518894619662429381081,
+      1, 1, 1, 4, 2, 0,
+      391047073361247658225232481261784502922906942967577347518894619662429381081,
+    ]
 
   groth_verify(vk, pk, public_values)
 }
@@ -429,7 +441,7 @@ test groth_verify_fail_5() fail {
         #"b33e6b2bfc9f29ef766f6167bf6b3873e073eb79a55153b1ebba15187593273bf64ef7e155d1118535bab8d16676c27e",
         #"89ce67829659a866237178e52ecbfaeba754a9db3bcc097aa230cd0af9daae18346dc51685ca4ccf650094698a7115c9",
         #"8c6420bca64925df0c00b45eba87e142b04a12f86013e78c3a97c73922910b94e0647c8d60721d5749e5f5fe739dcb28",
-        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947"
+        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947",
       ],
     }
 
@@ -442,7 +454,11 @@ test groth_verify_fail_5() fail {
     }
   // Template of public values
   let public_values: List<Int> =
-    [391047073361247658225232481261784502922906942967577347518894619662429381081, 1, 1, 1, 4, 2, 0, 391047073361247658225232481261784502922906942967577347518894619662429381081 ]
+    [
+      391047073361247658225232481261784502922906942967577347518894619662429381081,
+      1, 1, 1, 4, 2, 0,
+      391047073361247658225232481261784502922906942967577347518894619662429381081,
+    ]
 
   groth_verify(vk, pk, public_values)
 }
@@ -468,7 +484,7 @@ test groth_verify_pass_6() {
         #"b33e6b2bfc9f29ef766f6167bf6b3873e073eb79a55153b1ebba15187593273bf64ef7e155d1118535bab8d16676c27e",
         #"89ce67829659a866237178e52ecbfaeba754a9db3bcc097aa230cd0af9daae18346dc51685ca4ccf650094698a7115c9",
         #"8c6420bca64925df0c00b45eba87e142b04a12f86013e78c3a97c73922910b94e0647c8d60721d5749e5f5fe739dcb28",
-        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947"
+        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947",
       ],
     }
 
@@ -481,7 +497,11 @@ test groth_verify_pass_6() {
     }
   // Template of public values
   let public_values: List<Int> =
-    [391047073361247658225232481261784502922906942967577347518894619662429381081, 1, 1, 3, 4, 3, 0, 391047073361247658225232481261784502922906942967577347518894619662429381081 ]
+    [
+      391047073361247658225232481261784502922906942967577347518894619662429381081,
+      1, 1, 3, 4, 3, 0,
+      391047073361247658225232481261784502922906942967577347518894619662429381081,
+    ]
 
   groth_verify(vk, pk, public_values)
 }
@@ -509,7 +529,7 @@ test groth_verify_fail_6() fail {
         #"b33e6b2bfc9f29ef766f6167bf6b3873e073eb79a55153b1ebba15187593273bf64ef7e155d1118535bab8d16676c27e",
         #"89ce67829659a866237178e52ecbfaeba754a9db3bcc097aa230cd0af9daae18346dc51685ca4ccf650094698a7115c9",
         #"8c6420bca64925df0c00b45eba87e142b04a12f86013e78c3a97c73922910b94e0647c8d60721d5749e5f5fe739dcb28",
-        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947"
+        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947",
       ],
     }
 
@@ -522,7 +542,10 @@ test groth_verify_fail_6() fail {
     }
   // Template of public values
   let public_values: List<Int> =
-    [5433, 1, 2, 3, 4, 4, 0, 391047073361247658225232481261784502922906942967577347518894619662429381081 ]
+    [
+      5433, 1, 2, 3, 4, 4, 0,
+      391047073361247658225232481261784502922906942967577347518894619662429381081,
+    ]
 
   groth_verify(vk, pk, public_values)
 }
@@ -548,7 +571,7 @@ test groth_verify_pass_7() {
         #"b33e6b2bfc9f29ef766f6167bf6b3873e073eb79a55153b1ebba15187593273bf64ef7e155d1118535bab8d16676c27e",
         #"89ce67829659a866237178e52ecbfaeba754a9db3bcc097aa230cd0af9daae18346dc51685ca4ccf650094698a7115c9",
         #"8c6420bca64925df0c00b45eba87e142b04a12f86013e78c3a97c73922910b94e0647c8d60721d5749e5f5fe739dcb28",
-        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947"
+        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947",
       ],
     }
 
@@ -561,7 +584,11 @@ test groth_verify_pass_7() {
     }
   // Template of public values
   let public_values: List<Int> =
-    [391047073361247658225232481261784502922906942967577347518894619662429381081, 1, 1, 3, 4, 3, 0, 391047073361247658225232481261784502922906942967577347518894619662429381081 ]
+    [
+      391047073361247658225232481261784502922906942967577347518894619662429381081,
+      1, 1, 3, 4, 3, 0,
+      391047073361247658225232481261784502922906942967577347518894619662429381081,
+    ]
 
   groth_verify(vk, pk, public_values)
 }
@@ -589,7 +616,7 @@ test groth_verify_fail_7() fail {
         #"b33e6b2bfc9f29ef766f6167bf6b3873e073eb79a55153b1ebba15187593273bf64ef7e155d1118535bab8d16676c27e",
         #"89ce67829659a866237178e52ecbfaeba754a9db3bcc097aa230cd0af9daae18346dc51685ca4ccf650094698a7115c9",
         #"8c6420bca64925df0c00b45eba87e142b04a12f86013e78c3a97c73922910b94e0647c8d60721d5749e5f5fe739dcb28",
-        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947"
+        #"9142ab2d492fbd93323976cc16057301f4f078b273898fbf98e2c0c6aded69f54b0beae793855599d106400de6c85947",
       ],
     }
 
@@ -602,9 +629,7 @@ test groth_verify_fail_7() fail {
     }
   // Template of public values
   let public_values: List<Int> =
-    [235, 1, 4, 3, 2, 3, 2, 56789976643453433521111 ]
+    [235, 1, 4, 3, 2, 3, 2, 56789976643453433521111]
 
   groth_verify(vk, pk, public_values)
 }
-
-