def compact_v

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/proof_sign.bend:11

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/src/crypto/secp256k1/ecdsa.bend as E
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/psign.bend as PS

11def compact_v(m: Maybe<&2, E.Signature>) -> {K.compact(m) == PS.msig(m) : Maybe<&2, List<&2, U32>>}:
12  match m:
13    case None{}:
14      {==}
15    case Some{sig}:
16      match sig:
17        case E.Signature{r, s, v}:
18          {==}