1	import Base
2	import ./laws_schnorr.bend as Laws
3	import ./pschn.bend as PSC
4	
5	# BIP-340 Schnorr signatures of src/crypto/secp256k1.bend (laws.bend
6	# SchnorrPubkey.correct, SchnorrSign.correct, SchnorrVerify.correct):
7	# `bend proofs/crypto/secp256k1/proof_schnorr.bend`.
8	
9	def Laws.SchnorrPubkey.correct(one, h1, sk):
10	  PSC.pubkey_v(one, h1, sk)
11	
12	def Laws.SchnorrSign.correct(one, h1, sk, msg, aux):
13	  PSC.sign_v(one, h1, sk, msg, aux)
14	
15	def Laws.SchnorrVerify.correct(one, h1, pk, msg, sig):
16	  PSC.verify_v(one, h1, pk, msg, sig)