Vitalik Buterin said on X on September 17 that people shouldn’t always assume that when AI hackers show up, network security is basically over. His view is that formal verification (using mathematical checks to verify whether software follows the rules) can actually lower the cost of writing secure code, and in the long run it’s more advantageous for defenders. He also added that roughly 90% of his net worth is still in encrypted assets—basically using his wallet to vote, betting that digital systems can hold up against stronger automated attacks. $ETH has already put formal verification into the protocol security long-term roadmap here. #以太坊 #network security