本文详细介绍了如何使用OpenZeppelin合约库开发安全的智能合约,强调优先使用库组件而非自定义代码。它提供了从库源码中发现集成模式的详细步骤,涵盖了依赖识别、源码阅读、模式提取和应用。文章还提到了使用MCP生成器作为可选的快捷方式来加速集成。
该文章详细介绍了如何在Arbitrum上使用OpenZeppelin代理模式(如UUPS和Beacon)升级Stylus智能合约。它涵盖了Stylus特有的升级机制,包括logic_flag上下文检测、WASM合约的重新激活、存储兼容性、访问控制集成以及确保升级安全性的最佳实践。
logic_flag
这篇文章详细介绍了如何使用 OpenZeppelin 代理模式升级 Solidity 智能合约,涵盖了 UUPS、Transparent 和 Beacon 代理模式的原理与应用,强调了初始化函数、存储布局规则(特别是 ERC-7201 命名空间存储),并提供了 Hardhat 和 Foundry 插件的具体工作流程及升级安全注意事项。
本文详细介绍了如何使用OpenZeppelin的upgradeable模块在Stellar/Soroban区块链上升级智能合约。文章阐述了Soroban原生WASM字节码替换的升级机制,并对比了其与EVM代理模式的区别。内容涵盖了两种升级模式(仅WASM更新与包含存储迁移),强调了访问控制、存储兼容性等安全考量,并提供了原子升级迁移模式的实现方法及测试指南。
upgradeable
这篇文章提供了使用OpenZeppelin Contracts设置Solidity智能合约项目的指南,涵盖了Hardhat和Foundry两种开发框架的初始化、依赖安装、Foundry的remappings配置,以及标准和可升级合约的导入规范。
这篇内容介绍了OpenZeppelin为安全智能合约开发提供的代理技能,支持Skills CLI、Claude Code插件和手动安装。它列出了开发和升级Solidity、Cairo、Stylus和Stellar等智能合约的可用技能,并提到了用于智能合约生成的MCP服务器。
本文提供了在Arbitrum上使用OpenZeppelin Contracts for Stylus设置智能合约项目的指南。内容涵盖了Rust工具链和WASM目标的安装、Cargo Stylus CLI的配置、OpenZeppelin依赖的添加、导入规范以及合约的构建和部署基础步骤。
这篇文章详细介绍了如何在 Starknet 上使用 OpenZeppelin 的 UpgradeableComponent 升级 Cairo 智能合约。它阐述了 Starknet 独特的基于类的升级模型,与 EVM 代理模式进行了对比,并强调了存储兼容性、访问控制和升级路径测试的重要性。
UpgradeableComponent
本文提供了一个关于如何使用OpenZeppelin Contracts为Stellar/Soroban智能合约项目进行开发环境设置的指南。它涵盖了安装Rust工具链和Soroban CLI、创建新项目以及配置OpenZeppelin依赖项的步骤,并介绍了Soroban的导入约定和合约模式。
OpenZeppelin 对 OpenAI 的 EVMBench 进行了审计,发现该基准测试存在方法论缺陷和无效的漏洞分类,特别指出至少有四项被标记为高危的漏洞在实际中无法利用。文章详细分析了数据污染问题以及基准测试中漏洞分类的准确性问题,并提出了改进 AI 智能合约安全基准测试的建议。