From 96862372e5b36c025bae2679644ee2eb0386634a Mon Sep 17 00:00:00 2001
From: Jaremy Creechley <creechley@gmail.com>
Date: Fri, 17 May 2024 01:03:19 +0300
Subject: [PATCH] wire in prove

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

diff --git a/codex/slots/proofs/backends/asynccircoms.nim b/codex/slots/proofs/backends/asynccircoms.nim
index 5b927a7f..8f0bc429 100644
--- a/codex/slots/proofs/backends/asynccircoms.nim
+++ b/codex/slots/proofs/backends/asynccircoms.nim
@@ -11,11 +11,6 @@ import ../../../utils/asyncthreads
 
 import ./circomcompat
 
-const
-  CompletionTimeout = 1.seconds
-    # Maximum await time for completition after receiving a signal
-  CompletionRetryDelay = 10.millis
-
 type
   AsyncCircomCompat* = object
     params*: CircomCompatParams
@@ -35,6 +30,8 @@ proc proveTask[H](
   try:
     if circomBackend.isNone:
       circomBackend = some CircomCompat.init(args.params)
+    else:
+      assert circomBackend.get().params == args.params
 
     let res = circomBackend.get().prove(data)
     if res.isOk: