Web3項目在開發生命周期的各個階段都應考慮添加保障安全性的流程。
許多發生在Web3項目上的黑客攻擊都可以通過加強智能合約的安全性進行避免。
通常,攻擊者會發現并利用整個軟件開發環節中的一些缺陷——從設計到部署和維護以及發布新代碼等一系列步驟。如果擁有一套標準的智能合約開發和危險應對流程,我們相信安全事件會相應減少。
本篇文章的目的是概述Web3建設者、開發人員和安全團隊在設計、開發和維護智能合約系統時必須考慮的核心安全因素。以下框架討論了應在整個軟件開發生命周期中實施的八種核心安全因素——從威脅建模到應急響應準備。
在了解智能合約安全防護之前,要先了解軟件的開發階段。軟件開發可以分為以下五個階段:
設計:開發人員描述系統所需的功能和操作,包括重要的基準和固定的屬性。
開發:開發人員編寫系統的代碼。
測試和審查:開發人員將所有模塊放在一個測試環境中運行,以此評估代碼的準確性和穩定性。
部署:開發人員將系統投入實際環境。
a16z crypto任命Jason Rosenthal為運營合伙人:金色財經報道,風險投資公司 a16z crypto 宣布任命 Jason Rosenthal 為運營合伙人 ,Jason Rosenthal 最近負責 Google 大部分面向消費者的訂閱服務,以在其產品組合中提供領導指導。
Rosenthal 與這家風險投資公司有著長期的聯系,創始人本霍洛維茨曾在 1990 年代培訓他在 Netscape 擔任項目經理。[2023/4/4 13:43:31]
維護:開發人員評估和修改系統以確保它執行預期的功能。
有了這個基本開發周期的基礎,現在我們可以深入了解每個步驟中影響智能合約安全的注意事項。下圖將需要考慮的因素對應到相關的開發階段。需要注意的是,環節中的某些步驟有多方面安全考慮:?
如上所示,軟件開發生命周期不一定總是遵循線性路徑。在實踐中,可能出現重疊或延伸到其他階段的情況。某些步驟可能在每個版本中都需要重復。一些任務——例如測試和安全審查——可能需要自始至終執行。
a16z領投游戲工作室Voldex的A輪融資,金額未透露:金色財經報道,專注于加密貨幣的投資公司 a16z 領投了對游戲工作室 Voldex 的 A 輪投資。金額未透露。Voldex 通過收購和改進現有游戲來提高 Roblox 和 Minecraft 等用戶生成內容平臺的質量。a16z 在一份聲明中表示:“僅 Roblox 就有超過 5880 萬用戶,這些平臺龐大且不斷增長的用戶群,以及 Voldex 團隊對 UGC 游戲領域的深刻理解,使 Voldex 能夠在未來幾年顯著增長” 。
此前消息,截至去年 12 月,a16z 部署了不到50%的 Crypto Fund 4,這是 5 月份推出的價值 45 億美元的投資基金。[2023/1/25 11:29:00]
上述的軟件生命周期和相應的安全注意事項為促進智能合約的安全性提供了有用的基礎信息,但我們將在下文中對其進行更詳細地研究,使得理解、應用和分享這些實踐變得盡可能簡單,并具體分析關鍵問題:What、Why以及How。
設計階段的智能合約安全注意事項
考慮威脅建模和安全設計
SBF、a16z合伙人、螞蟻集團CEO等Web3領域人物將出席香港金融科技周并發表演講:10月28日消息,據香港金融科技周官網信息,SBF、a16z合伙人AlexRampell、AnimocaBrands聯創YatSiu、螞蟻集團CEO井賢棟等加密和Web3領域重磅人物將出席香港金融科技周并發表演講。該活動將于10月31日至11月4日舉行。
10月16日,香港財政司司長陳茂波表示,特區政府將在該活動上發布有關虛擬資產在港發展的政策宣言,內容涵蓋愿景和策略、監管制度、對于開放投資者接觸虛擬資產的取態,以及為把握虛擬資產帶來的技術優勢推出先導項目。陳茂波稱,政策宣言將向全球業界展示推動香港發展成國際虛擬資產中心的愿景,以及與全球資產業界一同探索金融創新的承擔和決心。[2022/10/28 11:52:45]
What:從開發生命周期的一開始就實施識別系統的潛在威脅并確定其優先級的具體方案是很重要的——智能合約開發人員應確定要在開發中實施的所有安全控制以及應在開發中檢查的所有威脅測試、審計和監控。所有的安全假設,包括攻擊的預期復雜程度和手段,都應在設計階段明確定義和闡明。
AI流動性策略開發團隊Kosen Labs完成500萬美元種子輪融資,a16z 領投:11月17日消息,由前谷歌 DeepMind 人工智能研究人員Miljan Martic和Peter Toth建立的去中心化AI流動性策略開發團隊項目Kosen Labs宣布完成由 a16z 領投的500萬美元種子輪融資,Framework Ventures 等參投。
Kosen Labs希望將AI帶入到Web3領域中,將專注于為下一代自動做市商(如Uniswap V3 和 Sushiswap Trident)提供主動流動性提供解決方案。另外,Kosen Labs 將組建Kosen基金會,并將發布DAO治理代幣。Kosen Labs 將作為基金會的一部分提供有效的LP策略和AI解決方案。[2021/11/17 6:56:20]
Why:雖然開發人員傾向于只關注智能合約或協議的預期用途,但這種關注的單一性可能會給他們留下被攻擊者利用的盲點。
How:遵循已知的威脅建模實踐。如果開發團隊沒有內部安全專業知識,那么它應該在設計階段的早期與安全顧問合作。在設計系統時采用「攻擊者」的心態,并假設任何個人、硬件或服務都可能受到攻擊。
a16z在2013年首次投資Coinbase,截止2020年共8次投資Coinbase:Coinbase董事、a16z合伙人Katie Haun表示,a16z合伙人Chris在2013年領導了公司對Coinbase的首次投資,到2020年,a16z共8次投資Coinbase。[2021/4/15 20:22:36]
開發階段的安全考慮
考慮管理和訪問控制
What:實施訪問控制,限制特權賬戶的權限和智能合約調用執行管理任務的特殊功能。遵循「最低權限原則」:每個參與者應該只擁有所需的最低訪問權限。
Why:通過升級和治理流程維護協議允許開發人員通過添加新功能、修補安全問題和優化不斷變化的條件來改進協議。如果升級的能力沒有得到適當的控制,這可能構成一個嚴重的安全漏洞。
How:建立一個多重簽名錢包或DAO合約,將對協議的更改透明化,并且應通過徹底的審查流程以及時間鎖,以確保可以驗證它們的正確性并在發生治理攻擊時回滾。確保特權密鑰在自托管錢包或安全托管服務中,且可以被安全地存儲和訪問。
考慮集成可重復使用、久經考驗的模板
What:盡可能利用現有的智能合約標準并評估您可能需要與現有協議進行集成中可能出現的安全問題。
Why:使用現有的經過實戰檢驗、社區審核的標準在降低安全風險方面大有幫助。評估協議集成的風險有助于您進行安全檢查,以防止針對外部組件的攻擊,例如預言機操縱。
How:導入經過安全審計的可信合約庫和接口,畢竟Crypto和Web3的重點是開源、重用和可組合性。請務必在代碼庫中記錄您的合約依賴項及其版本,并盡可能減少您代碼的資源占用量;例如,導入大型項目的特定子模塊而不是所有內容;了解您的風險敞口,以便監控攻擊;使用官方接口調用外部協議,并確保考慮到潛在的集成風險;監控您重復使用的合約的更新和安全信息披露。
測試和審查階段的安全注意事項
考慮測試和項目文檔
What:創建清晰、全面的代碼文檔,并設置快速、全面、易于運行的測試套件。在可能的情況下,在測試網上或通過主網模擬設置測試環境中進行更深入的實驗。
Why:為預期行為編寫假設不僅有助于確保威脅模型中的風險得到解決,也有助于用戶和外部審計人員了解開發團隊的意圖。為代碼創建測試套件有助于證明或反駁假設,并鼓勵對威脅模型進行更深入的思考。該測試套件應包括在極端市場情景下檢查項目代幣經濟學的機制設計測試,以及單元測試和集成測試。
How:通過已知的測試框架和安全檢查應用進行測試——例如Hardhat、?Mythril、?Slither、Truffle等;提供不同的測試技術,例如模糊測試、屬性檢查,甚至形式驗證;全面記錄您的代碼,使用NatSpec注釋來指定預期的副作用、參數和返回值。使用文檔生成工具和高級設計說明生成實時文檔。?
考慮內部審查和安全審計
What:花時間通過內部和外部代碼審計來發現錯誤。
Why:從功能開發轉移到安全問題上,讓開發人員有時間發現潛在的安全問題。外部審計在這方面可能特別有用,因為它們可以帶來開發團隊沒有的外部觀點和專業知識。
How:在項目開發的適當時刻,安排功能凍結,以便有時間進行內部審查,然后進行外部審計。這些動作應該在實時部署和升級之前進行,可以查看來自ConsenSys、Nascent、OpenZeppelin和TrailofBits的指南,這些指南為開發人員提供了考慮事項清單——包括時間安排——供任何準備審計的人使用。還要確保查看部署事務以確保它們使用經過審核的代碼版本并具有適當的參數,尤其是在升級軟件時。
部署和維護階段的安全注意事項
考慮激勵白帽社區參與
What:創建鼓勵社區參與開源代碼庫安全改進的計劃。一種方法是建立漏洞賞金。另一種方法是鼓勵社區開發協議監控檢測機器人。
Why:開發團隊可以從更廣泛的知識和經驗中受益。值得注意的是,此類程序可以幫助激發開發者對項目的熱情,實質上將社區和白帽黑客變成了傳道者。它們還可以通過為黑客提供成為防御者的途徑來幫助將潛在的攻擊者轉變為守護者。
How:使用漏洞賞金平臺為賞金系統提供基于嚴重程度的獎勵,以激勵熟練的黑客披露漏洞。開發團隊可以鼓勵他們的協議社區利用傳統和Web3原生的方法來激勵對漏洞的尋找,并讓參與者通過增強安全性來獲得潛在獎勵,從而為所有人帶來雙贏。
考慮實時監控
What:實施監控智能合約和關鍵運營組件的系統,并根據已知威脅模型向開發團隊和社區報告可疑活動。
Why:早期發現問題使團隊能夠快速對漏洞和錯誤進行響應,從而可能阻止或減輕損害。這似乎很容易想到,但在規劃中可能會被忽略。
How:使用監控平臺或分布式節點運行實時監控智能合約事件的機器人。根據需要為開發團隊和更廣泛的社區建立儀表板和警報通知。
考慮事件應急響應流程
What:利用能夠在出現任何安全問題時立即做出響應的工具和流程。
Why:即使有最好的部署前保護措施,智能合約和關鍵組件仍然可能存在臨時問題。擁有專門的人員、清晰的流程和適當的自動化確保可以快速調查并盡快解決事件。
How:通過計劃如何響應事件或緊急情況以及最大程度地使得響應能力自動化,為最壞的情況做準備。包括為有能力的人員分配調查和響應責任,這些人員可以通過分布式安全郵件列表、代碼存儲庫中的說明或智能合約注冊表公開聯系與安全問題相關的人員。根據協議的威脅模型,開發一套流程,其中可能包括場景演習和采取緊急行動的預期響應時間。考慮將自動化集成到事件響應中:例如,工具可以接收來自Forta機器人的事件并對其采取行動。
對于安全的考慮應該是成功開發的一個組成部分,而不僅僅是事后的想法。?
盡管上述框架為構建Web3協議和應用的團隊在整個開發過程中提高安全性方面提供了一些快速指南,但簡短概述不足以提供對智能合約安全性各個方面的詳盡討論。缺乏內部安全專業知識的團隊應該聯系合格的Web3安全專家,他們可以幫助團隊將上述的通用指導應用于他們的具體情況。但最重要的是,請記住,安全絕不僅僅是在簡單的清單中打勾以管理復雜的問題,它始終是一套永無止境、持續不斷的實踐過程。我們仍處于建立這些實踐的開始階段,因此現在是為所有開發人員協作創建和共享安全實踐的時候了。
市場走勢很糟糕,但隨著主要基金拋售數百萬本已低迷的資產,早期機構解鎖后的情況變得更糟,讓我們看一個最近的例子,并分析如何保護自己.
1900/1/1 0:00:00傳統上,創造就業機會是由家們設計的,他們急切地讓國家恢復工作,刺激經濟發展。從大蕭條時期的就業創造計劃到美國總統巴拉克·奧巴馬的《美國就業法案》,就業計劃有著漫長而曲折的歷史.
1900/1/1 0:00:00隨著Crypto和元宇宙逐漸出圈,Web3成為熱門話題,并被冠以「互聯網下一個時代」的宏大愿景。與此同時,Web3社交賽道開始興起,對中心化的Web2社交平臺造成沖擊.
1900/1/1 0:00:001.金色觀察|從鏈上數據看加密行情的新變化最新數據顯示,“加密市場崩盤”詞條正在全球范圍內主導谷歌搜索趨勢.
1900/1/1 0:00:00頭條 ▌美參議員:美國穩定幣法可能在今年通過金色財經消息,美國參議員PatToomey在Consensus2022大會上表示,美國可能會在今年年底之前通過一項關于穩定幣的新聯邦法律.
1900/1/1 0:00:00a16z合伙人JonathanLai認為,游戲是反周期的,有更好的機會度過經濟衰退。原文標題:《6億美元新「子彈」,a16z會投資怎樣的Web3游戲團隊?》這是播客筆記整理,主持人為Michai.
1900/1/1 0:00:00