Công cụ hợp đồng

Công cụ phát triển smart contract dành cho các Pythonista, Nhà khoa học dữ liệu và Chuyên gia bảo mật

Scaffold-ETH 2 là một bộ khởi đầu Next.js kết hợp với Hardhat hoặc Foundry, đi kèm với các hook ví, tải lại hợp đồng nóng, tiện ích vòi cục bộ và các mô-đun tiện ích mở rộng cho việc triển khai ứng dụng phi tập trung (dapp) full-stack.

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.

Một framework phát triển và kiểm thử dựa trên Python dành cho các smart contract nhắm mục tiêu đến Ethereum Virtual Machine.

Một bộ công cụ Web3 phong phú và dễ tiếp cận để học tập, xây dựng và thử nghiệm trên nhiều chuỗi

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.

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.

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.

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.

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.

Moccasin là quy trình làm việc ưu tiên Python của Cyfrin trên Titanoboa để kiểm thử, fuzzing và triển khai các hợp đồng thông minh được viết bằng Vyper.

Hardhat là một môi trường phát triển để xây dựng và triển khai phần mềm Ethereum của bạn

Foundry là một bộ công cụ Rust nhanh, di động dành cho kỹ thuật hợp đồng thông minh Ethereum, giúp quản lý các phần phụ thuộc, biên dịch Solidity, chạy các bài kiểm thử fuzz và kiểm thử đơn vị, triển khai hợp đồng và thúc đẩy tương tác chuỗi theo kịch bản từ thiết bị đầu cuối hoặc các tập lệnh tự động hóa Solidity.

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.

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.

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.

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.

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.

Kurtosis đóng gói các devnet đa dịch vụ có thể tái tạo để bạn có thể khởi chạy các ngăn xếp Ethereum hoặc bản cuộn thực tế cho các bài kiểm thử tích hợp nhanh hơn so với các tệp compose được duy trì thủ công.

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.

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.

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.

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.

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.

CreateX là trình triển khai phổ quát không cần tin cậy của pcaversaccio bao bọc các luồng kiểu CREATE, CREATE2 và CREATE3 để các nhóm có thể khởi chạy các hợp đồng từ các địa chỉ có thể dự đoán được mà không cần mã nhà máy tùy chỉnh.

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.

Plugin Hardhat để triển khai các hợp đồng thông minh của bạn trên nhiều chuỗi EVM với cùng một địa chỉ xác định (deterministic address). Tổng cộng có 133 chuỗi EVM hiện được hỗ trợ, bao gồm (gần như) tất cả các chuỗi được cung cấp sức mạnh bởi OP-stack.

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.

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.

Create2Deployer là một hợp đồng nhà máy tối giản từ pcaversaccio bao bọc mã lệnh CREATE2 với các kiểm tra an toàn để các nhóm có thể triển khai các hợp đồng phản thực tế tại các địa chỉ xác định.

Txtx biến sự căng thẳng, đau đớn và nước mắt của việc quản lý Cơ sở hạ tầng Hợp đồng Thông minh bằng cách giới thiệu Cơ sở hạ tầng Tiền điện tử dưới dạng Mã (Crypto Infrastructure as Code). Runbook là bản thiết kế cho Sự xuất sắc trong Kỹ thuật, thiết lập tiêu chuẩn mới cho Cơ sở hạ tầng Web3.

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.

Cannon là một công cụ DevOps dành cho các giao thức trên Ethereum. Nó quản lý việc triển khai và cấu hình smart contract cho quá trình phát triển cục bộ và các mạng trực tiếp.

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.

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.

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.

OpenZeppelin Contracts là thư viện hàng đầu cho việc phát triển hợp đồng thông minh.

Solidity là một ngôn ngữ cấp cao, hướng đối tượng để triển khai các hợp đồng thông minh.

Ngôn ngữ Hợp đồng Thông minh kiểu Python dành cho EVM

Công cụ Phát triển Định hướng Solidity

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.

