沉香木财经>璞玉"币"

Certik:智能合约验证的利器


 

 

Certik是由美国精英团队开发的项目,目前主要针对智能合约进行形式化验证,力争从理论上证明代码实现的正确性,从而巩固合约的安全。

 

CertiK从数学上证明了智能合约和区块链生态系统没有bug而且防黑客攻击。为了扩展验证,CertiK开发了一种基于层的方法,将这种原本难度过高的证明任务分解为较小的证明任务。这些较小的证明任务可以在CertiK交易中编码,然后由参与者以去中心化的方式进行证明和验证。 因此,Certik账本作为证书来展示经过验证的智能合约和经过验证的区块链生态系统的端到端正确性和安全性,使其完全值得信赖。


© 2018 沉香木财经 首页 | 关于我们 | 联系我们