modifying circomcompat for use with asyncthreading

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,