Zeppelin:用于区块链应用的开源安全智能合约架构

  1. 云栖社区>
  2. 区块链那些事儿>
  3. 博客>
  4. 正文

Zeppelin:用于区块链应用的开源安全智能合约架构

雪花又一年 2018-04-19 14:55:45 浏览970
展开阅读全文

9月15日,Zeppelin的路线图建议发布。Zeppelin是一种构建安全智能合约的开源架构,遵循MIT许可。该建议的推出正是时候,从DevCon2大会上围绕着智能合约形式验证的报告和讨论的次数上就可以证实这一点。

智能合约解决方案的创建者Demian Brener和Manuel Aráoz是Zeppelin相关工作的先行者。Zeppelin是一个社区驱动项目,目的在于实现安全的、经测试的且经审计的智能合约代码开发。到目前为止最大规模的智能合约应用“DAO”,在今年早期由于在其智能合约中所存在的一个漏洞而被攻击,造成了六千万美元的损失。这个事件说明了社区中的许多关注是合理的,这将形式验证问题置于了一个重要位置。

鉴于以太坊是最广为使用的智能合约开发平台,Zeppelin项目在初期是侧重于为Solidity语言构建工具。在发布的建议中

网友评论

登录后评论
0/500
评论
雪花又一年
+ 关注
所属云栖号: 区块链那些事儿