Vitalik Buterin: AI hacking threat overstated, formal verification will strengthen security
- —Buterin: AI will lower the cost of formal code verification
- —About 90% of Buterin's personal wealth remains in cryptocurrencies
- —He pointed to the difficulty of defining "security" itself, using Signal as an example
Why it matters: Buterin's argument supports the narrative of maturing blockchain security and eases concerns about AI attacks on crypto infrastructure.
Source: Digital Today