Vitalik Buterin: AI will make it possible to prove software security in full
- —Buterin holds about 90% of his net assets in cryptocurrencies
- —AI should verify all code, not just critical parts
- —Full verification would cover the database, network, cache and other components
- —Without this, blockchains with scalability and privacy have no future
Why it matters: The statement sets Ethereum's direction toward formal code verification, which could boost confidence in network security.
Source: PANews