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