def bad_v

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/psign.bend:91

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/ecdsa.bend as ES
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/ecdsa.bend as E

91def bad_v(bad: Bool, +sig: E.Signature) -> {matt(E.finish_if(bad, sig)) == ES.finish_if(bad, sigb(sig)) : ES.Attempt}:
92  match bad:
93    case True{}:
94      {==}
95    case False{}:
96      {==}