Vitalik Buterin稱專注安全的開發者在2030s有望實現真正無漏洞智能合約程式碼

以太坊聯合創辦人 Vitalik Buterin 在 X 的一場討論中表示，專注安全的開發者在 2030s 或可達成真正無漏洞的程式碼，仰賴形式化驗證與分層冗餘的進展。其言論緊隨 Gnosis Chain 於 December 22 推行硬分叉，以追回在 November 2024 的 Balancer 漏洞中遭盜的 $9.4 million。該漏洞曾在多條區塊鏈上造成 over $128 million 的損失。