diff --git a/codex/slots/proofs/backends/asynccircoms.nim b/codex/slots/proofs/backends/asynccircoms.nim index c451395d..3c09e7c8 100644 --- a/codex/slots/proofs/backends/asynccircoms.nim +++ b/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) diff --git a/codex/slots/proofs/backends/circomcompat.nim b/codex/slots/proofs/backends/circomcompat.nim index 49b9a2b6..6cd925dd 100644 --- a/codex/slots/proofs/backends/circomcompat.nim +++ b/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 ##