為何波卡在完成安全審計后卻拒絕解決風險問題?
我們Web3Foundation的使命是促進下一代互聯網的發展:旨在建立一個去中心化的,公平的網絡,在該網絡上用戶可以控制自己的數據,市場可以從網絡效率和安全性中受益。這篇文章我們在其中報告了為加強我們的系統而進行的安全審核的相關內容。
該安全審計工作由信息安全公司AtredisPartners進行,該公司在滲透測試,逆向工程,硬件/軟件開發以及嵌入式系統設計評估方面擁有豐富的經驗。
什么是安全審計
我們邀請Atredis對波卡Runtime的完整性,機密性和可用性以及波卡驗證程序的安全性和可靠性進行了安全性評估。
此鏈接可閱讀整個審核員的報告。
https://assets.polkadot.network/security-audits/Atredis_Partners-Web3-Polkadot-PlatformSecurityAssessment.pdf
以太坊開發者Tim Beiko解釋為何柏林升級沒有納入EIP-2537:以太坊開發者Tim Beiko解釋為何柏林升級沒有納入EIP-2537表示,其在柏林升級需要更多測試,團隊總體都同意,但是當我們討論將它包含在倫敦升級時,有人提出了一個我們應該使用的新庫,并可能修改gas成本,這需要更多的測試,因為它沒有削減gas。此外,它從一個非常好的擁有(預存款合約啟動以驗證存款)變成了“我們在分片之前需要這個”,因此緊迫性大大降低。[2021/6/8 23:21:36]
具體來說,Atredis的審計側重于:
identifyanddefinekeyattackchainsagainstthePolkadotRuntime
識別并定義針可對波卡Runtime的攻擊
識別確認任何可能損害Polkadot交易完整性的事件
韓國金融消費院:政府為何不對自己的無能進行反省反而打壓加密貨幣市場:7日,韓國金融消費院表示很難理解為什么政府沒有對加密貨幣政策的失敗或自己的無能進行反省,反而一直在用權利打壓加密貨幣市場。[2018/3/7]
identifycaseswhereattacker-suppliedcodeexecutioncouldbepossible
確認是否存在可以執行攻擊者提供的代碼的可能
確定任何可能會影響Polkadot可信度的情景
確認波卡Runtime架構,開發情況和交易功能,與公認的能夠確保最佳加密安全性的做法保持一致
嘗試禁用或以其他方式干擾驗證人在波卡網絡上的正常工作
嘗試選拔特定的驗證人
查看是否有可能強行選拔任免作惡的驗證人
調查顯示 超半數俄羅斯人知道比特幣為何物:最近由全俄公眾輿論研究中心(VCIOM)進行的一項調查結果顯示,超過56%的俄羅斯人表示他們知道比特幣,活躍網民中這一數字已經漲至66%。年輕的俄羅斯人(18-24歲)中知道比特幣的比率已經達到75%。而首都莫斯科和第二大城市圣彼得堡有74%的居民已經了解到了去中心化的虛擬貨幣。然而只有三分之一的人知道,任何人都可以購買比特幣,16%認為比特幣在俄羅斯實際上是被禁止的。不過,有四分之一以上的人知道虛擬貨幣不僅可以購買,還可以被開采。另有44%的人意識到,將虛擬貨幣兌現,目前在俄羅斯還沒有合法化。[2018/1/23]
報告摘要
評估是由AtredisPartners在2020年1月20日至2月11日進行的。其中包括對通信堆棧的自下而上的分析,針對波卡Runtime源代碼以及Kusama網絡的動態測試。在測試過程中特別測試了拒絕服務方案和欺詐活動。評估得出了一項嚴重,一項高,一項中等風險和三項信息方面的發現。
比特幣為何如此瘋狂:答案也許在這1000多個賬戶里:就在上周四晚到今天,幾天時間里比特幣的瘋狂再次呈現:先是價格突破1.5萬美元,就也就是突破10萬元人民幣!緊接著,比特幣的價格又跌破13000美元關口。新進的比特幣投資者必須警惕:這1000多人或許具有影響比特幣整體的定價能力。芝加哥大學基金會前任投資組合經理Ari Paul認為,和任何資產類別一樣,大型個人持有者和大型機構持有人可以合謀操縱價格。還有一種可能,這些早期比特幣投資者已經彼此認識,因為他們是在早期挖掘加密貨幣比較容易時進入這個市場,當時“挖礦”行業和幣圈的圈子很小。[2017/12/11]
關鍵的發現是Substrate中的邏輯問題,該邏輯問題允許生成零成本交易。由于平臺依賴于各種具有成本因素的交易,因此該問題可能允許作惡方通過向網絡發送可能消耗存儲空間的潛在免費交易來向網絡發送時間延遲的操作,例如投票等,以致造成損失。
該問題可通過更新有關計算權重和費用的邏輯來修正,以便使得指令通行時始終支付費用,同時也可以通過標準化計算自定義權重信息的方式來進行輔助修正。
同時要保證識別出的其他問題不能被用來擾亂或顛覆整個網絡秩序。據觀察,Rust編程語言的使用大大降低了許多攻擊類別的可能性,并且WASMRuntime的使用在沙盒實驗的動態代碼中非常有效。
對調查結果的回應
問題:通過Utility.batch進行免費交易濫用
性質:嚴重風險
狀態:已解決。并由Atredis通過代碼審查進行了驗證
https://github.com/paritytech/substrate/pull/4953
問題:通過無效交易對Polkadot節點進行CPU消耗
性質:高風險
狀態:已解決。并由Atredis通過代碼審查進行了驗證
https://github.com/paritytech/substrate/pull/5939
問題:解決P2P身份響應的端點流量反應
Medium性質:中等風險
Won’tFix.回應:不會修復該問題
原因:在公共開放網絡中基于Gossip-based的安全廣播是一個沒有正確答案的問題,不同的機構、學者、工程師提出了各種建議以及半解決方案,但都具有出于自身立場的不同權衡考慮。比特幣通過給節點運營商增加執行網絡級監控的負擔,從而防止了不安全的Gossip,就現有經驗來看這在提升性能方面是相當有效的。Polkadot提出并正在執行質押的概念,同時允許執行更多檢查。另外,當前正在研究基于由節點自身完成的內置網絡監視的解決方案。最后,節點運營商可以對大型比特幣節點運營商進行連接和帶寬使用方面的經典檢查。
問題:解決P2P身份響應的可觀測的地址DNS泄漏
性質:僅通知
回應:不會修復該問題
https://github.com/paritytech/substrate/pull/6582
問題:Substratesr25519Pair::Verify調用不推薦使用的函數
性質:僅通知
回應:不會修復該問題
https://github.com/paritytech/substrate/pull/5138
問題:Substrate在from_seed_slice不一致的接口警告
性質:僅通知
回應:不會修復該問題
保持高透明度是我們Web3Foundation最引以為豪的宗旨。因此我們將持續更新這個正在進行當中的系列內容,同時會刊登出我們發現并確定的問題和糾正的步驟。
編譯/潛行之堯
親愛的大幣網(Dcoin)用戶:由于OTC系統維護,大幣網(Dcoin)已暫停OTC交易,具體恢復時間,請您耐心等待最新公告。如有任何問題,請咨詢在線客服.
1900/1/1 0:00:00以太坊轉PoS和4G顯卡停挖這兩個因素,讓“以太坊還能挖多久”這個疑慮幾乎貫穿著顯卡礦工的整個2020年。以太坊挖礦的前景也似乎總是隨著“2.0”傳來的最新消息而被重新問起.
1900/1/1 0:00:00尊敬的客戶,您好 新版本合約上線的功能有:實時結算、分布式撮合等,同時該版本優化了整體交易架構,性能體驗更加流暢.
1900/1/1 0:00:00人到中年時,不得不服老,由于身體原因,修養了一段日子,在修養之前玉荷都還記得在專欄里講過大周期看上漲不變,也在質疑16000能否封頂,結果休息了一個多月,幣價就只逼20000附近了.
1900/1/1 0:00:00對加密貨幣市場,同一資產在不同的交易所有不同的價格。這些價格差異使得交易者可以通過在不同平臺上進行交易來獲取利潤。當閃電貸進入DeFi的世界,套利的成本更低了.
1900/1/1 0:00:00昨晚在部分平臺中,比特幣突破了歷史新高,某些平臺在2017年的歷史最高位是19822,昨晚比特幣的價格一度達到了19888,同樣突破了歷史新高,這賦予了這個12月份不同的意義.
1900/1/1 0:00:00