Vitalik Buterin: cyber defense wins only in the long run, transition will be hard

• —Buterin: good actors finding bugs first is not a defense-dominant model
• —He urges formal verification and a radical cut in the trusted computing base
• —He wants more than 1% of global GDP spent on security hardening
• —The comments follow an AI system finding a server-takeover flaw in PHP