From c09c27ad2c43b61d45b01db721f94b7dde146290 Mon Sep 17 00:00:00 2001
From: Jaremy Creechley <creechley@gmail.com>
Date: Fri, 17 May 2024 00:14:37 +0300
Subject: [PATCH] add asynccircom backend

---
 codex/slots/proofs/backends/asynccircoms.nim | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

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](