From eb7588763196cad917cc4de4e88d0754ba307d55 Mon Sep 17 00:00:00 2001
From: Jaremy Creechley <creechley@gmail.com>
Date: Thu, 16 May 2024 21:27:28 +0300
Subject: [PATCH] modifying circomcompat for use with asyncthreading

---
 codex/slots/proofs/prover.nim | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/codex/slots/proofs/prover.nim b/codex/slots/proofs/prover.nim
index 9077c478..72ec0161 100644
--- a/codex/slots/proofs/prover.nim
+++ b/codex/slots/proofs/prover.nim
@@ -50,7 +50,8 @@ proc prove*(
   self: Prover,
   slotIdx: int,
   manifest: Manifest,
-  challenge: ProofChallenge): Future[?!(AnyProofInputs, AnyProof)] {.async.} =
+  challenge: ProofChallenge
+): Future[?!(AnyProofInputs, AnyProof)] {.async.} =
   ## Prove a statement using backend.
   ## Returns a future that resolves to a proof.
 
@@ -83,7 +84,8 @@ proc prove*(
 proc verify*(
   self: Prover,
   proof: AnyProof,
-  inputs: AnyProofInputs): Future[?!bool] {.async.} =
+  inputs: AnyProofInputs
+): Future[?!bool] {.async.} =
   ## Prove a statement using backend.
   ## Returns a future that resolves to a proof.
 
@@ -93,7 +95,8 @@ proc new*(
   _: type Prover,
   store: BlockStore,
   backend: AnyBackend,
-  nSamples: int): Prover =
+  nSamples: int
+): Prover =
 
   Prover(
     backend: backend,