Fix error

Modulo-P · Jan 29, 2024 · 5873298 · 5873298
1 parent 64e4f4b
commit 5873298
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/lib/ak-381/groth16.ak b/lib/ak-381/groth16.ak
@@ -20,6 +20,10 @@ pub fn pairing(alfa: G1, beta: G2) -> Bool {
   todo
 }
 
-pub fn groth_verify(vk: VerificationKey, proof: Proof) -> Bool {
+pub fn groth_verify(
+  vk: VerificationKey,
+  proof: Proof,
+  public: List<Int>,
+) -> Bool {
   todo
 }