Vitalik Buterin Says AI Formal Verification Could Help Prevent Multi-Million Dollar Crypto Hacks Across Ethereum Ecosystem
Vitalik Buterin said AI could help make Ethereum and crypto systems safer by using mathematical proof checks to catch software bugs before hackers exploit them. His comments came as the crypto industry suffered several major hacks within days, including attacks on Echo Protocol, THORChain and the Verus-Ethereum Bridge.
Anais






