加密貨幣:又近了一步，以太坊2.0“通道”經過驗證_STE

Author：

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

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

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

印度央行行長：印度央行應該禁止加密貨幣:金色財經報道，印度央行行長表示：印度央行的立場非常明確，即應該禁止加密貨幣，如果加密貨幣使用量增長，印度央行將失去對經濟的控制。[2023/1/13 11:10:57]

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

Web3硬件錢包初創公司Cypherock完成100萬美元融資:12月1日消息，Web3硬件錢包初創公司Cypherock宣布完成100萬美元融資，Consensys Mesh、Infinite Capital、Gnosis、OrangeDAO、以及包括Stefan George (Gnosis)、Sandeep Nailwal (Polygon)、Mahin Gupta (Zebpay) & Liminal)、Prasanna Sankar (Rippling)和Furqan Rydhan (Thirdweb & F Inc)在內的天使投資人參投。

Cypherock正在開發無助記詞硬件錢包“X1”，旨在讓人們能夠實現自我主權，并像在銀行金庫的儲蓄一樣安心和控制自己的加密貨幣和個人數據，允許個人自行保管加密貨幣并通過減少私鑰管理中單點故障來提高加密貨幣安全性。[2022/12/1 21:15:26]

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

數據：Aave 中當前有 8.6 萬枚 stETH 抵押資產的健康系數低于 1.25:11月22日消息，Lido 發推稱，Aave 中目前有 8.6 萬枚 stETH 抵押資產的健康系數（health factor）低于 1.25，處于風險區域。健康系數低于 1 的賬戶可能會被清算。[2022/11/22 7:57:30]

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

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

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

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

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