為何波卡在完成安全審計后卻拒絕解決風險問題?
我們Web3Foundation的使命是促進下一代互聯網的發展:旨在建立一個去中心化的,公平的網絡,在該網絡上用戶可以控制自己的數據,市場可以從網絡效率和安全性中受益。這篇文章我們在其中報告了為加強我們的系統而進行的安全審核的相關內容。
該安全審計工作由信息安全公司AtredisPartners進行,該公司在滲透測試,逆向工程,硬件/軟件開發以及嵌入式系統設計評估方面擁有豐富的經驗。
什么是安全審計
我們邀請Atredis對波卡Runtime的完整性,機密性和可用性以及波卡驗證程序的安全性和可靠性進行了安全性評估。
此鏈接可閱讀整個審核員的報告。
https://assets.polkadot.network/security-audits/Atredis_Partners-Web3-Polkadot-PlatformSecurityAssessment.pdf
律師Jeremy Hogan:SEC過去曾稱XRP為數字貨幣,必須在法庭上解釋為何現在不予支持:4月6日消息,霍根律師事務所的合伙人杰里米·霍根(Jeremy Hogan)曾在Twitter上表示,2016年美國證券交易委員會(SEC)提到了Ripple以“數字貨幣公司”的身份進行文件研究。
現在,SEC將不得不向法官澄清其如何轉變為“數字安全”公司。(U.today)[2021/4/6 19:51:39]
具體來說,Atredis的審計側重于:
identifyanddefinekeyattackchainsagainstthePolkadotRuntime
識別并定義針可對波卡Runtime的攻擊
識別確認任何可能損害Polkadot交易完整性的事件
動態 | 馬紹爾官員David?Paul發解釋為何馬紹爾群島計劃發布自己的加密貨幣:馬紹爾群島總統助理兼環境部長David?Paul發文解釋為什么馬紹爾群島要發布自己的加密貨幣。 馬紹爾群島共和國自1979年成為獨立民主國家以來,一直使用美元作為貨幣。今天,馬紹爾正在推進使用區塊鏈技術以數字形式發行主權貨幣的計劃。馬紹爾去年通過了《主權貨幣法案》,宣布打算發行一種新貨幣Sovereign (SOV),將與美元一起使用。發行貨幣當然是任何主權國家的特權,但史無前例的是,馬紹爾選擇使用區塊鏈技術發行主權貨幣。 當馬紹爾選擇發行貨幣時,做了三個關鍵的決定。首先,貨幣將基于區塊鏈技術,這對于馬紹爾群島至關重要。第二,貨幣供應量的增長將是預先確定的和防篡改的。最后但同樣重要的是,這種合規性將被納入貨幣協議本身,同時保持個人隱私。 他表示,區塊鏈技術的出現為馬紹爾這樣的小國打開了一個充滿機遇的世界。借助基于區塊鏈的數字貨幣,馬紹爾可以自動化大部分合規負擔,并在國際舞臺上發揮積極作用。區塊鏈讓馬紹爾有機會以反映馬紹爾價值觀的方式最終獲得貨幣獨立。馬紹爾打算以創新和負責任的方式抓住這個機會。[2019/9/4]
identifycaseswhereattacker-suppliedcodeexecutioncouldbepossible
聲音 | 億萬富翁Druckenmiller:不理解為何需要比特幣:據華爾街見聞消息,億萬富翁Stanley Druckenmiller表示,并不理解美聯儲為何被困在2%這一通脹目標。目前并沒有陷入衰退,但必須保持警惕。此外,Druckenmiller還稱不理解為何需要比特幣,他既不會沽空、也不會做多比特幣。[2019/6/4]
確認是否存在可以執行攻擊者提供的代碼的可能
確定任何可能會影響Polkadot可信度的情景
確認波卡Runtime架構,開發情況和交易功能,與公認的能夠確保最佳加密安全性的做法保持一致
嘗試禁用或以其他方式干擾驗證人在波卡網絡上的正常工作
嘗試選拔特定的驗證人
查看是否有可能強行選拔任免作惡的驗證人
聲音 | Samson Mow:很難理解為何質疑Liquid網絡不是真正的側鏈:據Bitcoinist消息,Blockstream首席戰略官Samson Mow近日表示,很難理解為何會有人質疑Liquid網絡并不是真正的側鏈。Liquid網絡與兩種數字貨幣錨定,并且其數據可在其他鏈上被驗證。[2018/10/13]
報告摘要
評估是由AtredisPartners在2020年1月20日至2月11日進行的。其中包括對通信堆棧的自下而上的分析,針對波卡Runtime源代碼以及Kusama網絡的動態測試。在測試過程中特別測試了拒絕服務方案和欺詐活動。評估得出了一項嚴重,一項高,一項中等風險和三項信息方面的發現。
關鍵的發現是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最引以為豪的宗旨。因此我們將持續更新這個正在進行當中的系列內容,同時會刊登出我們發現并確定的問題和糾正的步驟。
編譯/潛行之堯
Tags:STRSUBSPOLTRATGastreamSubstratumethylenecopolymerStratis
在過去的幾年中,DeFi大大提高了任何加密貨幣投資者的靈活性和潛在策略。去中心化交易所,去中心化借貸,自動化貨幣管理策略,合成資產和收益耕種的引入都創建了新的工具,交易者可以將其用作其策略的一部.
1900/1/1 0:00:00文章系金色財經專欄作者牛七的區塊鏈分析記供稿,發表言論僅代表其個人觀點,僅供學習交流!金色盤面不會主動提供任何交易指導,亦不會收取任何費用指導交易,請讀者仔細甄別,謹防上當.
1900/1/1 0:00:00未來投資什么東西最能保值?關鍵是要看什么東西最稀缺,越是稀缺的東西,隨著時間的推移越是值錢。當下世界主要國家大多奉行低利率甚至是負利率政策,也就是說經濟增長很大程度上要靠貨幣政策驅動,帶來一個重.
1900/1/1 0:00:00終于,又一個被稱作區塊鏈3.0的項目,出現了。上一個被稱為區塊鏈3.0的還是EOS。2018年,EOS成為當之無愧的明星項目,它在二級市場上一度市值突破50億美元,在加密貨幣中排名第四.
1900/1/1 0:00:00親愛的用戶: DigiFinex將于2020年12月2日17:00(GMT8)上線NCDT并同步開啟充幣服務.
1900/1/1 0:00:00本周一,俄羅斯央行及多家銀行和金融機構通過遠程會議對數字盧布進行討論。許多與會者表示期待試行數字盧布,但是也有一些人暗示他們擔心該項目的某些功能.
1900/1/1 0:00:00