From bfbd7264df90ff20c9f549631a1001742c66c4a1 Mon Sep 17 00:00:00 2001
From: Ben Bierens <39762930+benbierens@users.noreply.github.com>
Date: Mon, 26 May 2025 17:48:59 +0200
Subject: [PATCH] Adds missing async-raises for prover.verify (#1237)

---
 codex/slots/proofs/prover.nim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/codex/slots/proofs/prover.nim b/codex/slots/proofs/prover.nim
index b3707282..1afcd068 100644
--- a/codex/slots/proofs/prover.nim
+++ b/codex/slots/proofs/prover.nim
@@ -82,7 +82,7 @@ proc prove*(
 
 proc verify*(
     self: Prover, proof: AnyProof, inputs: AnyProofInputs
-): Future[?!bool] {.async.} =
+): Future[?!bool] {.async: (raises: [CancelledError]).} =
   ## Prove a statement using backend.
   ## Returns a future that resolves to a proof.
   self.backend.verify(proof, inputs)