合约工具

专为 Python 开发者、数据科学家和安全专业人员打造的智能合约开发工具

Scaffold-ETH 2 是一个 Next.js 加上 Hardhat 或 Foundry 的启动器，带有钱包钩子、合约热重载、本地水龙头实用程序以及用于全栈去中心化应用 (dapp) 部署的扩展模块。

一个基于 Python 的智能合约开发和测试框架，针对以太坊虚拟机 (EVM)。

ethPM 是不可变的包管理器，用于使用、分发或管理任何 EVM 智能合约系统。

基于 Web 的轻量级智能合约 IDE

Moccasin 是 Cyfrin 在 Titanoboa 上的 Python 优先工作流，用于测试、模糊测试和部署用 Vyper 编写的智能合约。

Ethernaut CLI 是来自 EthernautDAO 的基于 Hardhat 的命令工具箱，带有用于常见以太坊任务的可选 AI 助手，适合当你更喜欢终端而不是 GUI 时使用。

opstack-kit 为感知 Superchain 的前端和脚本搭建脚手架，并在启动器中内置了跨链桥助手、CustomGasToken 流程和 OP Stack CLI 任务。

Hardhat 是一个用于构建和部署以太坊软件的开发环境

Foundry 是一个用于以太坊智能合约工程的快速、便携的 Rust 工具链，它可以管理依赖项、编译 Solidity、运行模糊测试和单元测试、部署合约，并从终端或 Solidity 自动化脚本驱动脚本化的链上交互。

Kurtosis 打包了可重现的多服务开发网络，以便你可以比手工维护的 compose 文件更快地启动逼真的以太坊或 Rollup 堆栈进行集成测试。

CreateX 是 pcaversaccio 开发的无须信任的通用部署器，它封装了 CREATE、CREATE2 和 CREATE3 风格的流程，以便团队可以从可预测的地址启动合约，而无需定制的工厂代码。

一个 hardhat 插件，为智能合约测试套件提供 Gas 使用分析。它专门支持 OP Stack 链，是超过 15 万个 Github 仓库的依赖项，并且每周从 NPM 下载量超过 10 万次。

Txtx 通过引入加密基础设施即代码 (Crypto Infrastructure as Code)，化解了智能合约基础设施管理的压力、痛苦和眼泪。 Runbooks 是卓越工程的蓝图，为 Web3 基础设施设定了新标准。

Hardhat 插件，用于在多个 EVM 链上使用相同的确定性地址部署您的智能合约。目前共支持 133 个 EVM 链，包括（几乎）所有由 OP Stack 驱动的链。

一个从 Foundry 中的给定环境获取最新部署的工具。这样，你就可以在 Solidity 中基于以前的部署编写脚本。

Create2Deployer 是 pcaversaccio 提供的一个极简工厂合约，它封装了带有安全检查的 CREATE2 操作码，以便团队可以在确定性地址部署反事实合约。

Redprint 将向导式游乐场与 redprint-forge 库配对，以便开发者可以在更改进入生产管道之前，在 Solidity 中通过类型安全的部署、可重用的测试、感知 Safe 的交易脚本和模块化组件连接，实验性地组合 OP Stack 合约升级。

Cannon 是以太坊上协议的 DevOps 工具。它管理本地开发和实时网络的智能合约部署和配置。

一个 100% 开源的 CLI，与智能合约的构建块配合使用。该工具箱可以通过为 dapp 开发编码 calldata 来减少 L2 gas 成本，从而尽可能少地使用 calldata 字节。

在你的每个拉取请求 (PR) 上自动轻松比较由 Foundry 生成的 Gas 报告！

启动个人 Superchain 环境以运行测试、分叉网络并检查状态，完全控制你的 rollup 的运行方式。终极以太坊和 Superchain 开发游乐场

这个签名代理允许 OP Stack 运营商通过 AWS KMS 或 YubiHSM 路由定序器、批处理程序、提议者和挑战者的签名，而不是使用磁盘上的原始私钥。

OpenZeppelin Contracts 是智能合约开发的首选库。

Solidity 是一种用于实现智能合约的面向对象的高级语言。

适用于 EVM 的 Python 风格智能合约语言

