1	import Base
2	import ./laws_recover.bend as Laws
3	import ./prec.bend as PR
4	import ./pecr.bend as PEC
5	
6	# Public key recovery and Ethereum's ECRECOVER precompile of
7	# src/crypto/secp256k1.bend (laws.bend Recover.correct, Ecrecover.correct):
8	# `bend proofs/crypto/secp256k1/proof_recover.bend`.
9	
10	def Laws.Recover.correct(one, h1, h, sig):
11	  PR.recover_v(one, h1, h, sig)
12	
13	def Laws.Ecrecover.correct(one, h1, input):
14	  PEC.ecrecover_v(one, h1, input)