Ethereum 2.0的deposit smart合約已經完成了對字節碼的正式驗證和審計。對ETH 2.0的信標鏈的持續優化也在進行中。
以太坊2.0離現實越來越近
形式驗證(FV)是生產軟件開發的關鍵。形式驗證是一種分析代碼語義以確保它們符合某些屬性的方法。智能契約中的許多漏洞都是代碼中的語義錯誤，導致了代碼執行的意外結果。這意味著可能會發生類似DAO 黑客的事件，這與智能合約創建者的意圖背道而馳。
以太坊（Ethereum）剛剛完成了對Ethereum 2.0存儲智能合同字節碼的形式驗證分析。字節碼是在Ethereum虛擬機(VM)中運行的低級代碼。Ethereum VM接受以穩定方式編寫的代碼，然後將其轉換為字節碼在VM中運行。對ETH 2.0的deposit smart的這段代碼進行審計是向前邁出的一大步。
Ethereum 2的信標鏈優化工作也在繼續進行。信標鏈是主要的參考鏈，ETH 2的碎片也會同步。為了更好的擴展，ETH 2區塊鏈將被分解成碎片，每個碎片就像一個迷你區塊鏈，處理總交易量的一個子組。每個碎片都需要同步到這個主信標鏈，以便與其他碎片保持同步。
Ethereum 2.0的Lighthouse測試網最近修復了一個bug，可以運行10萬個驗證器節點，沒有任何問題。另一個實現已經成功運行了35,000個驗證器節點。
核心規範也在通往主網的道路上
以太坊的核心規範就像整個代碼庫的草稿一樣，描述了代碼應如何正常運行。在代碼的關鍵部分，ETH開發人員一直在添加各種不同的實現選擇以及所涉及的權衡。這使他們可以仔細權衡並考慮ETH 2.0代碼庫中實現的每個設計選擇。
規範中的代碼並未針對性能進行優化，而是允許開發人員考慮如何設計其客戶能實現規範中列出的性能目標。在做出最終的設計決策之後，開發人員便可以實施複雜的算法，使客戶可以有效地進行優化。
Consensys和以太坊基金會（EF）都在進行以太坊 2.0的第二階段開發。第二階段是向以太坊碎片添加狀態和執行。這是使用諸如Merkle證明和交叉鏈接之類的工具開發用於交叉共享通信的方法和標準。
Consensys的子團隊和以太坊基金會的eWASM團隊正在進行第二階段的研究，現在另一個Consensys團隊進入了競爭領域，即TXRX。 TXRX正在開發模型以瞭解跨分片的複雜性。
你認為這是Ethereum 2.0正在取得重大進展嗎，您認為以太坊2.0能如期到來嗎？請在評論中分享您的看法！
閱讀更多 區塊鏈報 的文章
