law SchnorrPubkey.correct

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/laws_schnorr.bend:20

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1.bend as K
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/schnorr.bend as SS

20# BIP-340 x-only public keys, signing and verification
21law SchnorrPubkey.correct:
22  for +one: Nat
23  for +h1: {one == 1n : Nat}
24  for +sk: List<&2, U32>
25  {K.schnorr_pubkey(sk) == SS.pubkey(one, sk) : Maybe<&2, List<&2, U32>>}