比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

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

Author:

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

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

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

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

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

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

Scopescan:BALD合約部署者撤出8860ETH與1.79億枚BALD流動性:7月31日消息,據Scopescan監測顯示,BALD合約部署者已撤出8860ETH與1.79億枚BALD流動性。

早些時間報道,行情顯示,BALD項目方移除6809枚ETH流動性,幣價瞬時下跌82%[2023/7/31 16:09:46]

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

Prometheum成為美國首家擁有數字資產證券托管權的經紀交易商:金色財經報道,美國證券交易委員會(SEC)創建的監管機構金融業監管局(FINRA)宣布,其批準 Prometheum Ember Capital 成為第一家擁有數字資產證券托管權的經紀交易商。

據悉,加密公司 Prometheum Ember Capital 專為遵守 SEC 法規而建立,假設幾乎所有 Token 都是現行美國法律下的證券。

此前報道,Prometheum將在SEC監管的平臺上提供數字證券交易。[2023/5/23 15:20:57]

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

數據:Loot項目地板價跌至8枚ETH:OpenSea數據顯示,最近大火的Loot項目地板價跌至8枚ETH,地板價附近10枚ETH左右的Loot有較多賣單。9月3日,Loot地板價曾升至18.88枚ETH,24小時交易量超1.6萬枚ETH。9月5日晚,Loot創始人發推特稱,發行名為Mloot的NFT項目,以供參與者免費領取,該項目總量有130萬枚,這造成短時間內以太坊GAS費飆升。Loot地板價暴跌或與此有關。LOOT被認為是NFT領域的范式革命。此前消息,Nansen數據顯示,某神秘玩家在Loot賺取560萬美元,回報率超過16000倍。[2021/9/5 23:00:57]

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

Uniswap V3 NFT售價達310ETH:3月27日消息,Uniswap最近用于宣傳其V3平臺的動畫視頻已經以NFT的形式出售。該視頻和NFT是由名為“ @ pplpleasr1”的藝術家創作的,其價格為310 ETH(ETH),目前價值約505,000美元。NFT的購買者是第一個名為“ pleasrdao ”的分散式自治組織(DAO)。(The Block)[2021/3/27 19:23:02]

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

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

動態 | 今日15:00火幣交易所錢包轉出18870枚ETH:據Chaindigg合作監測發現,今日15:00左右,火幣交易所錢包地址(0x956e開頭)向其它2個火幣交易所地址轉出共計18870枚ETH,0x6f50開頭地址收到8870枚ETH,0x046開頭地址收到10000枚ETH,目前該地址余額33801枚。[2018/9/27]

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

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

注意,這個全新的存款合約還沒有進入 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:BSPNBSETHDITBSPAY價格nbs幣前景tethergamecredits

火幣APP下載
金色趨勢丨納指創新高 BTC拐點臨近_數字貨幣

外圍市場來看,納斯達克指數昨天正式收復了3.12以來的全部跌幅,并且創出了新高,BTC前面連續3日的調整,整體回調量能一般,大幅下跌意愿不強烈,前期日線區間整理的支撐平臺9400美金也未跌破.

1900/1/1 0:00:00
什么時候該買比特幣?幣價波動的簡單緩沖方法_比特幣

每天都有越來越多的人投資于比特幣。我們可以看到持有不少于1個比特幣的地址數量在不斷增加。但是,是什么阻止像你一樣的人購買人生第一個比特幣呢? 比特幣是波動率非常高的資產,頻繁的波動會阻止人們購買.

1900/1/1 0:00:00
金色趨勢丨BTC下降三角整理 前5次迎來瀑布行情_BTC

上圖為BTC2017年至2020年目前長期日線走勢圖,研究可以發現,BTC每次階段頂部區域的構建都是在構筑一個大下降三角形態,后面放量砸破三角下邊線支撐,而后迎來瀑布行情.

1900/1/1 0:00:00
比特幣核心開發者Michael Ford:BTC核心構建系統的最新改進_BSP

摘要:這篇文章的作者是比特幣核心錢包貢獻者和 BitMEX Research 客座作家 Michael Ford.

1900/1/1 0:00:00
金色前哨 | 兩周內持有15000枚ETH:礦工Holding進行時_區塊鏈

最近的數據表明,以太坊礦工更喜歡持有自己開采的ETH代幣,并在過去幾周內增加了一定份額。同時,僅6月份,包含100,000至1,000,000代幣的ETH地址數量就躍升了近5%.

1900/1/1 0:00:00
支付巨頭 PayPal 支持買賣加密貨幣 但我的賬戶仍會被凍結?_PAY

據外媒消息,知情人士表示,金融科技巨頭 PayPal 計劃直接向其用戶推出加密貨幣買賣服務,該服務有望“在未來三個月內或更早”推出.

1900/1/1 0:00:00
ads