def sw_is

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/peth.bend:74

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

74def sw_is(+h: ES.Hash, pk: List<&2, U32>) -> {ES.eth_with(h, pk) == ES.eth_go(h, pk) : Maybe<&2, List<&2, U32>>}:
75  match pk:
76    case Nil{}:
77      {==}
78    case b <> t:
79      {==}