Posted on 2026-05-19 by Mark J. G. Smith Vitalik Buterin says that formal verification tech might be in Etherium's future. decrypt.co #