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

電子科技大學信息與軟體工程學院楊霞副教授帶領一支區塊鏈形式化驗證團隊，經過近2年的研究和努力，研製出了一套高度自動化的區塊鏈形式化驗證平台VaaS（Verification as a Service）。VaaS提供了針對智能合約的形式化驗證工具，極大提高了智能合約的安全性與可靠性。產品通過對合約代碼進行嚴格的安全驗證，杜絕邏輯漏洞，確保合約安全，在滿足實際應用效率需求的同時，達到有效控制漏洞風險的目的。近期，VaaS將重點專註於EOS區塊鏈平台的形式化驗證工作，為EOS提供全面的形式化驗證服務。

喜歡這篇文章嗎？立刻分享出去讓更多人知道吧！