智能合約審計是區塊鏈行業安全運作的清道夫_區塊鏈:CARD

圈內一天，圈外一年。隨著區塊鏈平臺及各種應用的落地，智能合約（Smart Contract)涉及的金額呈指數級增長。一直以來，智能合約的安全問題都是投資者和開發者共同關注的焦點。據報道，僅在2020年，在122起區塊鏈黑客攻擊事件中，已經導致了38億美金的的損失。

智能合約是一種旨在以信息化方式傳播、驗證或執行合同的計算機協議，允許在沒有第三方的情況下進行可信交易，這些交易可追蹤且不可逆轉。智能合約做為電子合約、去中心化仲裁和合約間交互的一個結合，會產生大量的資金往來。如果出現重大漏洞，資產損失將不可避免，甚至項目會就此徹底失去用戶信任。因此，DApp需要更嚴謹的測試和審計。

Patract CMO Santry Huang：波卡支持比以太坊復雜度更高的智能合約:金色財經現場報道，由金色財經主辦的“2021共為·創新大會”4月11日在上海舉行，本次大會以“DeFi的創新進階”為主題。Patract CMO Santry Huang在圓桌“探索未知:波卡未來的發展究竟如何?”上表示，波卡有望超越以太坊，因為波卡基于substrate，可以不需硬分叉即可升級，支持比以太坊復雜度更高的智能合約，而以太坊效率比較低下，但以太坊社區繁榮。[2021/4/11 20:08:16]

形式化驗證是指用數學方法去證明系統無 Bug 。在以前更多見于硬件設計領域。因為硬件設計周期長，一旦生產出來就很難改動。如果直接用一臺機器去做各種試驗，成本是很高的。但是如果用數學去構建一臺虛擬機去驗證，可以做到論證充分，同時又沒有太高的成本。這個過程叫做數學論證建模，也就是我們說的形式化驗證。我們最近研究了一些保護我們智能合約的專業機構與項目：

Cardano創始人：Cardano智能合約關鍵壓力測試將于今年3月進行:Cardano創始人Charles Hoskinson分享了他對Plutus智能合約平臺壓力測試的路線圖。Cardano（ADA）上的智能合約將從2021年3月開始開源。根據Hoskinson的說法，Cardano專用的智能合約環境Plutus將在2021年3月準備好進行壓力測試。一旦準備在Cardano (ADA)上進行構建的項目鎖定并加載完畢，Plutus的代碼庫就可以在開源存儲庫中獲得。然后，Cardano智能合約使用的規范“設計模式”將被公開，以及基于ADA的dApps的最佳實踐。Hoskinson確信，即將到來的測試將是“有趣的”。（U.Today）[2021/1/19 16:32:05]

金色財經現場報道 北京大學國家發展研究院特聘教授周宏騏：未來的智能合約應該是可編程的票據:金色財經現場報道，在2018FINWISE東京紛智峰會上，新加坡國立大學教授、北京大學國家發展研究院特聘教授周宏騏進行以《解構區塊鏈 + 驅動的商業模式創新》為題的現場演講，他在演講中指出：數字資產變成智能合約是以太坊2.0時代為我們帶來的驚喜。2018年，聰明人都在做公鏈，這其中最難做的就是智能合約，未來的智能合約應該是可編程的票據，要把商業合約和加密貨幣寫進去。通過使用智能合約與加密貨幣，重構“商業共生體內”的“交易結構”。區塊鏈技術的出現，減少了角色和業務活動，改變經濟效率；讓共生體內產生了小型組織、減少摩擦。所有可以成為數字資產的，都可以成為區塊鏈行業的急先鋒。區塊鏈可以通過智能合約實現網絡上自發自治的新式“自動化組織”。區塊鏈還有增加分配角色的商業邏輯，放大“社區生態”能量場總價值：用智能合約去激勵社區更活躍；讓個人社交資產變現，共同做大做強。[2018/5/21]

智能合約審計項目/公司一覽

軟件避免出bug的方法是測試，測試代碼中其實會模擬一些輸入和輸出情況來保證邏輯通順。如今DeFi正在飛速發展，相比之下，形式化驗證就是加強化測試，用數學論證，保證邏輯通暢。在區塊鏈領域，代碼即法律，代碼控制著我們的數字身份，控制著我們智能合約中的資金。但是智能合約要避免被黑客攻擊，其安全審計又是如何進行的呢？

如今，區塊鏈雖然仍處于早期，但其快速的發展，已經引起了越來越多的社會關注，黑客是其中一個群體。為了避免黑客事件的發生，交易所、錢包、項目方等都在智能合約安全上加大投入。圍繞著智能合約安全的周邊生態建設也成為投資熱點。與此同時，開發人員也開始了對智能合約程序邏輯無誤的探索，從源頭改進形式化驗證的核心，即提升數學邏輯的準確性，以求建立更為高效的區塊鏈基礎。目前OCaml、Haskell、?ternity等數學模型論證函數式編程語言已逐漸應用于區塊鏈世界，使一些分布式分類賬協議和智能合約很大程度上獲得可擴展性、穩定性和容錯性。在我們看來，數學邏輯論證是就是守衛DeFi或是整個區塊鏈行業安全運作的清道夫，未來隨著區塊鏈加密行業的逐步發展和完善，數學邏輯論證將或成為其中關鍵。（本文部分觀點摘自知乎）

Tags：區塊鏈DANCARCARD區塊鏈存證平臺法院DANA價格onekeycarCARDbuyers

UNI