面向 Solidity 的开发工具

Vectorized 的 Solady 收集了从默克尔证明到压缩助手的经过积极优化的 Solidity 代码片段，将谨慎的内联汇编封装在易于使用的 API 中，以便高级开发者可以交付节省 Gas 的模式，同时从一个活的参考库中学习前沿的优化技术。

Fe 是一种受 Rust 启发、针对 EVM 的语言；即使字节码生成仍在不断发展，今天你也可以通过 CLI 或编辑器工具探索 Fe v2 的类型系统。

Solhint 是一个 Solidity 代码检查工具 (linter)，你可以将其接入编辑器或 CI 中，以强制执行样式规则并及早发现容易出错的模式。

Juan Blanco 的 VSCode Solidity 扩展添加了语法高亮、编译命令、悬停元数据、快速修复、monorepo 检测、可选的 Nethereum 代码生成、lint 集成以及 LSP 服务器。

WhatsABI 仅从字节码中恢复选择器、代理和部分 ABI——当缺少经过验证的源代码但你仍然需要调用数据解码时，可在钱包、浏览器或本地工具中使用它。

PRBMath 是一个智能合约库，在 Solidity 中增加了对定点类型和高级数学函数（如对数和指数）的支持。PRBMath 使用 18 位小数进行运算，同时具有 gas 效率和用户友好性。

Solc-select 是一个命令行实用程序，用于快速安装和在 Solidity 编译器版本之间切换。

一个用于自动格式化 Solidity 代码的 Prettier 插件。

最先进、高度主观、极度优化且安全的 Vyper 智能合约构建块。

EvmTools 将浏览器和扩展实用程序（解码器、默克尔助手、转换器和类似的小工具）捆绑在一个地方，用于日常智能合约调试。

一个链上灵活且可组合的框架，用于创建、重用和自定义网关守卫。使用策略和检查器作为核心原语，通过 Gas 高效的最小代理模式和多阶段验证实现基于属性的访问控制。

在 Fe 语言中为 EVM 实现 TinyAlloc

组织图谱协议：使用 Hats Protocol 将你组织的角色、代理和权限编码到可编程图谱中

Solmate 是一个现代的、主观的、经过 Gas 优化的 Solidity 构建块和实用程序集合，用于智能合约开发。

一个由 ZKsync 团队及其合作者提供的、由 LLVM 驱动的、节省 Gas 的以太坊 Solidity 编译器。在 Foundry 和 Hardhat 等工作流中可作为 solc 的直接替代品。

Solidity Bytes Utils 是一个经典的库，用于在 Solidity 内存或存储中连接、切片和转换动态字节数组——长期维护并在主要协议中被广泛分叉。

针对 EVM 的类 Rust 编程语言

基于 curl 的 Solidity HTTP 库

VSCode Solidity Inspector 在 VSCode 中捆绑了实用的 Solidity 实用程序：存储布局视图、导入卫生提示、Foundry 部署摘要、Bulloak 测试存根、感知重映射的导入以及代码大小提示。

Diamondscaffold 是一个 CLI 工具，旨在通过固定的布局和脚本搭建 EIP-2535 钻石项目，从而更快地建立模块化可升级代理。

适用于 IntelliJ 的 Solidity 插件

这些库使用 Go 和 Rust 打包了经过 Derive 优化的 Black-Scholes 定价和风险数学模型，以便链上风险模块可以重用与 Derive 保证金堆栈相关联的高度优化的实现。

由 Paradigm 用 Rust 编写的极速、模块化 Solidity 编译器。设计为对贡献者友好的编译器堆栈，以实现更快的构建和更好的诊断。

用于使用印度政府 Aadhaar 身份证构建隐私保护应用的工具。提供 ZK 电路、TypeScript、Solidity 和 React 库，使 Aadhaar 持有者能够证明其居住地而无需泄露个人数据。

Aztec 是一个隐私优先的以太坊 Rollup 和开发者平台，用于构建具有可编程隐私和零知识证明的应用。

Circom 是一种领域特定语言和编译器，用于编写和编译零知识证明系统中使用的算术电路。

