Vitalik Buterin argues that formal software verification, combined with AI, can eliminate critical bugs in high-security code. For Ethereum, this is especially relevant: projects like Arklib and evm-asm are already working on formally verified implementations of the EVM and STARKs. AI writes code at high speed; formal verification ensures it is correct.
Source: Read the original article
