巴比特论坛

发表于 2018-7-12 19:50:54 | 显示全部楼层
今天,新一代公有基础链项目及分布式信任协作平台——本体(Ontology)宣布与成都链安科技(LianAn Technology)启动技术合作,链安科技正式加入本体安全“共建者计划”,双方将聚焦于区块链智能合约开发、安全审计、形式化验证等领域。链安科技将针对本体区块链平台专门定制化研发自动形式化验证平台VaaS-ONT,以提高智能合约和底层链平台的安全性,进一步打造安全、放心、可靠的区块链基础设施。

链安科技总部位于成都,其形式化验证技术已在民航、军事领域使用多年。作为国内唯一一家掌握这项技术的公司,链安科技已入选Etherscan智能合约安全审计名单,并在国家工信部发布的《2018中国区块链产业白皮书》中公司榜上有名。

WeChat Image_20180712181310.png


在本体与链安科技的合作中,链安科技将提供具备高验证效率、高度自动化、支持多种合约开发语言的VaaS-ONT平台,其“一键式”形式化验证工具能够精确定位到有风险的代码位置,迅速找出原因,有效验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性,从而显著提高安全等级。同时,VaaS-ONT平台会根据本体用户需求定制化开发智能合约程序,对合约进行安全设计。

成都链安科技创始人杨霞认为:“区块链的安全问题一直是所有人的心腹之患,每一次安全事件的发生都会造成币市恐慌从而引发瀑布。因此未来我们将为更多的区块链平台提供从智能合约开发、安全审计等一条龙服务,尽我们最大努力为区块链安全贡献一份力量,很高兴能够加入本体安全‘共建者计划’,期待未来能够携手为区块链安全构筑更坚实的堡垒。”

谈到本次合作,本体创始人李俊表示:“在区块链技术的发展进程中,安全性需要摆在第一位,并时刻予以高度重视。本体安全‘共建者计划’发布至今,我们已携手慢雾科技、白帽汇等多个合作伙伴共筑本体信任生态,链安科技的加入无疑让这个队伍更加强大坚实,锐不可当。期待未来与本体的安全共建者们一路,为建立一个开源、开放、协同的分布式信任生态而不懈奋斗。”

了解更多请关注↓↓↓

ONT本体
微信号:OntologyNetwork
微博:ONT本体

0条回复 跳转到指定楼层

高级模式
您需要登录后才可以发帖 登录 | 立即注册 用新浪微博登录

本版积分规则

搜索

0关注 1粉丝 15主题

作者的其他主题

热点资讯


关注微信

返回顶部 返回列表
分享 发帖