前言
慢霧安全團隊開源 -- Web3 項目安全實踐要求,提供了詳細的實踐要求和建議來幫助 Web3 項目研發團隊識別和防范這些潛在的安全風險。Web3 項目方可以參考本文提供的安全實踐要求,掌握相應的安全技能,提高 Web3 項目的安全性,以便更好地保護項目和用戶的資產安全。
Web3 項目安全實踐要求包含如下的內容:
現今針對 Web3 項目的攻擊手法層出不窮,且項目之間的交互也越發復雜,在各個項目之間的交互經常會引入新的安全問題,而大部分 Web3 項目研發團隊普遍缺少的一線的安全攻防經驗,并且在進行 Web3 項目研發的時候重點關注的是項目整體的商業論證以及業務功能的實現,而沒有更多的精力完成安全體系的建設,因此在缺失安全體系的情況下很難保證 Web3 項目在整個生命周期的安全性。
通常項目方團隊為了確保 Web3 項目的安全會聘請優秀的區塊鏈安全團隊對其代碼進行安全審計,在進行安全審計的時候,才能夠更好地實現各種安全實踐要求,但是區塊鏈安全團隊的審計僅僅是短期的引導,并不能讓項目方團隊建立屬于自己的安全體系。
因此慢霧安全團隊開源了 Web3 項目安全實踐要求來持續性幫助區塊鏈生態中的項目方團隊掌握相應的 Web3 項目的安全技能,希望項目方團隊能夠基于 Web3 項目安全實踐要求建立和完善屬于自己的安全體系,在審計之后也能具備一定的安全能力。
0x01 開發準備
需求分析文檔要求
1. 確保包含項目的詳盡描述
2. 確保包含項目解決的問題
3. 確保包含安全/隱私風險評估
開發設計文檔要求
1. 確保包含項目的架構設計圖
MyCo聯合創始人:Web3可能顛覆內容消費,但仍然需要傳統媒體:金色財經報道,MyCo聯合創始人Phil McKenzie在法國首屆MetaCannes電影節上表示,Web3 太棒了,它有很多希望和機會。Web3仍然不是主流,我們希望來到這里并與當地的所有其他人互動,無論是生產商、銷售代理、分銷商,還是金融家。目前,Web3元素對我們來說是非常面向觀眾的,盡管我們確實有一些計劃,也許可以利用這個平臺來幫助為未來的項目創造資金。邊看邊賺的模式真的很火,感覺它是內容流媒體和消費應該有的現代和創新代表。
據悉,MyCo 是一家總部位于迪拜的流媒體平臺,它允許用戶通過觀看內容來賺取加密貨幣。[2023/5/29 9:47:55]
2. 確保包含代碼中函數的功能描述
3. 確保包含代碼中合約之間的關聯關系描述
4. 確保安全/隱私的要求被正確實施
業務流程文檔要求
1. 確保包含項目中每個業務流程的描述
2. 確保包含詳盡的業務流程圖
3. 確保包含詳盡的資金鏈路圖
智能合約安全編碼要求
1. 確保包含盡可能基于 OpenZeppelin 等知名 library 進行開發
2. 確保包含使用 SafeMath 或 0.8.x 的編譯器來避免絕大部分溢出問題
3. 確保遵循函數命名規范,參考:solidity style guide
(https://docs.soliditylang.org/en/v0.8.14/style-guide.html)
4. 確保函數和變量可見性采用顯性聲明
5. 確保函數返回值被顯性賦值
6. 確保函數功能和參數注釋完備
7. 確保外部調用正確檢查返回值,包含:transfer,transferFrom,send,call,delegatecall 等
8. 確保 interface 的參數類型返回值等實現是正確的
香港立法會議員吳杰莊:預算案內容體現了港府對于Web3發展的決心:金色財經報道,2月22日,由Meta Era主辦、OKX協辦的「香港概念暴漲,神秘東方力量崛起」Twitter Space正式開啟,特邀香港立法會議員、高等學府、香港機構代表協同Web3行業代表肖風、Jack孔、孫宇晨、杜均等全面解讀香港新財政預算案科技和經濟政策。
吳杰莊對于預算案中的幾個重點內容進行了解讀。對于預算案中的“Web3同樣潛力龐大”,吳議員認為這代表港府看到了Web3的無限潛力。對于“與時并進”,吳議員指出這代表港府愿意去學習新的東西,并去配合發展。對于“Web3生態圈”,吳議員認為Web3行業內有各種賽道,港府也是想要聚集行業賽道人員,打造Web3生態圈。吳議員特別強調了預算案中的“推動跨界別業務合作”,表示這也是Web3破圈的契機。對于“成立虛擬資產發展小組”,吳議員指出香港的發展小組都有自己的任務和期限,并且需要展示成果,這也體現了港府對于Web3發展的決心。最后,吳議員表示港府想要的Web3發展是如預算案中說的“可持續、負責任地發展。”[2023/2/22 12:23:21]
9. 確保設置合約關鍵參數時有進行鑒權并使用事件進行記錄
10. 確保可升級模型的新的實現合約的數據結構與舊的實現合約的數據結構是兼容的
11. 確保代碼中涉及算數運算的邏輯充分考慮到精度問題,避免先除后乘導致可能的精度丟失的問題
12. 確保 call 等 low level 調用的目標地址和函數是預期內的
13. 使用 call 等 low level 調用的時候要根據業務需要限制 Gas
14. 編碼規范進行約束,遵循:先判斷,后寫入變量,再進行外部調用 (Checks-Effects-Interactions)
15. 確保業務上交互的外部合約是互相兼容的,如:通縮/通脹型代幣, ERC-777, ERC-677, ERC-721 等可重入的代幣,參考:重入漏洞案例
(https://medium.com/amber-group/preventing-re-entrancy-attacks-lessons-from-history-c2d96480fac3)
網絡安全公司Irius Risk完成2870萬美元B輪融資,將拓展Web3及區塊鏈安全業務:10月5日消息,網絡安全初創公司Irius Risk宣布完成2870萬美元B輪融資,本輪融資由Paladin Capital領投,360 Capital、Inveready、Swanlaab Venture Factory參投。Irius Risk開發的安全平臺能幫助企業識別軟件和系統設計中的潛在威脅并提出對策,從而提升產品安全性。
在新資金支持下,Irius Risk希望將其業務拓展至Web3及區塊鏈領域領域,其創始人De Vries表示,網絡安全的下一個潛在增長領域將是Web3和區塊鏈技術,雖然這是一個仍處于初級階段的行業,但預計監管和消費者對更高安全性的需求將迫使更多Web3開發者在創建產品過程中建立威脅模型。(Sifted)[2022/10/5 18:40:08]
16. 確保外部調用充分考慮了重入的風險
17. 避免使用大量循環對合約的 storage 變量進行賦值/讀取
18. 盡可能避免權限過度集中的問題,特別是修改合約關鍵參數部分的權限,要做權限分離,并盡可能采用治理,timelock 合約或多簽合約進行管理
19. 合約的繼承關系要保持線性繼承,并確保繼承的合約業務上確實需要
20. 避免使用鏈上的區塊數據作為隨機數的種子來源
21. 確保隨機數的獲取和使用充分考慮回滾攻擊的可能
22. 盡量使用 Chainlink 的 VRF 來獲取可靠的隨機數,參考:Chainlink VRF
(https://docs.chain.link/vrf/v2/introduction)
23. 避免使用第三方合約的 token 數量直接計算 LP Token 價格,參考:如何正確獲取 LP 的價
(https://blog.alphaventuredao.io/fair-lp-token-pricing/)
24. 通過第三方合約獲取價格的時候避免單一的價格來源,建議采用至少 3 個價格來源
GnosisSafe新增“鏈接分享”與“演示模式”功能,并已集成65個Web3應用:6月16日消息,GnosisSafe官方宣布,已新增“鏈接分享”與“演示模式”功能,用戶可分享任何已集成到Safe應用程序的鏈接;演示模式讓用戶在購買前可先行模擬試用。目前已實現Uniswap,Curve,LidoStaking,ENS,Snapshot等65個Web3應用的集成。[2022/6/16 4:33:03]
25. 盡可能在關鍵的業務流程中使用事件記錄執行的狀態用于對項目運行時的數據分析
26. 預留全局與核心業務緊急暫停的開關,便于發生黑天鵝事件的時候及時止損
測試用例代碼要求
1. 確保包含業務流程/函數功能可用性測試
2. 確保包含單元測試覆蓋率 95% 以上,核心代碼覆蓋率要達到 100%
基礎安全配置要求
1. 確保官方郵箱使用知名服務商,如 Gmail
2. 確保官方郵箱賬號強制開啟 MFA 功能
3. 確保使用知名域名服務商,如 GoDaddy
4. 確保域名服務商平臺的賬號開啟 MFA 安全配置
5. 確保使用優秀的 CDN 服務提供商,如 Akamai、Cloudflare
6. 確保 DNS 配置開啟了 DNSSec,在域名服務管理平臺上為管理賬號設置強口令并開啟 MFA 認證
7. 確保全員的手機和電腦設備使用殺軟件,如卡巴斯基、AVG 等
Web 前端安全配置要求
1. 確保全站的 HTTP 通訊采用 HTTPS
2. 確保配置了 HSTS,以防止中間人攻擊,如:DNS hijacking,BGP hijacking,參考:HSTS 配置介紹
(https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Strict-Transport-Security)
World Innovation Lab完成10億美元融資,新基金將投資Web3領域:6月14日消息,World Innovation Lab(WiL)宣布完成10億美元融資,具體融資細節暫未透露。本輪融資資金將流入World Innovation Lab旗下多個基金,包括:WiL的第三個成長型基金WiL Ventures III、WiL風投基金WiL Strategic Partners、以及企業風投基金。據悉,WiL VenturesIII將在氣候、健康、Web3及其他新興技術領域進行投資。[2022/6/14 4:26:05]
3. 確保配置了 X-FRAME-OPTIONS,以防止 Clickjacking 攻擊,參考:X-FRAME-OPTIONS 配置介紹
(https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/X-Frame-Options)
4. 確保配置了 X-Content-Type-Options,以對抗瀏覽器 sniff ?為導致的?險,參考:X-Content-Type-Options 配置介紹
(https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/X-Content-Type-Options)
5. 確保配置了 CSP 策略,以防止 XSS 攻擊,參考:CSP 內容安全策略介紹
(https://developer.mozilla.org/en-US/docs/Web/HTTP/CSP)
6. 確保與權限和用戶憑證相關的 Cookie 配置了 HttpOnly, Secure, Expires, SameSite 標志,參考:Cookie 配置介紹
(https://developer.mozilla.org/en-US/docs/Web/HTTP/Cookies)
7. 確保不同業務的子域嚴格劃分開,避免子域的 XSS 問題互相影響
8. 確保引用的第三方資源使用了 integrity 屬性進行限制,避免第三方被黑導致項目方的站點受到影響,參考:SRI 配置介紹
(https://developer.mozilla.org/zh-CN/docs/Web/Security/Subresource_Integrity)
9. 確保正確配置 CORS,僅允許指定 origin 域,協議和端口訪問項目的資源,參考:CORS 配置介紹
(https://developer.mozilla.org/zh-CN/docs/Web/HTTP/CORS)
10. 確保業務中實現的 addEventListener/postMessage 有檢查消息的 origin 和 target,參考:postMessage 安全介紹
(https://developer.mozilla.org/zh-CN/docs/Web/API/Window/postMessage)
后端環境安全配置要求
1. 確保選用優秀的云服務器提供商,如:AWS、Google 云等
2. 確保項目使用到的云平臺管理賬號使用強口令并開啟 MFA 認證
3. 確保項目代碼部署到服務器前對服務器進行安全加固,如:安裝 HIDS,采用 SSH Key 進行登錄,設置 SSH 登錄 alert,設置 SSH 登錄 google-auth 等
4. 確保使用專業軟件監控服務、服務器可用性,如 APM、Zabbix
5. 確保使用專業的機構定期測試項目安全性,如 SlowMist、Trail of Bits 等
0x03 發布過程
需要有完備的安全上線發布流程,可以參考如下的內容進行細化:
代碼凍結要求
在預計的上線時間倒推 2 天,即上線 2 天前必須凍結代碼不再做任何代碼改動
單元測試要求
1. 確保單元測試覆蓋率 95% 以上,核心代碼覆蓋率 100%
2. 確保輸出單元測試的覆蓋率報告
回歸測試要求
在上線 1 天前執行單元測試并進行回歸測試
測試報告要求
上線前 0.5 天由開發及測試共同完成測試報告,如果不通過(含單元測試、回歸測試),則推遲上線時間,開發完成修改后重新進入代碼凍結階段(即推遲至少 2 天)
安全審計要求
1. 安全審計人員在代碼凍結后進入整體安全回歸,如發現任一漏洞或安全隱患(嚴重、高危、中危),則推遲上線時間,開發完成修改后重新進入代碼凍結(即推遲至少 2 天)
2. 安全審計需要至少三個團隊進行獨立的審計,可以采用 1 個內部團隊 + 2 個外部團隊
運行時安全監控
盡可能的通過關鍵業務流程中觸發的事件來發現項目運行時的安全問題,如:
1. 合約關鍵權限/參數變更:監控管理角色發生變更的事件,管理角色修改合約關鍵參數的事件,及時發現私鑰可能被盜的情況
2. 合約資金變化:監控價格變動及合約資金變動的情況,及時發現可能的閃電貸等攻擊
3. 周期性對賬:周期性對鏈上的事件與交易進行對賬,及時發現可能的業務邏輯上的問題
運行環境安全加固
1. 確保實施前端代碼所在服務器的安全加固,如:安裝 HIDS (https://www.aliyun.com/product/aegis),采用 SSH Key 進行登錄,設置 SSH 登錄 alert (https://medium.com/@alessandrocuda/ssh-login-alerts-with-sendmail-and-pam-3ef53aca1381),設置 SSH 登錄 google-auth (https://goteleport.com/blog/ssh-2fa-tutorial/) 等
2. 確保 DNS 配置開啟了 DNS Sec,在域名服務管理平臺上為管理賬號設置強口令并開啟 2 次認證
3. 確保項目使用到的云平臺管理賬號使用了強口令并開啟了 2 次認證
發布漏洞賞金計劃
發布漏洞賞金計劃或入駐知名的漏洞賞金平臺, 吸引社區白帽子為項目保駕護航;可以選擇 BugRap (https://bugrap.io/), code4rena (https://code4rena.com/), immunefi (https://immunefi.com/)
成立名義應急小組
成立名義應急小組并對外提供聯系方式,由應急小組負責處理白帽子發現的問題或在黑天鵝事件爆發時主導團隊成員進行應急處置
完備的應急處置流程
盡可能地制定完備地應急處置流程,有條不紊地根據應急處置流程來處置黑天鵝事件
止損處置要求
1. 根據問題影響的范圍和危害程度,及時通過緊急暫停開關進行止損
2. 通知社區成員發生黑天鵝事件,避免用戶繼續與項目進行交互導致虧損
黑客追蹤要求
1. 迅速分析黑客的獲利地址,并留存 PC/Web/服務器的訪問日志(如果有木馬請留存木馬文件)
2. 對服務器進行快照,及時保留被黑現場
3. 聯系專業的安全團隊協助進行追蹤,如: MistTrack 追蹤分析平臺 (https://misttrack.io/), Chainalysis (https://www.chainalysis.com/)
修復問題要求
1. 與專業安全團隊討論問題的最佳修復方案
2. 正確實施修復方案并請專業的安全團隊進行驗證
安全發布要求
執行發布過程要求,確保一切代碼的變更均有經過測試和安全審計
復盤分析要求
1. 披露驗尸報告并與社區成員同步修復方案及補救措施
2. 驗尸報告需要同步問題的本質原因,問題的影響范圍,具體的損失,問題的修復情況,黑客的追蹤等相關進展
總結
安全是動態管理的過程,僅依賴于第三方安全團隊的短期審計并不能真正保障項目長期安全穩定地運行。因此,建立和完善 Web3 項目的安全體系是至關重要的,項目方團隊自身具備一定的安全能力才能更好的保障 Web3 項目安全穩定地運行。
除此之外,我們建議項目方團隊還應該積極參與安全社區,學習最新的安全攻防技術和經驗,與其他項目方團隊和安全專家進行交流和合作,共同提高整個生態的安全性。同時,加強內部安全培訓和知識普及,提高全員的安全意識和能力,也是建立和完善安全體系的重要步驟。
最后,Web3 項目安全實踐要求目前屬于 v0.1 版本,并且還在持續的完善,如果你有更好的建議,歡迎提交反饋。
慢霧科技
個人專欄
閱讀更多
金色財經 善歐巴
金色早8點
白話區塊鏈
Odaily星球日報
Arcane Labs
歐科云鏈
MarsBit
深潮TechFlow
BTCStudy
鏈得得
一季度行情即將接近尾聲,比特幣和以太坊的走勢越來越趨同,幾乎完全相關。比推終端數據顯示,以太坊年初至今 (YTD) 上漲了 50.02%,但比特幣卻飆升了 72.30%,有望創下兩年來最佳的季度.
1900/1/1 0:00:00撰文:The DeFi Investor當今加密貨幣市場中,以太坊生態系統一直是最為活躍和受歡迎的項目之一。然而,要實現大規模采用還需要更多的創新和突破.
1900/1/1 0:00:00原文作者:Ignas,DeFi 研究員原文編譯:Leo,BlockBeats除了項目本身,在加密 VC 的投資上也能看出市場走向.
1900/1/1 0:00:00原文:《3月發生較典型安全事件超21起,各類攻擊事件損失總金額約2.18億美元!》 作者:Beosin 本月損失的主要金額來自于3月13日Euler Finance遭受攻擊損失的1.97億美元.
1900/1/1 0:00:00近期,香港在擁抱Web3的進程中大動作頻頻,來自全世界的Web3 Builder們都迫不及待的加入了此次盛會,分享新知表達觀點的同時,也與新伙伴相識、與老伙計“奔現”.
1900/1/1 0:00:00原文:《構建加密部落文化:模因、信仰、符號體系、圖騰及加密精神》 作者:0xShadow Web3的產品具有部落文化,meme是圖騰,理念是文化,資金和流動性是護城河,歸屬感和認同是信仰的來源.
1900/1/1 0:00:00