proofs/crypto/secp256k1/proof_verify.bend

bend-collections-laws-crypto@1.0.0.0 · 12 lines · 0 definitions

1import Base
2import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/laws_verify.bend as Laws
3import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/pver.bend as PV
4
5# ECDSA verification of src/crypto/secp256k1.bend (laws.bend Verify.correct,
6# VerifyStrict.correct): `bend proofs/crypto/secp256k1/proof_verify.bend`.
7
8def Laws.Verify.correct(one, h1, pk, h, sig):
9  PV.verify_v(one, h1, pk, h, sig, False{})
10
11def Laws.VerifyStrict.correct(one, h1, pk, h, sig):
12  PV.verify_v(one, h1, pk, h, sig, True{})