Solady của Vectorized thu thập các đoạn mã Solidity được tối ưu hóa mạnh mẽ từ các bằng chứng Merkle đến các trình trợ giúp nén, bao bọc hợp ngữ nội tuyến cẩn thận trong các API dễ tiếp cận để các nhà phát triển nâng cao có thể cung cấp các mẫu tiết kiệm Gas trong khi học các kỹ thuật tối ưu hóa tiên tiến từ một thư viện tham chiếu sống động.

Solmate là một bộ sưu tập hiện đại, mang tính định hướng gồm các khối xây dựng và tiện ích Solidity được tối ưu hóa Gas cho việc phát triển hợp đồng thông minh.

Fe là một ngôn ngữ lấy cảm hứng từ Rust nhắm mục tiêu đến EVM; ngày nay bạn có thể khám phá hệ thống kiểu dữ liệu của Fe v2 thông qua CLI hoặc công cụ soạn thảo ngay cả khi việc tạo mã byte vẫn đang phát triển.

Solhint là một trình phân tích mã (linter) Solidity mà bạn tích hợp vào các trình soạn thảo hoặc CI để thực thi các quy tắc kiểu dáng và sớm phát hiện các mẫu dễ gây lỗi.

Tiện ích mở rộng VSCode Solidity của Juan Blanco bổ sung tính năng đánh dấu cú pháp, các lệnh biên dịch, siêu dữ liệu khi di chuột, sửa lỗi nhanh, phát hiện monorepo, tạo mã Nethereum tùy chọn, tích hợp lint và một máy chủ LSP.

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.

Plugin Solidity cho IntelliJ

PRBMath là một thư viện hợp đồng thông minh bổ sung hỗ trợ cho các kiểu dấu phẩy tĩnh (fixed-point) và các hàm toán học nâng cao như logarit và hàm mũ trong Solidity. Hoạt động với các số có 18 chữ số thập phân, PRBMath đồng thời tiết kiệm gas và thân thiện với người dùng.

WhatsABI khôi phục các selector, proxy và ABI một phần chỉ từ mã byte - hãy sử dụng nó trong các ví, trình khám phá hoặc công cụ cục bộ khi thiếu mã nguồn đã được xác minh nhưng bạn vẫn cần giải mã dữ liệu lệnh gọi.

Solc-select là một tiện ích dòng lệnh để cài đặt nhanh chóng và chuyển đổi giữa các phiên bản trình biên dịch Solidity.

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.

Các khối xây dựng hợp đồng thông minh Vyper hiện đại nhất, mang tính định hướng cao, siêu tối ưu hóa và an toàn.

Trình biên dịch Solidity có tính mô-đun, cực kỳ nhanh được viết bằng Rust bởi Paradigm. Được thiết kế như một ngăn xếp trình biên dịch thân thiện với người đóng góp để có các bản dựng nhanh hơn và chẩn đoán tốt hơn.

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.

Một plugin Prettier để tự động định dạng mã Solidity của bạn.

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.

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.

Solidity Bytes Utils là một Thư viện cổ điển để nối, cắt và ép kiểu các mảng byte động trong bộ nhớ hoặc lưu trữ của Solidity - được duy trì lâu dài và được phân nhánh rộng rãi trên các giao thức lớn.

Một trình biên dịch Solidity tiết kiệm Gas cho Ethereum được hỗ trợ bởi LLVM từ nhóm ZKsync và các cộng tác viên. Hoạt động như một sự thay thế trực tiếp cho solc trong các quy trình làm việc như Foundry và Hardhat.

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-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.

Diamondscaffold là một công cụ CLI được thiết kế để tạo khung cho các dự án kim cương EIP-2535 với bố cục và tập lệnh theo quan điểm riêng, giúp thiết lập các proxy có thể nâng cấp mô-đun nhanh hơn.

ZK Email cung cấp các mạch và SDK để chứng minh các sự kiện về bản ghi email đã được bôi đen trên chuỗi. Hữu ích khi bạn muốn kiểm tra danh tính hoặc biên lai bảo vệ quyền riêng tư mà không làm lộ hộp thư đến.

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.

