2021 年 12 月 20 日
我们很高兴地宣布两项新的安全举措,涉及与 免疫 和 切尔托拉,旨在进一步增强完整性和安全性 OpenZeppelin 合约。迄今为止,下载量已超过 3 万次,我们了解到社区依赖我们的智能合约库作为 WebXNUMX 开发的重要构建块。这些新的伙伴关系和措施是我们对发展和保护去中心化经济的持续承诺的一部分。
OpenZeppelin Contracts 是一个用于安全智能合约开发的库。 Web3 开发人员使用此库构建经过社区审查的代码的坚实基础。该库包括流行的实现 ERC20 和 ERC721;灵活的 基于角色的许可 计划;可重复使用的 坚固性组件; 和更多。
“对于我们的开发团队来说,安全始终是首要考虑因素,因为我们库中的漏洞可能会影响锁定价值数十亿美元的项目。在过去的几个月里,我们运送了 智能合约安全注册表 并引入了扩展 社区审查期。我们的新合作伙伴关系是朝这个方向的持续发展,”开发主管 Santiago Palladino 说道。 “通过 Immunefi,我们 启动了我们的第一个正式的错误赏金计划。此外,Certora 正在对 OpenZeppelin 合约进行正式验证和持续审计。”
Immunefi 漏洞赏金计划
错误赏金计划为开源项目提供了一种行之有效的方法,可以在扩展的同时保持安全性。过去,我们向提交严重漏洞的白帽子提供了悬赏。我们的合作伙伴 免疫领先的 DeFi 漏洞赏金平台建立了我们第一个正式的漏洞赏金计划,奖金高达 25,000 美元。
错误赏金计划感兴趣的领域如下:
- 因冻结或盗窃而造成资金损失
- 拒绝服务(导致智能合约无法运行)
- 访问控制被绕过,包括权限升级
- 智能合约未按预期运行
“我们很高兴成为 OpenZeppelin 漏洞赏金计划的正式所在地。帮助保护最受欢迎的智能合约库之一将有助于消除安全风险并保护用户,进一步履行我们保护整个 Web3 的使命。”Immunefi 首席执行官兼创始人 Mitchell Amador 说道。
图书馆已授予低级漏洞;修复的拉取请求可用 此处。阅读有关支付阈值、优先漏洞和 Immunefi 威胁分类级别的更多信息 计划的官方页面.
Certora 形式验证
形式验证产生了一个软件的证明——在本例中是我们的开源智能合约库 切尔托拉 — 满足规范,有助于建立已验证属性和发现的任何错误的基线。 Certora 上周一完成了该过程的第一阶段 发布 OpenZeppelin 治理合约的评论。接下来,团队将继续处理其余的合同,这些合同由 OpenZeppelin 开发团队按重要性顺序排列。
Certora 首席执行官 Mooly Sagiv 表示:“我们对使用最广泛的开源智能合约库之一进行正式验证,将向 OpenZeppelin 智能合约用户世界传达我们证明者技术的优势。”形式化验证体系, 切托拉证明者,可以在编译时检查智能合约的所有执行是否满足一组标准的安全规则。我们将使用 Certora Prover 作为持续集成管道的一部分,以便将来更新库。
我们还要感谢 爱心基金会 捐款 100,000 美元支持该倡议。
持续的智能合约标准化和安全性
除了与 Immunefi 和 Certora 的合作之外,我们最近还采取了一些额外措施来进一步投资 OpenZeppelin 合约的完整性和安全性。一些亮点包括:
- 将从事合同工作的开发团队加倍
- 为新版本建立社区审查期,其中包括定期公开呼吁
- 创建和释放 智能合约安全注册表 因此,在 OpenZeppelin 合约中锁定价值的项目可以在公开披露之前收到漏洞警报。注册登记 此处.
- 继续支持 合同向导,我们简单的智能合约创建工具利用我们的库,提示构建者使用带有正确符号的最新智能合约构建。
我们希望这些举措以及未来的更多举措能够增强我们的库和开发者社区更好地构建和安全扩展的能力。了解如何为 Immunefi 错误赏金计划做出贡献 此处 并阅读 Certora 的第一份报告 此处。 29 月 XNUMX 日加入我们 斯坦福大学 DeFi 峰会 我们将在那里与 Certora 举办一个小组讨论。
- 000
- 关于
- 额外
- 所有类型
- 已经
- 审计
- 底线
- 十亿美元
- 博客
- 问题
- 虫子
- 建立
- 建筑物
- CEO
- 分类
- 码
- 承诺
- 社体的一部分
- 继续
- 合同
- 合同的
- 分散
- DEFI
- 开发商
- 开发
- 研发支持
- 发现
- 美元
- 下载
- 经济
- 有效
- 姓氏:
- 基金会
- 创办人
- 履行
- 资金
- 未来
- 治理
- 增长
- 头
- 帮助
- 主页
- 创新中心
- How To
- HTTPS
- 影响力故事
- 包含
- 倡议
- 积分
- 兴趣
- 一月
- 加入
- 最新
- 领导
- 学习用品
- Level
- 自学资料库
- 锁定
- 百万
- 介意
- 使命
- 周一
- 个月
- 最先进的
- 最受欢迎的产品
- 运动
- 提供
- 官方
- 打开
- 开放源码
- 秩序
- 合作伙伴
- 合作伙伴关系
- 片
- 平台
- 热门
- 过程
- 曲目
- 训练课程
- 项目
- 证明
- 保护
- 国家
- 发布
- 报告
- 检讨
- 定位、竞价/采购和分析/优化数字媒体采购,但算法只不过是解决问题的操作和规则。
- 说
- 鳞片
- 缩放
- 保安
- 集
- 简易
- 智能
- 聪明的合同
- So
- 软件
- 阶段
- 提交
- SUPPORT
- 系统
- 专业技术
- 倡议
- 世界
- 通过
- 最佳
- 最新动态
- us
- 用户
- 折扣值
- 企业验证
- 漏洞
- 漏洞
- Web3
- WHO
- 工作
- 加工
- 世界