|
日前，Scry.info與鏈安科技達成戰略合作，雙方將在區塊鏈智能合約開發、安全審計、形式化驗證等領域展開深度戰略合作。
成都鏈安科技有限公司，專注于區塊鏈安全領域，總部位于成都。由電子科技大學楊霞教授和郭文生教授共同創建，團隊核心成員由20多名來自海外知名高校和實驗室(CSDS、耶魯、UCLA)留學經歷的副教授、博士后、博士、碩士組成。其核心技術為形式化驗證，該團隊使用此技術為航天、軍事等領域的安全關鍵系統提供多年的形式化驗證服務。其團隊打造的VaaS(Verufucation as a Services)是世界上第一個提高區塊鏈安全性的形式化驗證平臺，致力于利用形式化驗證理論和方法，提高區塊鏈平臺和智能合約的安全性和功能性。 在現今區塊鏈行業全面高速發展的大壞境下，很多新進參與者對技術安全沒有經過長時間的積淀和應用，會面臨很多非常高的技術風險，以至產生盜幣、丟幣、合約崩潰等問題。因此，行業迫切需要一個形式化數據驗證平臺來幫助參與者規避潛在的技術漏洞和風險，鏈安科技通過搭建數學模型，利用形式化驗證理論和方法為開發者提供安全可靠的保障，推動行業高速可靠的發展。 與此同時Scry.info作為全球首個區塊鏈可量化數據交易平臺，旨在實現數據的儲存，驗證，共享，分析和交易。利用智能合約，對跨行業資源的分布式用戶提供集群智能數據驗證，并以智能合約的形式在平臺提供調用，工具，分享和交易。未來，Scry.info將會鼓勵眾多的個人和團體在協議層上搭建自己的Dapp，此次合作也將為Scry的生態系統帶來更可靠的安全性保障。致力于創建更加美好與完善的Scry生態系統。 最后，雙方在區塊鏈行業技術和理念的高度契合使得合作水到渠成，相信隨著雙方合作的不斷深入，勢必將展開更為廣闊領域的交流與協作，共創發展契機，推動整個行業的蓬勃發展。 |
- 關注天氣:
