BSP:Eth2 最新進展：測試網Altona將使用新的存款合同

與往常一樣，在 eth2 前線繼續發生著許多事情。除了撰寫的進展更新和其他公開的總結外，各客戶端團隊、貢獻者和社區成員/預期驗證者們都很忙！

今天，本文將涵蓋一些重大的存款合約 (deposit contract) 相關新聞，以及實現規范 v0.12 版本的重要步驟。

新的 Solidity 存款合約已經經過形式化驗證，并添加進了 bug 賞金計劃中；

實現 v0.12 規范版本的 Eth2 多客戶端測試網 Altona 預計將于下周發布；

繼續資助 Sigma Prime 為 beacon-fuzz (多客戶端差分模糊測試) 找尋 bug 的工作；

Tether批評華爾街日報和CoinDesk，并稱其借貸計劃不構成風險:12月2日消息，USDT發行商Tether在最新的一篇博客文章中點名批評了華爾街日報和CoinDesk，稱它們虛偽且“在信息的車輪下沉睡”。Tether稱這些媒體總是在在加密資產價格下跌超過15%時就呼吁Tether即將崩潰，而完全忽略了幾乎所有貸款機構都被擊垮、數十億美元財富被摧毀的結構性欺詐(如FTX)。

Tether分析了CoinDesk的立場，稱CoinDesk是DCG的子公司，而DCG也是Tether 的直接競爭對手Circle的投資者。

Tether表示華爾街日報質疑Tether擔保貸款的文章對Tether和USDT有很多誤解，其中最明顯的是聲稱Tether的USDT擔保貸款以USDT計價，Tether面臨USDT價值下跌的風險。

此前昨日消息，華爾街日報刊文稱，不斷增加的Tether貸款增加了穩定幣和加密貨幣世界的風險。[2022/12/2 21:17:22]

今天，我們要宣布一個全新的、更安全的 eth2 存款合約版本，使用 Solidity 語言編寫！該合約保留了相同的公共接口 (添加了 EIP-165 supportsInterface 函數)，因此這是對所有現有客戶端和開發工具都是完全透明的更改。實際上，其中的 Solidity 代碼主要是對最初的 Vyper 合約逐行地翻譯 (備注：最初的存款合約使用 Vyper 語言進行編寫) ，以幫助進行審查和形式化驗證。

Tether在波場網絡增發12億枚USDT:據Whale Alert數據，北京時間4月1日23:17，Tether在波場網絡增發12億枚USDT。增發哈希為a83af0aea5ad7c3a832968381c17e9d0aaf5d2e87fb42c3a548c339e1855a614。[2021/4/2 19:38:25]

在過去的幾個月里，Alex Beregszaszi 使用 Solidity 語言重寫了這個 eth2 存款合約，該合約已經由一個 Solidity 專家小組審核，并通過了 Runtime Verification 進行形式化驗證，大量重用了最初為 Vyper 版本合約編寫的 K 規范。

盡管之前的 Vyper 合約經過了嚴格的測試、審查和形式化驗證，但仍然存在著對 Vyper 編譯器目前的安全性的潛在擔憂。在最初的 Vyper 字節碼驗證期間，發現了多個編譯器 bug (并進行了修復)。除了形式化驗證，Suhabe Bugrara (ConsenSys 的研發人員) 還對 Vyper 存款合約和形式化驗證進行了審查，這引發了對正式的規范進行了許多改進 (這最終有助于對 Solidity 合約的重新驗證)。盡管 Vyper 合約的形式化驗證被評估為是可靠的，但只要該合約使用 Vyper 編譯器，Suhabe 就不推薦其字節碼是安全的。

ETH新地址數達到4017.625 創三個月新高:數據分析網站Glassnode今日發推指出，以太坊（ETH）新地址數（1d MA）達到4017.625，創三個月新高。此前，在3月22日觀察到3個月高點為3979.750。[2020/4/24]

同時，ConsenSys Diligence 和 Trail of Bits 對 Vyper 編譯器進行了安全調查報告，發現了更多的 bug，并對該編譯器代碼庫的系統性問題提出了擔憂。

盡管有這些發現，Vyper 仍然是一種很有前景的語言。基于 python 的編譯器仍在開發中，許多貢獻者正在研究對這種語言進行形式化，并研究其他編譯器。

