Peralatan kontrak

Alat pengembangan kontrak pintar untuk Pythonistas, Ilmuwan Data, dan Profesional Keamanan

Scaffold-ETH 2 adalah starter Next.js plus Hardhat atau Foundry dengan hook dompet, muat ulang kontrak panas, utilitas faucet lokal, dan modul ekstensi untuk penyebaran dapp tumpukan penuh.

Kerangka kerja pengembangan dan pengujian berbasis Python untuk kontrak pintar yang menargetkan Ethereum Virtual Machine.

Perangkat Web3 yang kaya dan dapat diakses untuk belajar, membangun, dan menguji di berbagai rantai

Moccasin adalah alur kerja yang mengutamakan Python dari Cyfrin di Titanoboa untuk menguji, melakukan fuzzing, dan menyebarkan kontrak pintar yang ditulis dalam 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 adalah lingkungan pengembangan untuk membangun dan menerapkan perangkat lunak Ethereum Anda

Foundry adalah rantai alat Rust yang cepat dan portabel untuk rekayasa kontrak pintar Ethereum yang mengelola dependensi, mengkompilasi Solidity, menjalankan pengujian fuzz dan unit, menyebarkan kontrak, dan mendorong interaksi rantai berskrip dari terminal atau skrip otomatisasi Solidity.

Kurtosis memaketkan devnet multi-layanan yang dapat direproduksi sehingga Anda dapat memutar tumpukan Ethereum atau rollup yang realistis untuk pengujian integrasi lebih cepat daripada file compose yang dikelola secara manual.

CreateX adalah penyebar universal tanpa kepercayaan dari pcaversaccio yang membungkus alur bergaya CREATE, CREATE2, dan CREATE3 sehingga tim dapat meluncurkan kontrak dari alamat yang dapat diprediksi tanpa kode pabrik khusus.

Plugin Hardhat untuk menerapkan kontrak pintar Anda di berbagai rantai EVM dengan alamat deterministik yang sama. Sebanyak 133 rantai EVM saat ini didukung, termasuk (hampir) semua rantai yang didukung OP-stack.

Create2Deployer adalah kontrak pabrik minimal dari pcaversaccio yang membungkus opcode CREATE2 dengan pemeriksaan keamanan sehingga tim dapat menyebarkan kontrak kontrafaktual di alamat deterministik.

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 mengubah stres, rasa sakit, dan air mata dari manajemen Infrastruktur Smart Contract (Kontrak Pintar) dengan memperkenalkan Infrastruktur Kripto sebagai Kode (Crypto Infrastructure as Code). Runbook adalah cetak biru untuk Keunggulan Rekayasa, menetapkan standar baru untuk Infrastruktur Web3.

Cannon adalah alat DevOps untuk protokol di Ethereum. Ini mengelola penerapan dan konfigurasi kontrak pintar untuk pengembangan lokal dan jaringan langsung.

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 adalah pustaka andalan untuk pengembangan smart contract (kontrak pintar).

Solidity adalah bahasa tingkat tinggi berorientasi objek untuk mengimplementasikan smart contract (kontrak pintar).

Bahasa Kontrak Pintar Pythonic untuk EVM

Perkakas Pengembangan Berorientasi Solidity

Solady oleh Vectorized mengumpulkan cuplikan Solidity yang dioptimalkan secara agresif dari bukti Merkle hingga pembantu kompresi, membungkus perakitan sebaris yang cermat dalam API yang mudah didekati sehingga pengembang tingkat lanjut dapat mengirimkan pola yang efisien gas sambil mempelajari teknik pengoptimalan mutakhir dari Pustaka referensi yang hidup.

Fe adalah bahasa yang terinspirasi Rust yang menargetkan EVM; hari ini Anda dapat menjelajahi sistem tipe Fe v2 melalui CLI atau perkakas editor bahkan saat pembuatan kode bita masih berkembang.

Solhint adalah linter Solidity yang Anda hubungkan ke editor atau CI untuk menegakkan aturan gaya dan menangkap pola footgun lebih awal.

Ekstensi VSCode Solidity dari Juan Blanco menambahkan penyorotan sintaksis, perintah kompilasi, metadata saat diarahkan (hover), perbaikan cepat, deteksi monorepo, pembuatan kode Nethereum opsional, integrasi lint, dan server LSP.

Plugin Solidity untuk IntelliJ

WhatsABI memulihkan pemilih, proksi, dan ABI parsial dari kode bita saja—gunakan ini di dompet, penjelajah, atau alat lokal saat sumber yang diverifikasi hilang tetapi Anda masih memerlukan dekode data panggilan.

PRBMath adalah pustaka smart contract (kontrak pintar) yang menambahkan dukungan untuk tipe titik tetap (fixed-point) dan fungsi matematika tingkat lanjut seperti logaritma dan eksponensial di Solidity. Beroperasi dengan angka 18 desimal, PRBMath pada saat yang sama efisien gas dan ramah pengguna.

Solc-select adalah utilitas baris perintah untuk menginstal dan beralih antar versi kompiler Solidity dengan cepat.

Plugin Prettier untuk memformat kode Solidity Anda secara otomatis.

