def eth_with

bend-collections@1.0.0.0 · src/crypto/secp256k1/ecdsa.bend:326

import Base

326# (the key is looked at first, so that the proof checker keeps an unknown
327# address folded)
328def eth_with(+h: Hash, pk: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
329  match pk:
330    case Nil{}: eth_go(h, Nil{})
331    case b <> t: eth_go(h, b <> t)