BTC/HKD+1.85%
ETH/HKD+1.49%
LTC/HKD+2.96%
DOT/HKD+1.56%
ADA/HKD+1.38%
SOL/HKD+2.31%
XRP/HKD+0%
DOGE/US+8.36%本文由“靈蹤安全”原創，授權“金色財經”獨家首發，轉載請注明出處。
在靈蹤安全的審計報告中，我們會交代對每一份合約的審計流程。大體上來說，這個流程主要包括兩個步驟：一是標準化審計步驟，二是人工審計步驟。
實際上這也是目前業內比較通行的步驟。不同審計機構可能在審計流程中的具體步驟和細節上存在差異，但歸納起來也都會包含這兩個大的步驟。?
在靈蹤安全前面發布的文章中，我們特別強調過智能合約和傳統工業流水線上批量產出的標準化產品不同，它不是按流水線、標準化作業生產出來的，而是人為編寫出來的。即便是照抄現有的合約，合約的編寫者通常也會在照抄的合約上做一些小的改動。因此，兩份合約哪怕是功能上一樣、邏輯一樣、特點一樣，在具體的編寫方式上都會存在差異。而這個差異往往就是漏洞、風險的來源。但這個差異又很難用機器大工業中常見的標準工具檢測出來。但如果無法用工具檢測，單憑人力檢測，不僅工作量大，而且效率低，并且時常還會出人為方面的錯漏。這看似矛盾的兩方面交織在一起，一直貫穿著整個審計過程的始終，也是推進行業前進和革新的根本動力。
獨家 | Bakkt期貨合約數據一覽:金色財經報道，Bakkt Volume Bot數據顯示，5月5日，Bakkt比特幣月度期貨合約單日交易額為1959萬美元，同比下跌5%，未平倉合約量為1148萬美元，同比上升5%。[2020/5/6]
對靈蹤安全來說，我們對合約的檢測一方面會盡量使用工具進行驗證以提高效率并減輕人為驗證時可能出現的差異和錯漏；而另一方面我們又特別強調人工檢測的重要性，并強調人工檢測對合約質量的最后把關，因為人工檢測不僅是用來檢測工具無法檢測出來的問題，更是用來預判和發現業界未曾記錄的風險、做到防患于未然的保證。
靈蹤安全自成立以來便一直致力于對合約審計標準化工具的使用和開發。在這方面，我們大膽借鑒了業界前輩已經積累的經驗，對目前市面上已經存在的合約檢測工具都進行了細致的研究和測試。但我們發現這些工具或多或少都存在一定的局限，并且在我們具體的使用過程中還存在各種不便之處，因此我們也在前輩研發的基礎上大力開發自己的自動化檢測工具，并將我們的工具投入到合約的審計工作中。這一方面提高靈蹤安全的工作效率，另一方面將我們不斷積累的經驗優化、集成到這些工具中，讓它們更好地服務于靈蹤安全的合約審計。?
獨家 | 金色財經2月24日礦幣數據播報:金色財經報道，據幣印礦池數據顯示：
主流幣挖礦日收益分別為：BTC（￥1.14/T）、ZEC（￥0.45/T）、LTC（￥23.26/G）、BSV（￥1.25/T）、BCH（￥1.25/T）、DASH（￥0.13/G）。
當前熱門礦機數據及凈收益分別為：芯動T3+（BTC，￥32.83）、芯動A9（ZEC，￥16.94）、螞蟻L3+（LTC，￥3.74）。[2020/2/24]
對標準化檢測工具的研發及推進將始終是靈蹤安全開發工作的重點和必須攻克的難點。我們認為這也是業界未來發展的方向和制高點。把握這個方向、占據這個制高點不僅對靈蹤安全本身的發展，更對整個行業的發展都將起到重要的推進作用。
?對工具的研發和使用是靈蹤安全工作的重點，而對人工審查的強調及對審計工程師的培養、培訓則是靈蹤安全工作的重心和核心。
獨家 | 徐坤：Bakkt的增長從側面反映出傳統投資者對加密資產很感興趣:金色財經報道，近日，OKEx品牌戰略官徐坤接受記者采訪，面對“ Bakkt比特幣月度期貨未平倉合約續刷歷史新高的主要原因有哪些”問題時表示，現在市場處于單邊行情中，主流資金看漲，這是主要原因，不只是Bakkt，其他平臺包括OKEx、BitMEX的未平倉合約量都在持續增加，但Bakkt的增長確實能從一個側面反映出傳統投資者對加密資產很感興趣。[2020/2/10]
靈蹤安全認為人工審計不僅是對工具審計的查漏補缺，人工審計所積累的經驗和技能也是改進和提升工具最好的素材和動力，人工審計本身更是對整個審計過程的最后把關。所以無論從哪方面說，人工審計的重要性都不言而喻。
?人工審計所進行的是非標準化的活動。所謂的非標準化活動就是因人而異，難以絕對統一。因為每個審計工程師都有自己的習慣和自己的思路。在這種情況下如何既發揮人工審計的靈活性和創造性又避免人工審計中人為因素導致的錯漏則是靈蹤安全在人工審計過程中關注的重點和難點。
獨家 | DAppReview CEO牛鳳軒：Just.Game未開源仿盤難以模仿:針對Just.Game的安全性問題，DAppReview CEO牛鳳軒在接受金色財經采訪時指出：“Just.Game目前沒有開源，在此前的AMA也說過不會開源，這樣一方面仿盤難以模仿，另一方面要發現合約代碼的漏洞也相對比較難。任何合約，只要有漏洞都能被攻破，但是現在無法評價其代碼實際情況。”
?此外，牛鳳軒提示指出，從安全的角度來說，一個開源且審計過的合約肯定是對用戶更加安全的。但對于大部分普通用戶來說，投機的心態會更重一些，也沒有能力去辨別智能合約是否有問題，基本都會跟隨其他人進行投機。理論上，任何不開源的合約都可以作惡，甚至開源的合約在不經過嚴密檢查的情況下可能會出現問題。[2019/12/23]
我們對此采取的主要措施是流程統一和交叉審計。這兩點也是靈蹤安全在人工審計這個大步驟中重點進行的兩個細分步驟?
所謂的流程統一就是我們為合約人工審計的流程制定了一個統一的框架和流程，這個框架和流程確保我們每個審計工程師都要延這個大方向走，不出方向性錯誤，這也是企業戰略中常說的目標一致、路徑一致，在合約審計中，我們也需要這種一致。
在這種一致框架和流程的規制下，每個審計工程師可以發揮自己的主觀能動性和創造性，按自己的習慣和特點審計合約，我們不予具體地干預。
但是即便方向一致，每個工程師在具體的進度、能力、判斷上還是會出現差異，而這些差異就有可能導致風險、漏洞逃過審計。
這時我們就需要第二個手段----交叉審計來防范這個問題。
所謂的交叉審計就是一份合約我們會由多個工程師審計。這個過程是將不同工程師的不同的思路和理解進行匯總的過程，也就是我們常說的“集思廣益”。通過這種方式，我們能盡量大地覆蓋風險的范圍和種類，盡量小地減少個人理解偏差在審計中造成的誤判。
所以靈蹤安全的審計報告中所提到的審計流程歸納起來就是利用工具的標準化審計和依賴工程師經驗的人工審計。
作者：
靈蹤安全CEO譚粵飛
美國弗吉尼亞理工大學(VirginiaTech,Blacksburg,VA,USA)工業工程碩士(Master)。曾任美國硅谷半導體公司AIBTInc軟件工程師，負責底層控制系統的開發、設備制程的程序實現、算法的設計，并負責與臺積電的全面技術對接和交流。自2011至今，從事嵌入式，互聯網及區塊鏈技術的研究，深圳大學創業學院《區塊鏈概論》課程教師，中山大學區塊鏈與智能中心客座研究員，廣東省金融創新研究會常務理事。個人擁有4項區塊鏈相關專利、3本出版著作。
關于靈蹤安全：
靈蹤安全科技有限公司是一家專注區塊鏈生態安全的公司。靈蹤安全科技主要通過“代碼風險檢測邏輯風險檢測“的一體化綜合方案服務了諸多新興知名項目。公司成立于2021年01月，團隊由一支擁有豐富智能合約編程經驗及網絡安全經驗的團隊創建。
團隊成員參與發起并提交了以太坊領域的多項標準草案，包括ERC-1646、ERC-2569、ERC-2794，其中ERC-2569被以太坊團隊正式收入。
團隊參與了多項以太坊項目的發起及構建，包括區塊鏈平臺、DAO組織、鏈上數據存儲、去中心化交易所等項目，并參與了多個項目的安全審計工作，在此基礎上基于團隊豐富的經驗構建了完善的漏洞追蹤及安全防范系統。
Gate.io一直秉承真實,透明的理念,不造假數據,不干預市場交易,為用戶提供真實自由的市場工具和穩定健康的市場服務。杠桿交易提供做多和做空機制,可以有效穩定市場到合理價值.
1900/1/1 0:00:00初聽不知曲中意,再聽已是曲中人。向來心是看客心,奈何人是劇中人。后來,海底月不可撈,心上人不可及,看客心傷不起,劇中人不可提.
1900/1/1 0:00:00-熱點時事 順勢而為,回調不一定要下跌。美國總統拜登周三公布了其廣泛基礎設施計劃的第一部分,該計劃包括就業和家庭兩個部分,將在未來幾周內討論美國家庭部分的計劃.
1900/1/1 0:00:00公告編號2021040102各位關心ZBG.io的投資者們和項目方：為了保障交易的穩定運行和提升大家的使用體驗,QFIL/QC交易對將于HKT2021年4月1日17:00進行維護.
1900/1/1 0:00:00對于區塊鏈產業的支持,云南省又進了一步。去年以來,云南在區塊鏈動作密集,正式發布全國首個省級區塊鏈溯源商品碼“孔雀碼”,成立全國首個省級區塊鏈中心.
1900/1/1 0:00:00親愛的用戶： DigiFinex現已恢復LTC充提幣服務。為了更好的保護用戶的資產安全,我們將重置所有用戶的LTC代幣充幣地址(重置后您的舊充幣地址將被刪除,持有的資產不會受任何影響),請所有用.
1900/1/1 0:00:00
加密貨幣交易所
