In May 2026, Ethereum co-founder Vitalik Buterin cautioned that proving one software layer does not establish that an entire system behaves as intended.

From the articleNEAR targets protocol security after $112 AI proof-generation run