add asynccircom backend

codex/slots/proofs/backends/asynccircoms.nim

@@ -12,8 +12,8 @@ import ../../types
 import ./circomcompat
 
 const
-  CompletitionTimeout = 1.seconds # Maximum await time for completition after receiving a signal
-  CompletitionRetryDelay = 10.millis
+  CompletionTimeout = 1.seconds # Maximum await time for completition after receiving a signal
+  CompletionRetryDelay = 10.millis
 
 type
   AsyncCircomCompat* = object
@@ -40,3 +40,11 @@ proc verify*[H](
   ## Verify a proof using a ctx
   ##
   discard
+
+proc init*(
+  _: type AsyncCircomCompat,
+  params: CircomCompatParams
+): AsyncCircomCompat =
+  ## Create a new async circom
+  ##
+  AsyncCircomCompat(params)

codex/slots/proofs/backends/circomcompat.nim

@@ -54,7 +54,8 @@ proc release*(self: CircomCompat) =
 
 proc prove*[H](
   self: CircomCompat,
-  input: ProofInputs[H]): ?!CircomProof =
+  input: ProofInputs[H]
+): ?!CircomProof =
   ## Encode buffers using a ctx
   ##
 
@@ -168,7 +169,8 @@ proc prove*[H](
 proc verify*[H](
   self: CircomCompat,
   proof: CircomProof,
-  inputs: ProofInputs[H]): ?!bool =
+  inputs: ProofInputs[H]
+): ?!bool =
   ## Verify a proof using a ctx
   ##