Vitalik 預測無錯誤的程式碼將在 2030 年代成為現實

來源：CoinEdition 原文標題：Vitalik 預測無錯誤代碼將在2030年代問世 原文連結：https://coinedition.com/vitalik-predicts-that-bug-free-code-will-be-available-in-the-2030s/

智能合約與安全關鍵系統

在可程式化虛擬機內建立的智能合約應用，持續暴露出區塊鏈設計中的深層結構性弱點。近期的運營者行動，包括在Balancer 被攻擊後進行硬分叉以回收資金，再次將這一問題推回焦點。網絡運營者果斷行動，但此事件也加深了一個核心問題：區塊鏈應該如何安全地增加功能。

根據 zk 開發者 c-node 的說法，許多應用邏輯可能不適合放在無限可變的智能合約中。他認為，只有少數合約具有長期存在的價值，這些組件可以從底層安全性和客戶端多樣性中受益。因此，業界可能需要重新考慮，通用虛擬機是否是大規模增加功能的最安全方式。

只有7個合約值得編寫，它們應該被納入底層，並通過客戶端多樣性來獲得安全保障。

為何關鍵軟體中的錯誤仍然存在

今天，錯誤仍然不可避免，因為開發者仍在安全與速度及彈性之間權衡。此外，軟體的複雜度持續比驗證品質增長得更快。然而，Vitalik Buterin 預計這種平衡會隨著時間改變。他預測，到2030年代，認為錯誤不可避免的說法將不再成立。

預測：’錯誤是不可避免的，你無法寫出完全無錯的代碼’這一說法在2030年代將不再成立 (許多軟體仍會有錯誤，因為在它們的使用案例中，功能增益更為重要，但如果你想要無錯代碼，你就能得到)

推動這一轉變的力量有多個。如今的程式語言嵌入了更強的類型系統和更嚴格的記憶體規則。此外，審計方法通過自動化和對抗性測試得到了改進。

此外，正式驗證工具越來越多地證明正確性，而非假設正確性。因此，安全關鍵的代碼正逐漸變得可證明，而非僅僅寄望於安全。

根據 Buterin 的研究，在極端工程條件下，缺陷密度已經大幅下降。1990年，一個1000行的安全關鍵程序很可能含有八到十個潛在錯誤。到2000年，受過紀律訓練的團隊將這個數字降低到四個。因此，到2010年，精英團隊將缺陷數推近一到兩個。

驗證的成本曲線

到2020年，花費一百萬美元審查每1000行代碼的團隊，幾乎達到零已知缺陷的目標。然而，這一結果依賴於徹底的審查和數學驗證。

Buterin 在討論現代成果時澄清了這一假設。他表示：“這假設投入極端頂級的驗證努力，下一步就是降低這個標準”。

值得注意的是，未來的進步不僅僅依賴於投入更多資金，而是來自更好的預設值。語言將能自動防止整個錯誤類別。此外，證明系統將直接整合到開發流程中。