Jason Nelson / Decrypt:

Vitalik Buterin says AI-assisted “formal verification” could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws  —  Ethereum co-founder Vitalik Buterin said that mathematically verified software is becoming essential to protecting Ethereum …

Jason Nelson / Decrypt:

Vitalik Buterin says AI-assisted “formal verification” could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws  —  Ethereum co-founder Vitalik Buterin said that mathematically verified software is becoming essential to protecting Ethereum …

Source: TechMeme
Source Link: https://www.techmeme.com/260518/p49#a260518p49