diff --git a/codex/slots/proofs/backends/asynccircoms.nim b/codex/slots/proofs/backends/asynccircoms.nim
index b04d4d8a..b3046e34 100644
--- a/codex/slots/proofs/backends/asynccircoms.nim
+++ b/codex/slots/proofs/backends/asynccircoms.nim
@@ -87,7 +87,7 @@ proc verify*[H](
   without queue =? newSignalQueue[?!bool](maxItems = 1), qerr:
     return failure(qerr)
 
-  var args = (ref VerifierArgs[H])(circom: self.circom, inputs: inputs)
+  var args = (ref VerifierArgs[H])(circom: self.circom, proof: proof, inputs: inputs)
   GC_ref(args)
 
   proc spawnTask() =
diff --git a/vendor/nim-circom-compat b/vendor/nim-circom-compat
index 5fbd14aa..cc2e742b 160000
--- a/vendor/nim-circom-compat
+++ b/vendor/nim-circom-compat
@@ -1 +1 @@
-Subproject commit 5fbd14aab035e570e22a27999ddf13b071245e69
+Subproject commit cc2e742b7ac7a0fdf273b6bebdb9b5b42e3dc722