以太坊2.0的開發正在不斷實現新的突破，該網路最重要的智慧合約之一剛剛被成功驗證。
技術初創公司Runtime Verification已經成功完成了以太坊2.0存款合約的形式驗證。
“雖然我們在存款合約形式驗證的過程中發現了幾個重大的問題，其中一些問題是由隱藏的Vyper編譯器bug引起的，但是在最新的版本（v0.10.0）中，所有的存款合約問題都得到了適當的修復。”
根據該公司釋出的公告，存款合約是參與以太坊2.0的“通道”。新的PoS信標鏈（Beacon Chain）上的驗證者需要透過以太坊1.0網路向存款合約傳送交易來存入ETH。
存款合約會記錄交易歷史並將這些資金鎖定在以太坊1.0鏈上，以便以後在信標鏈上進行贖回。這類智慧合約採用Merkle樹資料結構，可以有效地儲存存款歷史。
以太坊2.0的協調員Danny Ryan證實，這項形式驗證是（以太坊2.0）最後的障礙，他補充說：
“這是主要的稽覈和驗證。這個合約和形式驗證的過程現在正在進行公開審查。”
目前針對這個存款合約沒有其他審計計劃，但預計在2月針對信標鏈的審計會有兩個。
上週有報道稱，22000個活躍的驗證者正在測試上執行第一個以太坊2.0客戶端。
這些客戶端的測試網可能在創世區塊測試網之前開始互相連線，這預示著第一個PoS部署的實現。
今年年初，9個獨立團隊開始部署第0階段的信標鏈，預計其將在今年第二季度釋出。
