make more egonomic

This commit is contained in:
Dmitriy Ryajov 2024-01-27 16:37:54 -06:00
parent 9f1ec4b02f
commit f20218d92a
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4

View File

@ -19,6 +19,8 @@ import ../../../stores
import ../../types
import ../../../merkletree
import pkg/constantine/math/arithmetic
export circomcompat
type
@ -135,7 +137,7 @@ proc prove*(
cfg: self.backendCfg,
backend: backend)
proc verify*(proof: CircomProof): ?!bool =
proc verify*(self: CircomCompat, proof: CircomProof): ?!bool =
## Verify a proof using a backend
##