這篇文章內容涵蓋 Kintsugi 事件的全面總結、它的后果,還有在主網合并前的具體行動計劃。
概要
合并測試網 Kintsugi 在幾個客戶端上發生了問題。一個 fuzzer 創建了一個無效區塊,但客戶端 Nethermind 和 Besu 因為缺少一項檢查而把該區塊視為有效。這個無效區塊導致網絡分成了三部分——一部分包含無效區塊、一部分不包含無效區塊,還有一部分進入了Optimistic Sync 模式。盡管修復程序已經部署了,該 fuzzer 又創建了另一個區塊,在客戶端 Geth 觸發了進一步的問題——無法加入正確的分叉。當我們修復了 Geth 的問題,我們就能夠把所有的節點帶回到相同的正確的分叉,區塊鏈重新開始做最終敲定。
總結
合并測試網 Kintsugi 在前幾周的運行中遇到了一系列問題,暴露了多個客戶端的幾個漏洞。問題主要是由開發者 Marius 開發的 fuzzer 引發的,這個 fuzzer 旨在創建有意思的區塊并在網絡里對區塊進行廣播。
一個這樣的區塊的 blockHash (區塊哈希)被替換為它的 parentHash (父塊哈希)。engine_executePayload 具備了所有構建一個區塊和構建該區塊的 blockHash 所需的所有參數。EL (執行層) 客戶端應該根據這些參數來構建區塊,并根據通過的 blockHash 進行驗證。這個特定區塊正確無誤地沒有通過 Geth 的檢查,但通過了 Nethermind 和 Besu 的驗證。該區塊之所以在 Nethermind 被錯誤地通過驗證是因為緩存問題,而 Besu 則完全沒有這項檢查。由此,該區塊被一個 Lighthouse-Besu 節點提議,并導致區塊鏈分叉為兩部分,在執行層與 Nethermind 或 Besu 連接的驗證者在一個分叉上,而月 Geth 連接的驗證者則在另一個分叉上。
BlockSec:SellToken遭攻擊,攻擊者利用StakingRewards合約的Claim()函數問題獲利:5月14日消息,BlockSec發推稱,SellToken再次遭遇攻擊,根本原因是StakingRewards合約的Claim()函數沒有正確驗證輸入參數,使得攻擊者可以通過一個偽造的代幣來獲得更多的獎勵。StakingRewards合約將其視為USDT,攻擊者通過控制假代幣和QiQi交易對,獲得了超額獎勵。[2023/5/15 15:02:41]
請注意,檢查當前區塊的 blockHash 是合并新增的要求,因此在某些客戶端上會存在缺少或不準確的驗證。
Geth 的一個問題是當執行錯誤的負載時,它返回的是一個 JSON-RPC 錯誤而不是 INVALID (無效),而 Teku 的問題是 (此時已修復但還未部署) 認為那些錯誤在 optimistic sync 模式下是可通過的。因此, Teku-Geth 節點在遇到無效負載時還是進入了 optimistic sync 模式。由于該區塊本身是有效的,已連接的 Geth 節點是從網絡而不是 engineAPI 獲取數據的,因此現在的 Teku-Geth 節點是在無效的分叉鏈上的。由于 Teku 節點還在有很多漏洞的舊版本上, Teku-Geth 節點保持在 optimistic sync 模式,并在區塊鏈停止做最終敲定的期間拒絕提議區塊。我們現在處于這樣的一個情況——共識層客戶端 (lighthouse、prysm、nimbus 和 lodestar) - Geth (占大約 46%) 與共識層客戶端 - Nethermind/Besu (占大約19%) 在不同的分叉上,其他運行 Teku-Geth (大約占35%) 的驗證者則處于 optimistic sync 模式。
STEPN推出新游戲模式“Backwalking”:4月1日消息,STEPN宣布推出新游戲模式“Backwalking(倒走)”。
據悉這是一種輔助模式,每24小時內此模式可激活5分鐘,在該模式啟動期間GST收入將會翻倍,沒有耐久性損失,并且有機會贏得GMT激勵(但機會可能很小)。
STEPN正在為用戶開放限時Beta測試機會,被選中的候選人將被要求測試此功能1個月。[2023/4/1 13:39:26]
在找到和部署了 Nethermind 和 Besu 節點的修復程序后,我們就能夠讓它們重新連上正確的鏈。Teku-Geth 節點的更新導致了另一個與無效內存訪問相關的問題,它由 Geth 上與區塊排序驗證相關的問題引起。這個具體的漏洞也是由 Marius 的 fuzzer 觸發的,這個 fuzzer 產出了一個 parentRoot 是有效且 block_number=1 的區塊。在 Geth 執行一個區塊前,它需要查看它的父塊,看看它們是否需要同步。這樣做的一種方式是在緩存里檢查 parentHash 或在 database 里檢查 parentHash 和 blockNumber。由于 Teku 是同時執行所有分叉里的所有負載,緩存就不再包含 parentHash 。因此,Geth 試圖在它的 database 里通過 parentHash 和 blockNumber 查找其父塊。然而,database 并沒有這個 blockNumber 的哈希 (這個區塊是 fuzzer 構建的)。Geth 會推斷,由于它沒有父塊,它需要開啟同步。但是,這樣觸發的同步會試圖同步比權威鏈更短的的鏈,這就違反了 Geth 中的某些條件,這導致 Geth 進程錯誤,節點關閉,導致 Teku-Geth 節點一直處于不健康的狀態。
Hermes要求聯邦法院對Mason Rothschild發布禁令停止銷售MetaBirkin NFT:金色財經報道,奢侈時尚品牌Hermes(愛馬仕)要求聯邦法院禁止銷售基于 Birkin 包的NFT。愛馬仕在其提交的文件中稱,盡管有裁決,Rothschild仍在繼續推廣 NFT。這家時裝公司希望聯邦法院介入并迫使Rothschild不僅停止出售數字資產,還將他仍然擁有的 NFT 轉讓給愛馬仕。
金色財經此前報道,2月9日,愛馬仕與NFT藝術家Mason Rothschild的案件于2023年2月8日作出判決,Hermes(愛馬仕)贏得了針對Rothschild的Metabirkins NFT系列的訴訟,陪審團判給愛馬仕133,000美元的賠償金。[2023/3/7 12:46:00]
在上述問題的調試中,Geth 團隊還在合并的代碼庫里發現了一個觸發錯誤的競爭條件。此外,我們還遇到其他問題——Nimbus 出現與執行層重新連接相關的錯誤,Lodestar 降低拒絕出塊的對等點分數。
客戶端推出了所有的修復,且讓所有節點都進行升級。當所有的修復都生效時,區塊鏈會有很多小分叉,每個的參與率都很低。對一些節點進行重新同步可以減少一些分叉。一旦有足夠多的節點完成重新同步,我們會看到有越來越多的節點通過重組回到這個分叉上,這使我們能跨過最終確定性所需的 66% 的閾值。
KingData監控:灰度ETC基金減持3021.33枚以太坊經典:據KingData數據顯示,灰度ETC基金減持3021.33枚以太坊經典,基金持倉總規模變為1225.12萬枚ETC。(注:灰度暫未開放贖回,小幅減持或因每股含幣量微調、扣減管理費所致。)[2021/9/28 17:11:06]
FAQ
Q: 這個測試網死了嗎?
A: 沒有。在我們部署修復程序并重新同步一些停滯的節點后,鏈最終又開始做最終敲定了。當鏈恢復最終敲定,它就可以如常運行。目前,Kintsugi 的參與率是大約 99%,這表明所有客戶端的漏洞已經得到修補,且網絡也運行良好。交易和智能合約交互繼續如常運作。
Q: 為什么這條鏈這么長時間不做最終敲定?
A: 雖然我們很早就找到了根本原因,我們想要讓鏈保持非最終敲定狀態,讓客戶端團隊調試他們的代碼。此外,我們想要收集非最終敲定期間的客戶端表現數據。
Q: 在分叉鏈上的驗證者會被罰沒嗎?
A: 不會。每個驗證者都包含一個 slashing protection (罰沒保護) database,確保驗證者不會對可罰沒的信息簽名。在“錯誤”分叉的驗證者只會被視為在“正確”分叉上處于 inactive 狀態。一旦它們重組到“正確”分叉上,罰沒 database 會阻止它們對可罰沒信息簽名。
動態 | NEM將為Kind Heaven娛樂網站提供區塊鏈技術:據cryptoninjas消息,拉斯維加斯的娛樂體驗網站Kind Heaven今天宣布,將選擇NEM作為區塊鏈的合作伙伴。通過這個協議,Kind Heaven將使用NEM(XEM)平臺整合區塊鏈技術。[2018/10/16]
Q: 這會如何影響主網發布?會有新的延遲嗎?
A: 我們認為這件事不會影響主網發布計劃。在規范本身上沒有發現嚴重的問題。測試網的目的是發現漏洞,我們認為 Kintsugi 在發現客戶端實現的邊緣情況方面表現很好。這事件是對多個客戶端組合的一次很好的壓力測試。我們有一個公開的清單,它將指引我們何時準備好在主網實現合并。
Q: 這會如何影響測試計劃?
A: 我們將研究創建幾個強制處于非最終敲定狀態的測試網。對這些非最終敲定的測試網進行持續測試使我們可以觸發更多邊緣情況,和改進工具。在這次事故中發現的漏洞將被添加為靜態測試用例,以確保我們會通過回歸測試。
對驗證者、基礎設施提供商和工具開發者的重要啟示:
測試網上的非最終敲定時期加強了最糟糕情況硬件要求的一些假設。在非最終敲定期,驗證者應該預期:
由于需要對多個分叉選擇規則進行評估,CPU 負載會增加 (有時達到 100%)
在非最終敲定期由于不會有修剪,硬盤使用量會增加
RAM 使用量會有邊際增長
這意味著,在同一臺機器上運行的任何額外工具或監測都會遇到資源爭用問題。Kintsugi 測試網的工具 (區塊瀏覽器、水龍頭、RPC) 在具有 3 個節點的 Kubernetes 集群上運行。這個集群還運行多個工具使用的信標節點。由于信標節點使用的資源比預置的要多得多,因此我們的工具經常由于資源不足而以降級的方式運行。對于基礎設施提供商來說,謹慎的做法是在不同的機器上運行它們的共識層和執行層,或有嚴格的資源使用定義。
合并意味著每個共識層客戶端都需要運行自己的執行層客戶端。(主網上的) 執行層客戶端現在需要很大的磁盤容量。在非最終敲定期間,CL 的磁盤使用量也會激增,這會由于磁盤空間不足而導致崩潰。所有驗證者應該確保他們有足夠大的緩沖磁盤空間來應對這種問題。
依賴于最終確定性的工具開發者應該為非最終敲定時期多做考慮。一種可能的方式是顯示 optimistic 信息,同時傳達該信息在用戶界面是會變化的。
來源 | notes.ethereum.org
作者 | parithosh
點擊“閱讀原文”獲取文章內部鏈接!
原文鏈接:https://notes.ethereum.org/@ExXcnR0-SJGthjz1dwkA1A/BkkdHWXTY
當奧運遇到區塊鏈,Flow 成“幕后功臣”近期北京 2022 冬奧會在社會上引發公眾關注,冬奧會吉祥物“冰墩墩”更是被搶購一空,同樣火爆的不僅僅是吉祥物.
1900/1/1 0:00:00北京2022年的第一場春雪結束后,天氣將暖,雪快化的差不多了。在2020年和2021年的這個時間點,都是我為《金色深核》欄目梳理確定本年度研究重心的時候,2020年,我發布了一篇《我在區塊鏈媒體.
1900/1/1 0:00:00最近一段時間,許多老鐵應該注意到了一個新詞:模塊化公鏈。簡單來說,就是把原來一層做的事兒,給你拆成了兩層,甚至三層,畢竟一層上,不可能三角就像一個緊箍咒, 制約著每一個想要擴容的公鏈.
1900/1/1 0:00:00據區塊鏈分析公司Chainalysis周一發布的一份新報告顯示,去年約有74%(4億美元以上)的勒索軟件收入流入了可能位于俄羅斯的高風險錢包地址.
1900/1/1 0:00:00什么是分片(Sharding)分片技術并不是什么創新的概念,早在區塊鏈技術出現之前,就已經在傳統數據庫中運作了,主要用于大型商業數據庫的優化.
1900/1/1 0:00:00近期,美國科技五巨頭FAANG(Meta、蘋果、亞馬遜、奈飛、谷歌)先后交出2021年業績答卷。總體來看,蘋果、亞馬遜、谷歌業績表現亮眼,Meta和奈飛的成績卻暗淡無光.
1900/1/1 0:00:00