安比（SECBIT）实验室 对区块链行业有帮助吗?

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

Themis定位去中心化的数字资产托管基础设施，是全球首条去中心化的数字资产托管公有链，类似于支付宝在传统电商托管支付中的作用。而与传统电商托管支付不同的是，Themis项目利用区块链的特性，采用群托管机制，实现了去中心化托管服务。

在这样的机制下，交易各方可以从一组托管服务提供者中选择多个第三方，并以多数投票方式调解争议，从而保证了以数字资产为媒介的公平交换。Themis不依赖单个第三方来做担保，因此降低了共谋、拒绝服务和黑客攻击风险，使得这种公正、公平的机制能够促进电子商务、全球贸易和智能合约的发展，代表了创新型金融科技在现实应用场景中的发展方向。

此次，Themis通过与安比实验室的战略合作，将以形式化验证的方式增强智能合约的安全性，使用户托管的数字资产得到保障。

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

目前，Themis公链项目（资产代码GET）已经在HitBTC、火币Hadax、Cybex、CoinMex、币系五家交易所正式上线。本次战略合作，安比（SECBIT）实验室凭借其在智能合约审计和形式化验证等方面深厚的技术积累，以及自主开发的众多专业审计工具，来保护Themis公链生态安全，助力Themis建立一个可信、有序的数字资产托管生态体系。

Abby对区块链行业有帮助。