合约工具

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

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

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

一个丰富且易于访问的 Web3 工具集，用于在多条链上进行学习、构建和测试

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

slang from the Nomic Foundation is a modular Solidity compiler frontend with a parser, concrete syntax tree, and bindings. Builders import it when writing a linter, formatter, or other tool that has to understand Solidity source.

BuildBear is a hosted service that spins up a private testnet sandbox mirroring a real chain such as Ethereum, Polygon, BSC, or Arbitrum. Builders point tests at it to work against a private fork with real chain state.

Huff is a low-level assembly language and compiler for writing hand-optimized EVM bytecode, with development continuing in huff2. Builders reach for it when bytecode has to be tuned by hand.

py-solc-x is a Python wrapper and version manager for the solc Solidity compiler, used by Brownie and Ape style test suites. Python builders install it to fetch and switch compiler versions from their own scripts.

Wake is a Python framework for testing, fuzzing, and static analysis of Solidity projects. Builders reach for it when they want to write contract tests and fuzzing campaigns in Python and run analysis over the same codebase.

The Stylus SDK is the Rust SDK for writing smart contracts that run in Arbitrum's Stylus environment alongside the EVM. Rust builders use it when contract logic should be written in Rust rather than Solidity.

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

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

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

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

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

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

Chainlink Faucets dispense testnet ETH and LINK across the supported test networks. Builders use them to fund an account before deploying and testing contracts on a testnet.

Decker is a TypeScript CLI for creating configurable local Ethereum devnets with execution and consensus clients, relays, and block builders. Teams use its recipes for integration tests and infrastructure development.

ethereal is a Go command line tool for everyday Ethereum tasks, including sending transactions, managing ENS records, transferring tokens, and inspecting accounts. Builders install it for one-off operations that do not justify a script.

ethereum-genesis-generator creates execution and consensus layer genesis state for a testnet and serves it over a web server. Devnet and rollup teams run it to produce the genesis files for a custom network.

EthPillar is a setup script and terminal interface for installing and managing an Ethereum staking node with execution, consensus and MEV-Boost clients. Solo stakers run it to stand up a node without editing client configuration by hand.

foundry-toolchain is the official GitHub Action that installs Foundry in continuous integration. Builders add it to a workflow so forge test and forge script run on every pull request.

Immunefi is a bug bounty platform where projects post rewards for whitehats who find and responsibly disclose contract vulnerabilities. Teams list a program there to give researchers a paid route to report issues.

PoWFaucet is a modular testnet faucet for EVM chains with anti-abuse methods including a mining puzzle, captcha, IP limits, and Gitcoin Passport, and it backs the Sepolia proof-of-work faucet. Teams running a testnet self-host it to hand out test ETH without giving it all to one address.

Rocket Pool Smart Node is the command line package node operators run to set up and manage a Rocket Pool minipool, wrapping execution and consensus clients plus validator duties.

rocketh is a deployment and test harness for Ethereum contracts built around viem, keeping one record of deployments per network so scripts and tests agree. Builders use it when they want repeatable deployments without Hardhat, which the hardhat-deploy plugin wraps over the same code.

Sedge is a command line setup tool from Nethermind that generates docker-compose configurations for execution, consensus, and validator client combinations. Builders run it to get a working node setup without writing the compose files.

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

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

hardhat-deploy is a Hardhat plugin for replicable deployments with named accounts, proxies, and diamonds. Builders install it when deployments must be repeatable across networks and track upgradeable contracts.

DAppNode is an operating system with an app store for running Ethereum execution and consensus clients and other node software on your own hardware. Someone setting up a home node installs it and picks client packages instead of configuring each service by hand.

eth-docker is a Dockerized stack for deploying and managing execution, consensus, and validator clients on mainnet. Node operators use it to run a full node setup from configuration files instead of hand-installed binaries.

ethereum-helm-charts are Helm charts from ethPandaOps for running Ethereum execution and consensus clients and related infrastructure on Kubernetes. Teams add them to a cluster rather than writing client manifests themselves.

The Kurtosis ethereum-package spins up reproducible multi-client Ethereum devnets, including mev-boost and supporting tooling. Builders run it when they need a local network that mirrors a real client mix.

simple-optimism-node is a one-command Docker setup for running an OP Stack node. Builders run it to get their own Optimism node, in the same way eth-docker covers mainnet clients.

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 服务器。

适用于 IntelliJ 的 Solidity 插件

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

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

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

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

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

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

ABDKMath64x64 is a Solidity library for 64.64-bit binary fixed-point math. Builders import it when a contract needs fixed-point arithmetic that Solidity does not provide natively.

ERC721A is a gas-optimized ERC-721 implementation with cheap consecutive batch minting. Builders import it when an NFT contract mints several tokens to the same address at once and minting cost matters.

ERC721A-Upgradeable is the proxy-upgradeable variant of the ERC721A implementation. Builders import it when a proxy-based NFT contract needs the batch minting design of ERC721A.

Multicall3 is the canonical contract for batching many reads or writes into a single transaction. Builders call it from contracts and scripts to fetch or update state across several contracts in one round trip.

Safe Smart Account is the widely deployed set of modular multisig smart-account contracts behind Safe. Wallet and treasury builders deploy or extend it to add multisignature control and account modules.

SolidState Solidity is an upgradeable-first contract library built around the diamond pattern of EIP-2535. Teams import it when contracts are organized as diamond facets from the start.

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

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

weiroll is an operation-chaining scripting language and set of contracts for composing many EVM calls into one transaction. Teams building call-routing or batching systems use it to express the call sequence as a script.

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

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

solidity-docgen generates Markdown documentation for a Solidity project from its NatSpec comments. Teams run it so published docs stay in step with the contract source.

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

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

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

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

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

gnark-crypto provides elliptic curve and pairing cryptography for BN, BLS12, BLS24, and BW6 curves, and it is the backend of the gnark SNARK library. Go builders import it directly for curve and pairing math.

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

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

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

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

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

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

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

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

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

arkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.

Lambdaworks is a Rust library of SNARK and STARK prover components that can be used piecemeal or assembled into a custom proving system. Teams pull its crates when building their own prover rather than adopting a finished one.

op-succinct is a proving engine that generates SP1 validity proofs for OP Stack rollups. Rollup teams deploy it to turn an OP Stack chain into a validity proof rollup, running it as a separate service.

Plonky3 is a toolkit of polynomial IOP building blocks for constructing custom SNARK and STARK proving systems, and several zkVM projects build on it. Rust builders add the p3 crates when writing their own proving system.

powdr is a toolkit for accelerating and hardening zkVMs by moving specific computations into custom circuits. Teams running a zkVM use it to generate custom precompiles and check constraints, and its authors still describe the code as experimental.

risc0-ethereum holds the integration libraries and verifier contracts for using the RISC Zero zkVM with Ethereum and other EVM chains. Teams proving computation off chain import these crates to settle the resulting proofs onchain.

rsp from Succinct generates zero-knowledge proofs of Ethereum and OP Stack block execution, built on Reth. Its authors describe it as a minimal work in progress that is not meant for production, so it mainly serves teams already building on SP1.

snark-verifier generates gas-efficient onchain verifiers for halo2 SNARKs and is maintained by Axiom, forked from the original PSE repository. halo2 developers import the crate to produce the Solidity verifier that checks their proofs onchain.

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