比原链与成都链安科技签署战略合作协议

masr4 FIDA 2022-08-04 07:40:24 比原链代码

  区块链形式化安全验证公司成都链安科技作为国内首家,有效地提高区块链生态系统的安全性致力于通过严格的形式化验证方法。技大学的雄厚研发实力公司依托于中国电子科,LA等世界顶尖大学的博士后、博士等数十名核心开发成员均为耶鲁、UC,关键软件提供了专业的形式化验证服务且连续多年为航天、国防等领域的安全。

  其在各自领域的优势本次合作双方将发挥,术创新深耕技,链相关领域的应用积极拓展在区块。算法的稳定围绕底层,洞的加固系统漏,构的保障基础架,安全等方面应用环境的,链安全新生态携手构建区块,链安全新高地共同打造区块。搜狐返回,看更查多

  人段新星表示比原链创始,项目区块链安全防护比原链团队极为重视,的安全性的同时在加强项目自身,第三方安全验证平台又引入成都链安科技,稳运营保驾护航目的是为项目平。算法是区块链最核心的地方区块链技术的底层机制、,稳定运行的根本是保障区块链。前目,处在初级阶段区块链技术还,使用安全性、系统安全性等诸多挑战存在密码算法安全性、协议安全性、,自外部实体风险不仅来,网络内部的攻击也有可能来自。此因,控制等方面构建区块链安全体系是一个重要问题如何围绕物理、数据、应用系统、加密、风险,在区块链安全领域进行深度交流合作未来比原链团队会与链安科技一道。

  创始人杨霞表示成都链安科技,术的快速发展随着区块链技,呈现高发态势高风险事件也,量资产交易时尤其在涉及大,“一行代码往往会出现,”、“一个漏洞打倒一种资产,约”等高风险事件摧毁一类智能合,成了十几亿美元的资产损失仅仅在2018年初就造。VaaS(Verification as a Service)链安科技团队率先研发出全球首个高度自动化的区块链形式化验证平台,全漏洞的合约代码位置可自动精确定位到有安,巨额财产损失变为历史使溢出等漏洞导致的,出”等安全漏洞所困扰让智能合约不再被“溢,“军事级”的形式化验证服务为智能合约和区块链应用提供。

  日近,安科技签署战略合作协议比原链基金会与成都链,术领域达成初步合作意向双方将在区块链安全技,提供底层平台的形式化安全验证未来成都链安科技将会为比原链,计、安全验证等服务智能合约的开发、审,约的安全性、功能正确性保证比原链平台和智能合。

分享: