diff --git a/codex/slots/proofs/backends/asynccircoms.nim b/codex/slots/proofs/backends/asynccircoms.nim
index 06f0e6fe..ba0271a7 100644
--- a/codex/slots/proofs/backends/asynccircoms.nim
+++ b/codex/slots/proofs/backends/asynccircoms.nim
@@ -24,10 +24,11 @@ type
     signal: ThreadSignalPtr
     params: CircomCompatParams
 
-  ProveTaskResult = object
-    AnyProofInputs, AnyProof
+  ProveTaskResult[ProofInputs, Proof] = object
+    input*: ProofInputs
+    proof*: Proof
 
-proc proveTask[H](args: ProveTaskArgs, data: ProofInputs[H]): EncodeTaskResult =
+proc proveTask[H](args: ProveTaskArgs, data: ProofInputs[H]): ProveTaskResult =
   discard
 
 proc prove*[H](