Blok bangunan kontrak pintar Vyper yang canggih, sangat beropini, sangat dioptimalkan, dan aman.

Solidity Bytes Utils adalah Pustaka klasik untuk menggabungkan, mengiris, dan mentransmisikan array byte dinamis dalam memori atau penyimpanan Solidity—telah lama dikelola dan banyak dicabangkan di seluruh protokol utama.

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 adalah koleksi modern dan beropini dari blok bangunan dan utilitas Solidity yang dioptimalkan gasnya untuk pengembangan kontrak pintar.

Kompiler Solidity yang efisien gas untuk Ethereum yang didukung oleh LLVM dari tim ZKsync dan kolaborator. Berfungsi sebagai pengganti langsung untuk solc dalam alur kerja seperti Foundry dan Hardhat.

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 adalah alat CLI yang dirancang untuk merancah proyek berlian EIP-2535 dengan tata letak dan skrip yang beropini, membuatnya lebih cepat untuk mendirikan proksi modular yang dapat ditingkatkan.

Kompiler Solidity modular yang sangat cepat yang ditulis dalam Rust oleh Paradigm. Dirancang sebagai tumpukan kompiler yang ramah kontributor untuk pembangunan yang lebih cepat dan diagnostik yang lebih baik.

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 menyediakan sirkuit dan SDK untuk membuktikan fakta tentang transkrip email yang disunting secara onchain. Berguna saat Anda menginginkan identitas yang menjaga privasi atau pemeriksaan tanda terima tanpa mengekspos kotak masuk.

Self Protocol menyediakan identitas terbuka dan primitif bukti yang dapat disematkan oleh pembangun saat mereka membutuhkan alur verifikasi yang menjaga privasi yang terkait dengan dompet atau kredensial.

zkTLS / TLSNotary adalah protokol terbuka untuk membuktikan properti sesi TLS dengan MPC sehingga pemverifikasi dapat mempercayai transkrip tanpa melihat teks biasa secara penuh.

Alat untuk membangun aplikasi yang menjaga privasi menggunakan kartu identitas Aadhaar pemerintah India. Menyediakan sirkuit ZK, pustaka TypeScript, Solidity, dan React untuk memungkinkan pemegang Aadhaar membuktikan tempat tinggal tanpa mengungkapkan data pribadi.

Circom adalah bahasa khusus domain dan kompiler untuk menulis dan mengkompilasi sirkuit aritmatika yang digunakan dalam sistem bukti tanpa pengetahuan (ZKP).

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.

Percabangan yang diarsiteki ulang oleh PSE dari sistem bukti Halo2 PLONK Zcash, menampilkan backend KZG dengan pemverifikasi Solidity untuk verifikasi L1 yang ekonomis, dukungan untuk beberapa kurva eliptik, dan arsitektur frontend/backend yang dipisahkan.

MACI (Minimal Anti-Collusion Infrastructure) menggunakan bukti tanpa pengetahuan untuk memungkinkan sistem pemungutan suara dan pensinyalan privat yang tahan kolusi di Ethereum.

Toolkit yang membuat pembuktian zero-knowledge sisi klien di seluler menjadi sederhana. Menghubungkan sistem bukti ZK (Halo2, Circom) untuk menghasilkan pengikatan iOS, Android, dan peramban, memanfaatkan GPU seluler untuk peningkatan kinerja.

Toolkit untuk upacara pengaturan tepercaya Groth16 Fase 2. Membantu pengembang membuat dan mengelola pengaturan tepercaya untuk aplikasi ZK, dengan aplikasi web pendamping (DefinitelySetup) untuk pemantauan dan partisipasi.

Upacara pengaturan tepercaya ZK-SNARK yang sedang berlangsung (sejak 2019) untuk sirkuit hingga 2^28 batasan, menghasilkan 530 juta+ powers of tau. Upacara multi-pihak di mana keamanan bertahan selama satu peserta jujur.

Semaphore adalah protokol zero-knowledge untuk bukti keanggotaan grup privat, memungkinkan pensinyalan dan autentikasi anonim tanpa mengungkapkan identitas.

snarkjs adalah toolkit JavaScript dan CLI untuk menghasilkan dan memverifikasi bukti ZK-SNARK, dan untuk menjalankan alur kerja pembuktian umum di Node.js dan peramban.

Pustaka pelipatan modular yang mendukung beberapa skema pelipatan (Nova, HyperNova, ProtoGalaxy, CycleFold) dan backend penentu (Groth16, KZG) untuk Incremental Verifiable Computation. Mendukung frontend Arkworks, Circom, Noir, dan Noname.

Verifikasi identitas pribadi menggunakan Bukti tanpa pengetahuan. Verifikasi usia, negara, atau bukti kepribadian tanpa mengungkapkan informasi pribadi apa pun. Desain yang mengutamakan seluler dengan SDK untuk integrasi dan kontrak registri onchain.

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.

Monorepo dari Pustaka zero-knowledge yang dapat digunakan kembali di berbagai bahasa (JavaScript, Solidity, Rust, Noir), menawarkan implementasi primitif kriptografi yang telah diuji dengan baik seperti Merkle tree, hash Poseidon, dan banyak lagi.