Vitalik Buterin: 無錯誤的源碼有望在2030年代成為現實

Vitalik Buterin 認為真正無錯的源碼在 2030 年代變得可行，至少對於將安全性置於首位的開發者來說。這一觀點是在 2024 年 12 月 Gnosis Chain 進行有爭議的硬分叉，旨在回收在 Balancer 攻擊中損失的 9.4 百萬美元後提出的。

對於有關區塊鏈不可變性和智能合約構建方式的批評，Buterin 強調“形式驗證”並不等同於“證明無錯”。他認為完全無錯的碼可能是不可行的，因為錯誤源於人類意圖與碼的執行之間的差距——而意圖本身非常複雜且難以掌握。

儘管如此，Buterin 相信可以通過採用多層保護措施來大幅降低錯誤，例如強類型系統、選擇性形式驗證、備援機制和嚴格測試。對於優先考慮安全性的開發者來說，未來“幾乎無錯”完全在掌握之中。