logos-storage/logos-storage-nim
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-nim.git synced 2026-01-02 13:33: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 GitHub
parent f7d06cd0e8
commit bfbd7264df
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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)