Vitalik Buterin says that formal verification tech might be in Etherium's future. <a href="https://decrypt.co/368226/ethereum-founder-vitalik-buterin-ai-ver... (opens in new tab)
Vitalik Buterin says that formal verification tech might be in Etherium's future. #
Read the original article