logos-storage/logos-storage-nim
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-nim.git synced 2026-01-29 18:53:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

Adds missing async-raises for prover.verify (#1237)

Browse Source
This commit is contained in:
Ben Bierens 2025-05-26 17:48:59 +02:00 committed by Arnaud
parent b1612d0cb5
commit d7591b73d7
No known key found for this signature in database
GPG Key ID: B8FBC178F10CA7AE
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
codex/slots/proofs/prover.nim
View File

@ -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)