def sok

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/pschn.bend:216

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

216def sok(+sig: List<&2, U32>, b: Bool) -> {SC.sign_ok(sig, b) == SS.sign_if(sig, b) : Maybe<&2, List<&2, U32>>}:
217  match b:
218    case True{}:
219      {==}
220    case False{}:
221      {==}