def eth_with

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/ecdsa.bend:293

import Base

293# (the key is looked at first, so that the proof checker keeps an unknown
294# address folded)
295def eth_with(+h: Hash, pk: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
296  match pk:
297    case Nil{}: eth_go(h, Nil{})
298    case b <> t: eth_go(h, b <> t)