合約工具

專為 Python 開發者、資料科學家和安全專業人員設計的智能合約開發工具

Scaffold-ETH 2 是一個結合 Next.js 與 Hardhat 或 Foundry 的入門範本，具備錢包 hooks、合約熱重載、本地水龍頭公用程式以及用於全端去中心化應用程式 (dapp) 部署的擴充模組。

一個基於 Python 的開發和測試框架，用於針對以太坊虛擬機的智能合約。

一個豐富且易於存取的 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 檔案更快地啟動逼真的以太坊或匯總堆疊以進行整合測試。

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 中，讓進階開發人員可以發布具備燃料效率的模式，同時從這個活生生的參考函式庫中學習尖端的最佳化技術。

Fe 是一種受 Rust 啟發、針對 EVM 的語言；今天，即使位元組碼產生仍在發展中，您也可以透過 CLI 或編輯器工具來探索 Fe v2 的類型系統。

Solhint 是一個 Solidity 程式碼檢查工具 (linter)，您可以將其整合到編輯器或 CI 中，以強制執行樣式規則並及早捕捉容易出錯的模式。

Juan Blanco 的 VSCode Solidity 擴充功能新增了語法突顯、編譯命令、懸停中繼資料、快速修復、monorepo 偵測、可選的 Nethereum 程式碼產生、lint 整合以及 LSP 伺服器。

IntelliJ 的 Solidity 外掛程式

WhatsABI 僅從位元組碼中恢復選擇器 (selectors)、代理 (proxies) 和部分 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 是一個現代、主觀的集合，包含經過燃料最佳化的 Solidity 建構區塊和用於智能合約開發的公用程式。

一個由 ZKsync 團隊和合作者提供支援、基於 LLVM 的以太坊燃料高效 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 (Minimal Anti-Collusion Infrastructure) 使用零知識證明在以太坊上實現抗共謀、私密的投票和信號系統。

一個讓行動裝置上的客戶端零知識證明變得簡單的工具包。連接 ZK 證明系統（Halo2、Circom）以產生 iOS、Android 和瀏覽器綁定，並利用行動 GPU 來提高效能。

一個用於 Groth16 階段 2 可信設置儀式的工具包。幫助開發人員為 ZK 應用程式建立和管理可信設置，並附帶一個用於監控和參與的配套網路應用程式 (DefinitelySetup)。

一個持續進行中（自 2019 年起）的 zk-SNARK 可信設置儀式，適用於高達 2^28 個約束的電路，產生超過 5.3 億個 tau 冪。這是一個多方參與的儀式，只要有一位參與者是誠實的，安全性就能得到保障。

Semaphore 是一個用於私密群組成員資格證明的零知識協定，可在不透露身分的情況下實現匿名信號傳遞和身分驗證。

snarkjs 是一個 JavaScript 和 CLI 工具包，用於產生和驗證 zkSNARK 證明，以及在 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 trees)、Poseidon 雜湊等。