全球首個EOS安全管家：區塊鍊形式化驗證平臺VaaS

點選上方“藍色字”可關注我們！

編輯：鉛筆盒

近年來，隨著The DAO、Parity錢包、Coincheck等一系列區塊鏈平臺安全事件的頻繁爆發，區塊鏈平臺特別是智慧合約的安全問題成為這項新技術向前發展的障礙。針對這一安全性問題，國內外研究學者一致認為，嚴格的形式化驗證方法能夠有效地提高區塊鏈生態系統的安全性。

為此，兼具中國“985工程”與“雙一流”稱號的電子科技大學資訊與軟體工程學院楊霞副教授帶領一支區塊鍊形式化驗證團隊，經過近2年的研究和努力，研製出了一套高度自動化的區塊鍊形式化驗證平臺VaaS（Verification as a Service）。該團隊由20多名具有海外知名高校（如耶魯、UCLA）留學經歷的副教授、博士、碩士組成，具有多年的形式化驗證經驗。自2013年起，楊霞副教授所帶領的團隊也已經為航天、國防等領域的安全關鍵軟體提供了專業的形式化驗證服務。

VaaS形式化驗證平臺，採用了多種形式化驗證方法，具有驗證效率高、自動化程度高、人工參與度低、易於使用、支援多個合約開發語言、可支援大容量區塊鏈底層平臺的形式化驗證等優點。VaaS提供了針對智慧合約的形式化驗證工具，極大提高了智慧合約的安全性與可靠性。產品通過對合約程式碼進行嚴格的安全驗證，杜絕邏輯漏洞，確保合約安全，在滿足實際應用效率需求的同時，達到有效控制漏洞風險的目的。目前，VaaS平臺已支援主流區塊鏈平臺（如以太坊等）智慧合約的形式化驗證，並且已與國內10多家區塊鏈行業的知名企業建立了合作關係。

近期，VaaS將重點專注於EOS區塊鏈平臺的形式化驗證工作，為EOS提供全面的形式化驗證服務，包括EOS智慧合約的形式化驗證，EOS平臺底層軟體的形式化建模和驗證。未來，VaaS平臺將逐步支援其它主流區塊鏈平臺的形式化驗證工作，將為更多的區塊鏈平臺提供形式化驗證服務。

目前，楊霞副教授的團隊已經得到分散式資本的投資，併成立了成都鏈安科技有限公司。鏈安科技因此成為中國首個專門從事區塊鏈安全的團隊，也是分散式資本資助的唯一一個致力於區塊鏈平臺安全的公司。成都鏈安科技現正與LongHash、Cybex共同建立服務於EOS生態系統的形式化驗證社群，為EOS的安全執行保駕護航！

小科普——你知道什麼是形式化驗證方法嗎？

所謂形式化驗證方法，即指在電腦科學領域，特別是軟體工程和硬體工程中，一種特殊的基於數學的技術，用於規範、開發和驗證軟體和硬體系統，以提高系統的安全性、可靠性和魯棒性。形式化方法可以形容為建立在相當廣泛的理論電腦科學基礎上的應用，特別是邏輯演算，形式語言、自動機理論、離散事件動態系統和程式的語義，還包括型別系統和代數資料型別等理論。一般這類研究主要應用於昂貴的航空、航天、軍事器材的作業系統、危險的醫療裝置的程式之中。

本文僅代表作者個人觀點，不代表區塊鏈鉛筆的立場，不構成投資建議，內容僅供參考。

關注本公眾號後，進入公眾號

回覆關鍵詞可以查閱資料，以下是部分關鍵詞

回覆 WEF ，檢視《WEF：世界經濟論壇認為區塊鏈是網際網路金融行業的未來報告》

回覆 智慧合約 ，檢視《巴克萊銀行報告》

回覆 moody ，檢視《穆迪120個區塊鏈專案報告》

回覆 SWIFT ，檢視SWIFT《區塊鏈對證券交易全流程產生的影響及潛力》報告

回覆 論文11 ，檢視論文《可擴充套件的去中心區塊鏈》

回覆 埃森哲2 ，檢視埃森哲《區塊鏈每年可以為投資銀行節省120億美元》報告

回覆 聯合國報告 ，檢視聯合國報告《數字貨幣和區塊鏈技術在構建社會和可信金融之間扮演的角色》

回覆 使用者特性 ，檢視普林斯頓大學首本比特幣教科書初稿《比特幣使用者的特性（Characteristics of Bitcoin Users）》

回覆 普林斯頓 ，檢視普林斯頓大學首本比特幣教科書初稿《比特幣和數字貨幣技術（Bitcoin and Cryptocurrency Technologies）》

回覆 IMF，檢視國際貨幣基金組織報告《Virtual Currencies and Beyond: Initial Considerations》

回覆 DTCC ，檢視美國存管信託清算公司報告《DTCC: 擁抱分散式》

回覆 廣發 ，檢視報告《科技前沿報告：區塊鏈：正快速走進公眾和政策視野》

回覆 川財1 ，檢視報告《川財證券：區塊鏈技術調研報告之一：具有顛覆所有行業的可能性》

回覆 川財2 ，檢視報告《川財證券：區塊鏈技術調研報告之二：區塊鏈技術進化論-區塊鏈技術的國內實踐和展望》

回覆 桑坦德 ，檢視桑坦德銀行報告《The Fintech 2.0 Paper: rebooting financial services》

回覆 拜占庭 ，檢視《拜占庭將軍問題詳解》

回覆 論文1 ，檢視論文《比特幣閃電網路：可擴充套件的離線即時支付》

回覆 論文2 ，檢視論文《比特幣骨幹協議》

回覆 論文3 ，檢視論文《數字貨幣是否應該進入Barbados央行國際儲備貨幣組合中》

回覆 幫助 ，檢視本公眾號全部關鍵詞列表

點選下方“閱讀原文”檢視更多，頁面出現後再點選“來源”可以檢視譯文原文連結 ↓↓↓