1	import Base
2	import ./laws_verify.bend as Laws
3	import ./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	
8	def Laws.Verify.correct(one, h1, pk, h, sig):
9	  PV.verify_v(one, h1, pk, h, sig, False{})
10	
11	def Laws.VerifyStrict.correct(one, h1, pk, h, sig):
12	  PV.verify_v(one, h1, pk, h, sig, True{})