diff --git a/codex/slots/proofs/backends/asynccircoms.nim b/codex/slots/proofs/backends/asynccircoms.nim
index f5f18e3f..06f0e6fe 100644
--- a/codex/slots/proofs/backends/asynccircoms.nim
+++ b/codex/slots/proofs/backends/asynccircoms.nim
@@ -24,6 +24,9 @@ type
     signal: ThreadSignalPtr
     params: CircomCompatParams
 
+  ProveTaskResult = object
+    AnyProofInputs, AnyProof
+
 proc proveTask[H](args: ProveTaskArgs, data: ProofInputs[H]): EncodeTaskResult =
   discard
 
diff --git a/codex/slots/proofs/prover.nim b/codex/slots/proofs/prover.nim
index 8f82f436..dfe93e2c 100644
--- a/codex/slots/proofs/prover.nim
+++ b/codex/slots/proofs/prover.nim
@@ -41,6 +41,7 @@ type
   AnyBuilder* = Poseidon2Builder
 
   AnyProofInputs* = ProofInputs[Poseidon2Hash]
+
   Prover* = ref object of RootObj
     backend: AnyBackend
     store: BlockStore