HarmonyOS开发者限时福利来啦!最高10w+现金激励等你拿~ 了解详情
写点什么

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

  • 2016-10-10
  • 本文字数:1528 字

    阅读完需:约 5 分钟

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

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

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

  • 拉动式支付(Pull payment)辅助模块:使用拉动式支付(起名源于其工作方式与需要发送操作的推动式支付相反)策略可避免许多的安全问题(包括臭名昭著的“DAO 被破解”事件)。我们已经具有了简易的 PullPaymentCapable.sol 合约,但是仍需要更全面的工具、文档和实例。
  • 合约生命周期工具:当前在没有过多考虑未来将会发生什么的情况下,大部分的合约就被部署到区块链中。我们需要构建能更好地去管理合约终结策略、合约属主转变、合约暂停及恢复、合约升级等的工具。
  • 容错和自动挑错奖励:其中包括对漏洞的自动检测、从不一致状态恢复的工具、限定合约所管理资金规模的简易工具。我们也在致力于漏洞奖励合约,并期望去改进该合约,这样可实现自动去支付可攻破我们合约固定部分的安全研究者。
  • 可重用的基础组件:对于每个新的项目,其中的一些通用模块依然是需要从零开发重新实现。我们希望能为代币发行、众筹、表决、投注、工资单、收益共享等构建标准的合约。
  • 探究形式验证理念:合约的形式验证是一个活跃的研究领域。将这些研究工作成果集成到 Zeppelin 中,可为合约提供有意思的安全保障。形式验证意味着对合约代码做静态分析,以形式上验证合约的正确性以及存在的问题。
  • 与 oracle 更好的接口:如何与离区块链数据源进行交互是智能合约发展中的一个重要部分。其中一个值得去探究的有意思想法就是做反向控制。这种方式中,oracle 通过通用接口方法调用合约(用于在 Truth 外进行通信),并按所需去实现 oracle 逻辑,其中包括了值得信赖的专家、关闭的投票、开放投票、API 包装器等。这样并非是合约从 oracle 请求数据,而是在数据发生了改变时由 oracle 去通知合约。
  • 更好的重用代码工具:当前 Solidity 的代码重用是基于拷贝 - 复制的,或是通过从其它的代码库中下载已有的代码。一个成熟的生态系统应具有好的代码库管理系统,就像 NodeJS 的 npm 和 Ruby 的 gems 这样。对已部署到区块链中代码重用的可能性,构成了以太坊的一个有意思的变体。我们正规划去构建实现将合约轻易链接到已部署的程序库上的工具。

这些功能模块的设计都是基于通用合约安全模式的。Zeppelin 是与以太坊开发者所使用的首要构建架构 Truffle 相集成的。先期采用者可在 Zeppelin 开发者协作群组(Slack channel) 上提问并追踪进度,也可在 BlockParty 项目中学习如何使用 Zeppelin。首个公共发布版本计划在 11 月发布,该发布将伴以基于 Zeppelin 构建的真正的 DAO 项目。

Zeppelin 意图在将来支持更多的区块链平台,其中包括 Bitcoin、 Tendermint Bloq Ora 等。

查看英文原文: Zeppelin: a Secure Smart Contracts Open-Source Framework for Blockchain Applications


感谢夏雪对本文的审校。

给InfoQ 中文站投稿或者参与内容翻译工作,请邮件至 editors@cn.infoq.com 。也欢迎大家通过新浪微博( @InfoQ @丁晓昀),微信(微信号: InfoQChina )关注我们。

2016-10-10 19:004694
用户头像

发布了 227 篇内容, 共 74.2 次阅读, 收获喜欢 28 次。

关注

评论

发布
暂无评论
发现更多内容

重塑客户体验!VoLTE、VoNR引领新时代企业服务变革

中关村科金

人工智能 实时音视频

传统企业可观测建设之路

嘉为蓝鲸

可观测 可观测平台 IT 运维

ITSM流程落地经验之变更管理

嘉为蓝鲸

ITSM 流程管理 变更

构建有效的财务规划合作伙伴关系

智达方通

企业管理 全面预算管理 企业绩效管理 财务管理

业务合作指南:发挥特性,冲破传统财务禁锢

智达方通

企业管理 合作伙伴 全面预算管理 财务管理

系列三:被大数据"套牢"的产品经理:危机重重下如何突围?

松子(李博源)

数据中台 AI 数据产品经理 数据产品 #大模型

Rumpus Pro 10 for mac(安全快速地ftp文件传输服务器)

Mac相关知识分享

文件传输软件

Downie 4 for Mac(视频下载工具)

Mac相关知识分享

视频下载软件

Moho Pro 14 for Mac(专业的2D动画制作软件)

Mac相关知识分享

动画制作软件

NTFS Disk by Omi NTFS for mac(NTFS 磁盘管理器)

Mac相关知识分享

磁盘管理器

DevOps高效研发,支撑百万级车辆的软件交付

嘉为蓝鲸

DevOps 研发效能 汽车产业 汽车行业数字化转型

Xliff Editor for Mac(Mac平台XLIFF文件编辑工具)

Mac相关知识分享

软件 软件下载

Dash for Mac(好用的API文档工具)v7.2.3版

Mac相关知识分享

API文档

重磅!UOSDN焕新,开启创新之旅!

统信软件

a16z:关于 NFT 版税的设计、挑战和新想法

TechubNews

Apache IoTDB 监控详解 | 分布式系统监控基础

Apache IoTDB

FxFactory 8 Pro for Mac(视觉特效处理包)

Mac相关知识分享

视觉特效软件包

Navicat for SQL Server for mac(数据库管理工具)

Mac相关知识分享

数据库 软件下载

Lfu缓存在Rust中的实现及源码解析

快乐非自愿限量之名

缓存 rust

低代码平台技术及其在CRM系统中的应用

不在线第一只蜗牛

低代码 CRM

Vision Pro国行今日发售   价格PK未来,真爱PK理性

AR玩家

AR AR眼镜 Rokid Vision pro 炬目AR

OmniFocus Pro 4 for mac(最佳GTD时间效率工具)

Mac相关知识分享

软件下载

GM EPUB Reader Pro for Mac(专业ePub阅读神器)

Mac相关知识分享

阅读软件

Zeppelin:用于区块链应用的开源安全智能合约架构_JavaScript_Jeevak Kasarkod_InfoQ精选文章