def eth_if
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/ecdsa.bend as Ecdsaimport Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as CV
284# address = the last 20 bytes of Keccak-256(x || y) of an uncompressed key
285def eth_if(ok: Bool, +dg: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
286 match ok:
287 case True{}: Some{CV.after(12n, dg)}
288 case False{}: None{}