雖然我們對經過了形式化驗證的字節碼很有信心，但在 Vyper 編譯器中發現的問題使得我們嚴重依賴于對字節碼進行驗證。最好是從一個通常被認為安全的編譯器開始，然后驗證字節碼，而不是從一個存在已知問題的編譯器開始，然后驗證這些已知 (或未知) 問題沒有在字節碼中出現。

動態 | 傳統銀行Bank Frick為機構推出BTC和ETH跟蹤器:據cointelegraph報道，總部位于列支敦士登的傳統銀行Bank Frick與其合作伙伴、數字金融公司Bitcoin Suisse共同推出了BTC-ETH追蹤器。從今天開始，Bank Frick將為機構和合格投資者提供其BTC-ETH跟蹤器的訪問權限。Bank Frick將擔任發行人，負責簽發加密證書。Bitcoin Suisse將充當加密經紀人，負責通過全球加密交易所執行比特幣和以太坊交易。[2019/4/10]

為了避免人們對這個關鍵的存款合約的安全性產生任何懷疑，我們建議為 eth2 主網的啟動使用這個全新的 Solidity 存款合約，我們歡迎 Solidity 合約和 EVM (以太坊虛擬機) 字節碼方面的專家對該存款合約和相關的形式化驗證進行審查。發現的任何問題都符合 Eth2 階段0賞金計劃。

行情 | ETH 出現劇烈波動:據Binance數據顯示，上漲: ETH 現報價108.32美元，5分鐘變化超過$2.18，波動較大，請做好風險控制[2018/12/20]

注意，這個全新的存款合約還沒有進入 eth2 規范庫中。我們將在本周整合這個新的 Solidity 合約，并很快發布一個小版本。我想要通過本文立即宣布這個事情，以便讓社區有足夠的時間來對其進行審查。

自從 Eth2 規范 v0.12 版本發布 以來，各客戶端團隊一直在全力更新和測試他們的代碼庫，以為公共測試網做準備。

我看到了很多來自社區的問題 (在 discord 聊天室、reddit 等上面)，詢問為何一個看起來相對較小的更新要花這么多時間來完成。盡管各客戶端的代碼庫和相關的挑戰各不相同，但各客戶端團隊都非常重視  v0.12 規范版本。雖然規范中的更新并不太繁瑣，但在使這些客戶端準備好實現這個主網上線前的最后半主要規范版本 (即 v0.12) 之前，已經花了額外的時間來加強安全性、優化功能和從整體上增強客戶端。

首個實現 v0.12 規范的公共多客戶端測試網 Altona 的發布時間即將到來，預計將在未來 7 天內發布。這個測試網將完全由相關的一些客戶端團隊 (計劃是 Lighthouse、Nimbus、Prysm 和 Teku)、Afri Schoedon 以及以太坊基金會的一些成員控制。在該測試網推出之后，相關的存款合約地址將會發布，以允許公眾參與進來。

與截至目前發布的其他多客戶端測試網類似，Altona 更像是一個開發網絡 (devnet)，而不是一個以最終用戶為中心的測試網。也就是說，Altona 首先最重要的是為了讓各客戶端團隊在一個生產環境中檢查 v0.12 軟件的安全性，并讓 eth2 工程師們在一個多客戶端環境中解決可能出現的 bug。話雖如此，我們也歡迎你的加入并隨著時間的推移推動 Altona 的成長。

如果 Altona 獲得普遍成功，接下來的下一步是推出一個更大的、以社區為中心的測試網，該測試網將有著主網配置，至少由 16,384 名驗證者才能啟動。

Altona 測試網將使用上文提及的全新的 Solidity 存款合約。正如我所說的，這是對 eth2 客戶端軟件 100% 透明的更改，因為公共接口是一樣的。對于能在生產環境中測試該合約，我還是非常興奮的。

我們很高興地宣布繼續資助 Sigma Prime 的多客戶端差分模糊測試工作 – beacon-fuzz。截至目前，這項工作已經取得了巨大成功，在系統中的所有客戶端中都找到了 bug。

你可以查看 Sigma Prime 的博客文章來跟進相關的進展。還有繼續關注未來計劃擴大 beacon-fuzz 的工作，即計劃通過“在家里進行模糊測試”讓你參與進來，也許你會通過你家里的設備找到一個 bug！

撰文：Danny Ryan

翻譯：Unitimes_David

Tags：BSPNBSETHTHEBSPAYnbs幣官網ETHHDtogetherbnb游戲全攻略第二部分

火星幣