snarkjs là một bộ công cụ JavaScript và CLI để tạo và xác minh các bằng chứng ZK-SNARK, cũng như để chạy các quy trình chứng minh phổ biến trong Node.js và trình duyệt.

Circom là một ngôn ngữ đặc thù miền và trình biên dịch để viết và biên dịch các mạch số học được sử dụng trong các hệ thống bằng chứng không kiến thức.

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.

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.

Semaphore là một giao thức không tri thức cho các bằng chứng thành viên nhóm riêng tư, cho phép phát tín hiệu và xác thực ẩn danh mà không tiết lộ danh tính.

Self Protocol cung cấp các nguyên thủy về danh tính mở và bằng chứng mà các nhà xây dựng có thể nhúng vào khi họ cần các luồng xác minh bảo vệ quyền riêng tư gắn liền với ví hoặc thông tin xác thực.

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.

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.

zkTLS / TLSNotary là một Giao thức mở để chứng minh các thuộc tính của phiên TLS bằng MPC để các trình xác minh có thể tin tưởng các bản ghi mà không cần xem toàn bộ văn bản thuần túy.

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.

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.

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.

MACI (Cơ sở hạ tầng chống thông đồng tối thiểu) sử dụng Bằng chứng không kiến thức để kích hoạt các hệ thống báo hiệu và bỏ phiếu riêng tư, chống thông đồng trên Ethereum.

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.

Một bộ công cụ giúp việc chứng minh không tri thức phía client trên thiết bị di động trở nên đơn giản. Kết nối các hệ thống bằng chứng ZK (Halo2, Circom) để tạo các ràng buộc iOS, Android và trình duyệt, tận dụng GPU di động để cải thiện hiệu suất.

Một monorepo gồm các Thư viện không tri thức có thể tái sử dụng trên nhiều ngôn ngữ (JavaScript, Solidity, Rust, Noir), cung cấp các bản triển khai đã được kiểm thử kỹ lưỡng của các nguyên thủy mật mã học như cây Merkle, Mã băm Poseidon và nhiều thứ khác.

Một Thư viện gấp có tính mô-đun hỗ trợ nhiều sơ đồ gấp (Nova, HyperNova, ProtoGalaxy, CycleFold) và các backend quyết định (Groth16, KZG) cho Tính toán có thể xác minh tăng dần. Hỗ trợ các frontend Arkworks, Circom, Noir và Noname.

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.

Các công cụ để xây dựng các ứng dụng bảo vệ quyền riêng tư sử dụng thẻ ID Aadhaar của chính phủ Ấn Độ. Cung cấp các mạch ZK, thư viện TypeScript, Solidity và React để cho phép những người sở hữu Aadhaar chứng minh nơi cư trú mà không tiết lộ dữ liệu cá nhân.

Xác minh danh tính riêng tư bằng cách sử dụng các Bằng chứng không kiến thức. Xác minh tuổi, quốc gia hoặc bằng chứng về tư cách con người mà không tiết lộ bất kỳ thông tin cá nhân nào. Thiết kế ưu tiên thiết bị di động với SDK để tích hợp và các hợp đồng đăng ký trên chuỗi.

Bản phân nhánh được thiết kế lại của PSE từ hệ thống bằng chứng Halo2 PLONK của Zcash, có backend KZG với trình xác minh Solidity để xác minh lớp 1 (l1) tiết kiệm, hỗ trợ nhiều đường cong elliptic và kiến trúc frontend/backend tách rời.

Một bộ công cụ cho các buổi lễ thiết lập tin cậy Giai đoạn 2 của Groth16. Giúp các nhà phát triển tạo và quản lý các thiết lập tin cậy cho các ứng dụng ZK, với một ứng dụng web đi kèm (DefinitelySetup) để giám sát và tham gia.

Một buổi lễ thiết lập tin cậy ZK-SNARK đang diễn ra (từ năm 2019) cho các mạch lên đến 2^28 ràng buộc, tạo ra hơn 530 triệu powers of tau. Một buổi lễ đa bên nơi bảo mật được giữ vững miễn là có một người tham gia trung thực.