以太坊共同創辦人 Vitalik Buterin 今日表達了對增加 L2 複雜性以簡化 L1 策略的懷疑，指出在錯誤風險管理方面，L2 出現錯誤可能導致大量資金永久損失，因此認為值得在 L1 添加一些複雜功能，以減輕 L2 的代碼負擔。
（前情提要：V神大讚的「Verkle Trees」是什麼、比默克爾樹更好？目標今年上線以太坊實現無狀態驗證 ）
（背景補充：V神：若想成為以太坊 Layer 2，需有比多簽更強的安全屬性 ）
以太坊共同創辦人 Vitalik Buterin 日前發布推文，表達了對 Verkle Trees 能為以太坊帶來益處的期待，今日清晨則談論區塊鏈 L1 和 L2 之間的關係，以及如何在二者之間找到最佳的技術平衡點。
對「增加 L2 複雜性以簡化 L1 」的概念信心下降
在回應 Bitcoin Magazine 技術編輯 @brian_trollz 提出的關於 L1 和 L2 之間的一個普遍誤解時，Vitalik 表示他對於「增加 L2 複雜性以簡化 L1 」的策略越來越持保留態度。
@brian_trollz 稍早諷刺地評價那種認為「只需要在 L2 上實現」的觀點，指出這忽略了第一層技術對第二層功能的基本限制。
對此，Vitalik 回應說，當在 L1 和 L2 的錯誤（bug）風險之間進行權衡時，並不明確 L2 更有優勢。他解釋道：
如果發生 L1 的共識失敗，儘管核心開發者需要緊急修復，但最終問題可以得到解決；而 L2 出現的錯誤可能導致人們永久地損失大量資金。
因此，Vitalik 認為在 L1 添加一些複雜功能，以減輕 L2 的程式碼負擔，讓 L2 能夠保持合理的簡單性，實際上是值得的。
Honestly I'm about 3x less confident in the "simplify L1 even at the expense of more complicated L2s" concept than I was five years ago. The challenge is that when you can trade off between L1 bug risk and L2 bug risk, it's not actually clear that the latter is better!
— vitalik.eth (@VitalikButerin) February 21, 2024
期待 AI 在程式碼錯誤檢測上的應用
19 日時，Vitalik 才發文表示非常期待的一個人工智能應用領域是，在程式碼的驗證和錯誤檢測方面的輔助作用。他表示：
如今，對於以太坊來說，程式碼錯誤可能是其面臨的最大技術風險。因此，任何能夠在這一領域實現顯著突破的技術或方法都將是驚人的。
One application of AI that I am excited about is AI-assisted formal verification of code and bug finding.
Right now ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.
— vitalik.eth (@VitalikButerin) February 19, 2024
V 神對 Layer2 的標準：安全性
上月中旬，Vitalik 發表關於以太坊 L2 的標準，他表示「安全性」是重點：
對我來說，對於要完全符合 L2 資格的東西，它必須具有比多重簽名更強大的安全屬性，即使它不是類似 Rollup 的全面保證。
這表明，Vitalik 認為為了有資格成為 L2，一個平台或技術需具備比多重簽名（一種基本的安全機制）更強大的安全屬性。即使這些安全屬性不像 Rollup 那樣全面，它們也應該有其獨特的安全保障。
此外，他再一次提到了 Validiums，認為其滿足了這個標準。至於 Optimiums，V 神認為它也可能符合標準，但需要更嚴格的分析來確定它們確切的安全效率。
延伸閱讀：V神：若想成為以太坊 Layer 2，需有比多簽更強的安全屬性
