law SchnorrVerify.correct

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

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

35law SchnorrVerify.correct:
36  for +one: Nat
37  for +h1: {one == 1n : Nat}
38  for +pk: List<&2, U32>
39  for +msg: List<&2, U32>
40  for +sig: List<&2, U32>
41  {K.schnorr_verify(pk, msg, sig) == SS.verify(one, pk, msg, sig) : Bool}