ROL:又近了一步，以太坊2.0“通道”經過驗證

Author：

Time：1900/1/1 0:00:00

以太坊2.0的開發正在不斷實現新的突破，該網絡最重要的智能合約之一剛剛被成功驗證。

技術初創公司RuntimeVerification已經成功完成了以太坊2.0存款合約的形式驗證。

Scroll推出Contribute to Scroll計劃，鼓勵開放協作:7月14日消息，Layer2解決方案Scroll宣布推出Contribute to Scroll計劃，鼓勵開放協作并允許任何人在新引入的開源存儲庫中為Scroll做出貢獻。該計劃最初是一項實驗性的Skunkworks計劃。[2023/7/14 10:54:21]

“雖然我們在存款合約形式驗證的過程中發現了幾個重大的問題，其中一些問題是由隱藏的Vyper編譯器bug引起的，但是在最新的版本中，所有的存款合約問題都得到了適當的修復。”

上海虹口啟動NFT等元宇宙孵化項目申報，最多可獲20萬元補貼:10月13日消息，近日上海市虹口區政府官網發布《關于2022年度虹口區科技創業中心科技孵化項目（元宇宙方向）申報工作》的通知，申報時間為10月10日至10月26日。

官網顯示，對于申報項目要符合一定條件。其中對于元宇宙項目方向的界定為，重點支持但不限于虛擬數字人、專業用戶生產內容（PUGC）/職業生產內容（OGC）/多頻道網絡（MCN）、開放游戲/UGC游戲平臺、數字孿生、數字沙盤仿真、AR/VR/MR、NFT/NFR、元宇宙3D、4D虛擬世界開發等數字內容產業。對于獲得立項的科技孵化項目，虹口區政府將給予不超過20萬元資金扶持。（澎湃新聞）[2022/10/13 14:26:19]

根據該公司發布的公告，存款合約是參與以太坊2.0的“通道”。新的PoS信標鏈上的驗證者需要通過以太坊1.0網絡向存款合約發送交易來存入ETH。

NEAR生態EVM擴容網絡Aurora現已重新上線彩虹橋:9月27日消息，NEAR生態EVM擴容網絡Aurora今日宣布現已重新上線彩虹橋（Rainbow Bridge）。

此前消息，9月11日，Aurora在以太坊合并之前暫停彩虹橋。[2022/9/27 22:33:38]

存款合約會記錄交易歷史并將這些資金鎖定在以太坊1.0鏈上，以便以后在信標鏈上進行贖回。這類智能合約采用Merkle樹數據結構，可以有效地存儲存款歷史。

以太坊2.0的協調員DannyRyan證實，這項形式驗證是最后的障礙，他補充說：

“這是主要的審核和驗證。這個合約和形式驗證的過程現在正在進行公開審查。”

目前針對這個存款合約沒有其他審計計劃，但預計在2月針對信標鏈的審計會有兩個。

上周有報道稱，22000個活躍的驗證者正在測試上運行第一個以太坊2.0客戶端。