一个 PSE 研究项目，支持使用 Circom 语言开发 MPC 应用。使用 Circom 结合 MP-SPDZ 后端集成，为机器学习应用编译算术和布尔 MPC 电路。

PSE 重新架构的 Zcash Halo2 PLONK 证明系统分支，具有带 Solidity 验证者的 KZG 后端（用于经济的一层网络 (l1) 验证），支持多种椭圆曲线，并采用解耦的前端/后端架构。

MACI（最小抗共谋基础设施）使用零知识证明在以太坊上实现抗共谋的私密投票和信号系统。

一个使移动端客户端零知识证明变得简单的工具包。连接 ZK 证明系统（Halo2、Circom）以生成 iOS、Android 和浏览器绑定，利用移动 GPU 提高性能。

一个安全、高性能、模块化且可移植的 Rust 多方计算 (MPC) 库。支持原生和 WebAssembly 执行。为 TLSNotary 的密码学基础设施提供支持，并广泛用于注重隐私的项目。

Noir 是一种受 Rust 启发、用于编写零知识电路的语言，具有对开发者友好的语法和由 Aztec 维护的工具。

用于 Groth16 第二阶段可信设置仪式的工具包。帮助开发者为 ZK 应用程序创建和管理可信设置，并配有一个用于监控和参与的配套 Web 应用程序 (DefinitelySetup)。

一个持续进行（自 2019 年起）的 zk-SNARK 可信设置仪式，适用于高达 2^28 个约束的电路，生成超过 5.3 亿个 tau 幂。这是一个多方仪式，只要有一名参与者是诚实的，安全性就能得到保证。

第二代密码学可证明对象数据类型 (POD)。通过自定义谓词和递归操作实现跨数据的灵活计算。由 0xPARC 与 PSE 合作开发。

Railgun 是以太坊和 EVM 网络的一个隐私协议，它通过零知识证明提供屏蔽交易和私密的 DeFi 交互。

Self Protocol 提供了开放的身份和证明基元，当构建者需要与钱包或凭证绑定的保护隐私的验证流程时，可以将其嵌入。

Semaphore 是一个用于私密群组成员资格证明的零知识协议，可在不泄露身份的情况下实现匿名信号发送和身份验证。

snarkjs 是一个 JavaScript 和 CLI 工具包，用于生成和验证 zk-SNARK 证明，以及在 Node.js 和浏览器中运行常见的证明工作流。

一个模块化折叠库，支持多种折叠方案（Nova、HyperNova、ProtoGalaxy、CycleFold）和决策器后端（Groth16、KZG），用于增量可验证计算。支持 Arkworks、Circom、Noir 和 Noname 前端。

生成递归 zkVM 证明，验证统一二叉树 (UBT) 和默克尔帕特里夏树状态更新在每个以太坊区块中是否匹配。为轻客户端和私有信息检索实现无须信任的状态验证。

使用可验证的遗忘伪随机函数为 Web2 身份启用假名系统。允许电子邮件和社交账户生成私有无效化器，用于匿名投票、私人论坛和机密空投。

ZK Email 提供电路和 SDK，用于在链上证明关于已编辑电子邮件副本的事实。当你需要保护隐私的身份或收据检查，而又不想暴露收件箱信息时，它非常有用。

一项 PSE 倡议，通过起草技术标准、构建开源 ZK 基础设施以及与政府合作，来推进保护隐私的数字身份。目前正致力于欧盟 EUDI 钱包集成和 ZKP 钱包单元。

使用零知识证明的私密身份验证。在不泄露任何个人信息的情况下验证年龄、国家或人格证明。采用移动优先设计，提供用于集成的 SDK 和链上注册表合约。

zkTLS / TLSNotary 是一个开放协议，用于通过 MPC 证明 TLS 会话的属性，以便验证者可以在不查看完整明文的情况下信任副本。

ZoKrates 是以太坊上 zk-SNARK 的工具箱，提供 DSL、编译器以及用于可信设置、证明生成和验证者集成的实用程序。

一个包含跨多种语言（JavaScript、Solidity、Rust、Noir）的可重用零知识库的单一代码库 (monorepo)，提供经过充分测试的密码学原语实现，如默克尔树 (Merkle tree)、Poseidon 哈希等。