proofs/crypto/secp256k1/proof_schnorr.bend

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

1import Base
2import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/laws_schnorr.bend as Laws
3import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/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
9def Laws.SchnorrPubkey.correct(one, h1, sk):
10  PSC.pubkey_v(one, h1, sk)
11
12def Laws.SchnorrSign.correct(one, h1, sk, msg, aux):
13  PSC.sign_v(one, h1, sk, msg, aux)
14
15def Laws.SchnorrVerify.correct(one, h1, pk, msg, sig):
16  PSC.verify_v(one, h1, pk, msg, sig)