現在的工業級代碼，平均每千行里面，就有七個錯誤，軟件錯誤是很難消除的，以致于有人說，軟件是人類歷史上所創造的最復雜的人造體，所以保證軟件的質量和安全性是一個任重而道遠的過程。 
虛擬機安全 
目前區塊鏈用得很廣泛，無論是游戲領域，還是金融領域，都有特別多相關的應用，也在我們日常生活里面占據了很重要的位置。正是因為這種應用的普及，導致了交易的安全也引起了很大的關注。
解決交易的安全問題，第一是研發相關的安全評測工具進行智能合約安全檢測，第二是除了智能合約之外，我們還應該看到底層的一些這樣的基礎設施平臺，如虛擬機。
底層虛擬機如果存在缺陷、漏洞，就會帶來更大的安全問題。所以我們不僅僅要在智能合約層次上保證安全可靠，在底層的虛擬機或者設施層也要想辦法去保證安全。
但現在很少有人去做這種虛擬機的測試和驗證，去保障它的安全。很大原因是因為，虛擬機的代碼量特別大，輸入也特殊，傳統的解決方案誤報率太高。
圖片來源于攝圖網
我們提出虛擬機的加固和測試工作，通過EVM加固的辦法，規避智能合約測試找不到的合約漏洞，通過差分測試去對EVM本身進行測試挖掘EVM的漏洞。
虛擬機加固是通過實時監控合約的執行進行實時防護，一旦遇到風險，立刻阻斷執行。EVM測試是通過執行結果的差異性進行對比。
舉一個簡單的例子，假定在某一個場景里有一輛百度的自動駕駛汽車，有一輛華為的自動駕駛汽車，給它同一張左拐的圖片，如果華為的車左拐了，而百度的車右拐了，那我們就知道，這兩個里面肯定是不一致的。
這時候我再把谷歌的自動駕駛車引入進來，谷歌的也是左拐，那就可以發現，谷歌和華為都是往左拐，百度卻是往右拐，這里面可能百度是有錯誤的。
圖片來源于網絡
利用差分測試，檢測出bug，是目前最有效的一個技術解決方向。首先，需要在EVM的層次上去做一些插裝，獲取一些我關注的信息。然后去分析這些信息導向合約的變異和生成，觀測有沒有違背一些屬性，如果違背就停止。 
基于區塊鏈技術的版權交易系統 
目前，創作者的門檻在降低，人人都可創作，這些創作都是有價值的，都是可以變現的，但是抄襲現象卻很嚴重。想要實現創作者的作品價值最大化有三個手段：
第一是創作即確權，第二是使用即授權，第三是發現即維權。
目前，數字版權行業存在三個大痛點：
第一，確權難。傳統版權登記周期長，同時登記價格偏高，對于海量的微作品不適用。
第二，授權難。如果確權環節沒做好，授權就會出現問題。權屬不清晰，結算不透明，交易無保障。
第三，維權難。證據難固定，侵權主體難尋，流程繁瑣，維權成本過高，得不償失。
那么如何運用區塊鏈技術去解決呢？
首先，在區塊鏈里面得有節點規劃，如果鏈上沒有節點是沒有意義的。有節點之后，再協商具體事項實現共識。節點包括版權保護業務的相關方、司法服務第三方以及其他可信第三方。
接下來是版權區塊鏈的存證，確權存證就是證明這個東西是你的，而授權一個合同備案即是一個合同存證，確權后將信息登記上鏈，也是一個存證。例如，京東的溯源區塊鏈，從大小倉庫，到承包商、批發商。最后處理的還有存證。
此文由 中國比特幣官網 編輯，未經允許不得轉載?。?a href="http://www.huohuxiazai.com/">首頁 > btc是什么 » 區塊鏈加持下，你的版權你做主 | 鋅聲