安比(SECBIT)实验室 & 托管公链Themis 达成战略合作  secbit.io

2018-07-19 21:13:12 币圈SECBIT实验室

新一代加密货币托管基础设施Themis项目与专注智能合约安全研究的安比(SECBIT)实验室签署战略合作协议。双方未来将在智能合约安全检测与形式化验证、智能合约虚拟机安全增强等方面展开深度合作,并将共同推进全球区块链安全测试与验证基础设施建设。

Themis定位去中心化的数字资产托管基础设施,是一条公有链,而不只是一个钱包,类似于支付宝在传统电商托管支付中的作用,Themis项目利用区块链的特性,使得这种公正、公平的机制能够促进电子商务、全球贸易和智能合约的发展,该项目采用群托管机制,实现了去中心化托管服务,在这样的机制下,交易各方可以从一组托管服务提供者中选择多个第三方,并以多数投票方式调解争议,从而保证了以数字资产为媒介的公平交换。Themis不依赖单个第三方来做担保,因此降低了共谋、拒绝服务和黑客攻击风险。Themis通过与安比实验室的合作,以形式化验证的方式增强智能合约的安全性,使用户托管的数字资产得到保障。

安比(SECBIT)实验室由中国科学技术大学博士郭宇创建。安比实验室专注于智能合约安全技术的研究,从密码学、代码语义、形式化验证、博弈论、编译器等多种理论角度切入,着眼于智能合约的设计、开发、测试、审计等全生命周期,研发一系列的工具与服务,从根本上解决智能合约的安全问题。安比(SECBIT)实验室自成立以来,原创发现并报告智能合约漏洞上千份,是首家发布智能合约的安全形式化证明,为彻底解决智能合约安全问题提供了一个全新的方案。

本次战略合作,安比(SECBIT)实验室凭借其在智能合约审计和形式化验证等方面深厚的技术积累,以及自主开发的众多专业审计工具,来保护Themis公链生态安全,助力Themis建立一个可信、有序的数字资产托管生态体系。

阅读原文
标签:合约 智能 托管 Themis 安比 实验室