金色觀察丨分享加密項目審計”干貨”
金色財經Jason.
10分鐘前
3310
金色財經區塊鏈1月31日訊?一份好的加密項目審計報告可以讓客戶發現潛在問題,并助之解決這些問題,最后可以幫助該項目或產品得到改進,使客戶獲得更高的價值。不過,這要建立在審計人員以專業和客觀的態度與你合作,雙方共同實現這個目標的前提基礎上。如果審計人員都能遵循一定的質量和道德標準,那么客戶就能更好地達到他們的預期和要求。
通常,客戶對加密項目的要求不僅僅是找到問題,而是能找到解決方案。因此,這要求審計人員能夠為每個發現的問題都提供一些附帶的解決建議,而不是在重言式推薦中簡單寫一句“修復這個問題”。其次,應具體說明問題并在可能的情況下提供補丁。雖然作為審計師,找出最佳解決方法并不總是那么容易的,但可以嘗試先寫下幾種解決策略,然后再與客戶進行討論。不僅如此,解決方案還可區分為短期修復和長期修復。短期修復的解決方案比較簡單,例如添加其他的健全性檢查或更新某些依賴性方案;而長期修復的解決方案耗時較長,有可能需要做更多工作或進行系統/設計更改。
金色晚報 | 2月25晚間重要動態一覽:12:00-21:00關鍵詞:Coinbase、泰國SEC、查理·芒格、李啟威
1. Coinbase已獲批將于納斯達克上市 股票代碼為COIN
2. 灰度比特幣信托溢價率達歷史低點,近幾日接近無溢價或負溢價
3. 李啟威發布圖標推文引發“LTC構建銀行業務”猜測
4. Coinbase 資產負債表持有比特幣和其他加密資產,將繼續投資
5. 查理·芒格:比特幣確實是一種人造黃金替代品
6. BitMEX年交易量達1萬億美元
7. 泰國SEC將于3月24日舉行加密散戶入場規則聽證會[2021/2/25 17:52:46]
提到與客戶的討論,在這里要建議審計師積極與客戶進行交流,通常來說,最好在準備工作說明時或是在啟動會議期間能和對方就如何使用溝通渠道達成共識。不僅如此,審核人員定期與客戶共享他們的審計工作進度是非常重要的,比如自己正在評審代碼中的哪一部分、發現哪些內容不清楚或有錯誤信息,同時還要在發現問題后立即報告,這將有助于審計師及早發現錯誤,并讓開發人員實施debug措施。
當然,如果最終的審計報告中沒有涉及到任何一個安全問題的話,對審核員和客戶而言可能都會感到一絲尷尬,客戶甚至會以為審核人員可能沒有很好地完成工作,自己的錢也許白花了。所以為了減輕這種擔憂,無論最終的報告中什么問題都沒發現還是發現了一堆問題,建議最好可以首先列出自己一直在尋找的錯誤類型,然后還可以描述自己使用過哪些審計工具及其配置,并枚舉已驗證的屬性。
金色晚報 | 7月28日晚間重要動態一覽:12:00-21:00關鍵詞:杭州、以色列英國、Tether、新南威爾士
1. 杭州鼓勵企業積極爭取和率先開展央行數字貨幣結算試點;
2. 特拉維夫證券交易所將推出以色列首個區塊鏈證券借貸平臺;
3. Tether在以太坊網絡增發1.2億枚USDT;
4. 彭博策略師:比特幣比納斯達克指數更有可能維持高水平;
5. 新南威爾士州財政部提議對區塊鏈行業進行監管改革;
6. TON社區版測試網上線;
7. 數據:網絡犯罪分子約持有100萬枚比特幣;
8. KyberNetwork允許用戶通過移動應用程序參與鏈上治理投票;
9. YFII.Finance(YFII)代幣增發權限已銷毀,總量減少至固定40000枚。[2020/7/28]
但是,在這要注意的一點是,審計人員通常會夸大問題的嚴重性。而做出這樣的評級決定有時并非因為項目真的有明顯問題,而是因為項目只是“看起來”很糟糕并且會讓審計人員感到尷尬,或者因為他們推測在事件重合的情況下或許會出現漏洞。但要知道,客戶并不關心審計員對bug的個人感覺,他們只需要有意義的風險等級,然后再去確定修復bug的優先級,這樣才能與用戶進行交互。如果漏洞確實非常嚴重,比如按照威脅模型的定義,這些漏洞很可能被利用,而且存在嚴重危害,那么可以將其評估為嚴重漏洞。記住,夸大嚴重性不會幫助審計員在審計工作中樹立聲譽。
金色晚報 | 5月8日晚間重要動態一覽:12:00-21:00關鍵詞:比特大陸、比特幣期權、XRP、V神、Telegram
1. 比特大陸:市場監管部門登記顯示詹克團為法定代表人屬于登記錯誤。
2. 彭博:減半后比特幣或低于1萬美元,2020年底和2021年初將顯著上漲。
3. Ripple聯合創始人自2016年初以來已售出超過1.75億美元XRP。
4. 上海自貿區發布若干發展措施 探索區塊鏈等新技術在金融領域應用。
5. Telegram同意將ICO購買協議等文件提交給SEC。
6. 比特幣期權未平倉合約量首次突破10億美元。
7. V神:遭受惡意攻擊絕不是DeFi的固有特征。
8. 韓國社交巨頭Kakao旗下區塊鏈平臺Klaytn加入Celo旗下聯盟。[2020/5/8]
如何撰寫高質量審計報告
接下來,我們就來談談如何撰寫一份高質量的審計報告吧。
首先,審計員必須得了解審計目標受眾對象。審計需要滿足目標受眾的需求,因此需要向不同的受眾提供不同的審計文檔,比如如果只有開發人員會閱讀報告,那么一個非正式的輕量級標記語言文檔就足夠了,這樣可以節省編輯時間;但如果報告需要與投資者、合規審計員或高層管理人員共享,那么就必須提交一份帶有顏色和徽標的精美審計報告,以及一份執行摘要。所以,事先了解誰將閱讀審計報告,特別是這份報告是否會被公布是十分重要的。在這種情況下,還需要格外小心,以避免誤解和誤導性引用相關內容。
金色晨訊 | 《銀行業金融機構反洗錢和反恐怖融資管理辦法》發布實施:1.福布斯:2019年或成為企業區塊鏈之年。
2.CertiK正式加入通用協議聯盟。
3.歐洲期貨交易所計劃推出BTC、ETH和XRP的期貨合約。
4.Cardano建立EMURGO學院進入印度市場。
5.三星Galaxy S10內置區塊鏈錢包支持比特幣和以太坊。
6.天貓國際將上線全鏈路溯源系統。
7.《銀行業金融機構反洗錢和反恐怖融資管理辦法》發布實施。
8.傳統銀行Bank Frick將推出加密貨幣交易平臺。
9.火幣韓國站已加強反洗錢保護措施。
10.挖掘門羅幣的惡意軟件正在感染Windows系統。[2019/2/22]
其次,了解審計行業的最新動態,做好功課也是很重要的。比如有哪些最新的參考資料文獻和最新的漏洞和攻擊策略,這會幫助審計員節省相當多的時間來維護加密組件中常見問題的清單,以及特定于某些變成語言的常見錯誤和缺陷清單。此外,創建自己的審計工具也是一種十分有效的做法,這可以使審計過程自動化并節省時間。目前市場上已經有了不少這種工具,因此審計員可以在開始審計之前先熟悉下相關審計工具。
再次,要記住詳盡的報告好過于簡潔的報告。對于一個熟悉攻擊和利用技術安全漏洞的審核員來說,往往很想跳過一些細節問題,并期望讀者自己填補漏洞描述和解決建議中的空白,但這樣做的確有一定風險,因為讀者會誤解實際問題,繼而無法正確解決。編寫詳細的報告信息還可以幫助你發現分析中的潛在錯誤或誤解,同時也可以充分利用外部資源,例如博客文章、研究文章、甚至來自類似項目的代碼庫。
金色相對論丨何永:每個領域的AI算法都有可能和區塊鏈結合:在本期金色相對論上,在談到區塊鏈和AI如何融合時,深腦鏈CEO何永表示,兩個大邏輯:是用區塊鏈解決AI行業問題,還是用AI解決區塊鏈行業問題,第一個邏輯,從AI三要素為切入點,算力、算法、數據,從算力角度區塊鏈可以讓計算節點分布式管理,從而形成分布式AI算力,從算法角度:這個結合點就非常多了,每個領域的AI算法都有可能和區塊鏈結合,從數據角度:區塊鏈可以幫助產生數據、保護數據隱私。第二個邏輯,目前看來結合的機會有限。[2018/7/17]
另外請記住,在進行審計的時候,即使某些代碼的編寫質量可能會令人感到震驚,但也不要使用貶義或嘲諷的語氣,而是要坦率而誠實地進行評估。同樣,當代碼質量高于平均水平時,也不要過分贊美。
給審計員的建議
為了減輕審計員工作量,在這給出一個建議,那就是審核員可以將代碼審核任務按照代碼庫的不同組件進行劃分,比如package、subcrates等,然后在團隊成員之間分配工作,畢竟人多力量大嘛。但這種方法也有一些問題,那就是某一個人只關注給定的代碼行,而沒有完全了解組件之間的交互。所以如果想做的更好,其實可以讓兩個人負責審計同一組件,并且每個人至少要對所審查的所有組件以及它們如何協同工作有基本的了解。不僅如此,兩個人工作也會有助于共同討論識別錯誤和檢測模型錯誤,而且不會讓人感到無聊。
提到團隊合作,那么記錄自己的工作也是十分重要的。比如每工作1、2個小時后,通過追蹤自己的工作,包括已經分析的文件/功能/機制,然后記下想法或是失敗的攻擊嘗試,然后與團隊其他人進行共享。此外,這種做法也是向客戶證明工作合理性的一種嘗試。
那么說完了審計員的工作,再來談談他們的收費情況吧。雖然說一般都是嚴格按照工作時間收費,但這并不總是規則,特別是在規模較大和專業程度較低的公司中。“一天”的工作通常被理解為相當于8個小時的工作,因此,審計員應該按每8小時工作的天數收費,而不是為分配給該項目的員工出現在辦公室并工作了一個工作日的每個工作日收費。畢竟,有時候你需要在會議和茶歇之間耗費好幾個小時。
給客戶的建議
為了更好地對一個加密項目進行評估,選擇一個好的審計員固然重要,對于客戶來說,確定審計需求并與審計人員進行溝通也是十分重要的。客戶最好能從項目角度詳細說明這意味著什么,比如是否最擔心編碼錯誤;是否擔心代碼和規范之間不匹配;是否擔心出現設計錯誤等。
其次,客戶需要讓審核人員知道審核的重點放在哪里,以及自認為最大的風險是什么,然后在威脅模型和運營模型的背景下描述這些問題。要記住,盡可能多地共享信息,不要相信“代碼足以說明文檔”這種話,尤其是面對復雜的加密協議時。即使代碼清楚地描述了已完成的工作,也無法準確描述出應采取的安全措施,更不用說對抗模型和目標安全屬性了。因此,擁有詳細的解釋文檔,并與審核人員共享所有設計文檔、相關研究論文、以前的審核報告是十分重要的。這不光可以使審計人員節省時間,還可以幫助他們掌握被審核系統的所有內容。?????
另外,客戶也需要擺正心態,以建設性的方式看待流程。把審計報告看作是對項目的認可固然很“誘人”,但倘若收到的審計報告發現了工作中的大量問題,也許會讓人很不開心。在這需要明白的一點是:審計不太可能對產品無條件認可,因為這可能會引起對審計人員潛在利益沖突的質疑。而且,審計只是一個時間點審核,審計的目標是發現潛在問題,這樣就可以幫助客戶解決這些問題,并改善審計目標的安全態勢。審計的結果就是應該幫助項目或產品得到改進,并在客戶和審計員雙方的共同努力下實現這個目標。
當然,作為客戶肯定還是需要考慮審計費用的。建議客戶事先就報告內容達成協議,比如你只需要在審計報告中對安全性問題進行非正式描述時,可能不希望為只需要3天時間就能搞定的工作付費,尤其是這項工作可能只是簡單編寫規范而已。因此,請在工作說明或啟動會議的時候準確反映出對審計報告有何期望,以及哪些事情是你不希望看到的。
其次,客戶需要審核下工作量,不要被審計公司牽著鼻子走。假如一個只有500行代碼的項目,審計公司卻提出需要耗費5人/周的工作量,那就太可笑了。這個時候,客戶可以毫不猶豫地直接告訴審計人員自己所發現的問題,或者直接換一家審計公司。另外,相比于那些在項目開發工作中花費大量時間的開發人員,審計人員對代碼庫的了解程度肯定有所欠缺,因此客戶需要確認審計方案和實施措施,并且幫助審計人員充分了解代碼庫,畢竟如果他們不了解項目的代碼在做什么,那么也不太可能在其中發現錯誤。
在這再提供一個小貼士,假如你不一定需要審計報告的話,那么可以要求僅通過IRC、Slack、Signal或其他平臺非正式地向開發人員索要審計報告調查結果。如果你需要一份包含所有調查結果的綜合報告來存檔,但不需要一份超級正式和精良的文件,那么審計人員就不用在報告準備上花費太多時間,這么做也能幫助客戶節省幾天的咨詢費。
最后要提醒客戶一點的是,需小心處理超售工作包。一些審計公司可能會推廣銷售一些“額外工作”,比如:“威脅建模”、“安全強化”、“性能優化”、或其他或多或少相關的子項目之類的東西,這些子項目會增加你的咨詢費用。所以,甲乙雙方都應該事先清楚地理解審計工作內容和目標,以及審計工作將為客戶帶來哪些價值。但有時候,審計咨詢公司的銷售人員可能會推銷許多“不實用”的服務,如果甲方經理不熟悉具體情況、或是在沒有工程師參與時便草草簽約,那么可能會上當受騙,這種情況最終也會傷害甲乙雙方。
總結
以上分享的建議都是綜合了許多有著豐富安全審計工作經驗的大咖的經驗之談,他們十分了解審計過程中有哪些事情行之有效,哪些事情勞而無功。希望這些干貨能夠切實幫助到大家。
本文部分內容編譯自雅虎財經
區塊鏈審計
金色原創
責任編輯:Jason
我要糾錯
聲明:本文系金色財經原創稿件,版權屬金色財經所有,未經授權不得轉載,已經協議授權的媒體下載使用時須注明"稿件來源:金色財經",違者將依法追究責任。
提示:投資有風險,入市須謹慎。本資訊不作為投資理財建議。
金色財經>區塊鏈>金色觀察丨分享加密項目審計”干貨”
注:原文作者是Paradigm基金研究者GeorgiosKonstantopoulos。以太坊生態系統所面臨的最大挑戰之一,是在嚴格的資源約束下具有低延遲和高吞吐量.
1900/1/1 0:00:001月21日,最高人民法院發布《關于人民法院在線辦理案件若干問題的規定》,明確指出當事人提交的電子證據經當事人質證后,由人民法院依照有關法律和司法解釋認定其真實性、關聯性和合法性.
1900/1/1 0:00:002020區塊鏈的推特圣經:那些年為ETH喊單的大佬們WebX實驗室Daily 剛剛 16 2021年1月29日星期五商業大佬紛紛下場為BTC喊單@jack(Twitter)聯合創始人兼CEO@e.
1900/1/1 0:00:00Ins3保險已經于1月29日上線火幣Heco鏈,成為火幣Heco鏈和conflux鏈首個原創保險項目,也是以太坊和DeFi史上第一個使用預言機作為償付標準的保險項目.
1900/1/1 0:00:00通知來源:龍華區發展和改革局各街道辦,區直各單位,駐區各單位:《深圳市龍華區支持區塊鏈產業發展若干措施》已經區政府同意。現予印發,請遵照執行.
1900/1/1 0:00:001月26號14:00,開源礦池合伙人?方云豪?做客金色微訪談直播間,本次直播由金色財經花花主持,主題為“Filecoin能否引領IPFS分布式存儲走向Web3.0時代”.
1900/1/1 0:00:00