Narzędzia do kontraktów

Narzędzie do tworzenia inteligentnych kontraktów dla programistów Pythona (Pythonistas), analityków danych i specjalistów ds. bezpieczeństwa

Scaffold-ETH 2 to starter Next.js plus Hardhat lub Foundry z hookami portfela, przeładowywaniem kontraktów na gorąco, lokalnymi narzędziami kranika i modułami rozszerzeń do wdrażania zdecentralizowanych aplikacji (dapps) typu 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.

Oparty na Pythonie framework do programowania i testowania inteligentnych kontraktów ukierunkowany na maszynę wirtualną Ethereum (Ethereum Virtual Machine).

Bogaty i przystępny zestaw narzędzi Web3 do nauki, budowania i testowania na wielu łańcuchach

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 to oparty na Pythonie przepływ pracy od Cyfrin na Titanoboa do testowania, fuzzingu i wdrażania inteligentnych kontraktów napisanych w Vyper.

Hardhat to środowisko programistyczne do budowania i wdrażania oprogramowania Ethereum

Foundry to szybki, przenośny zestaw narzędzi w języku Rust do inżynierii inteligentnych kontraktów Ethereum, który zarządza zależnościami, kompiluje Solidity, uruchamia testy rozmyte i jednostkowe, wdraża kontrakty i steruje oskryptowaną interakcją z łańcuchem z terminala lub skryptów automatyzacji 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.

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.

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.

Kurtosis pakuje powtarzalne wielousługowe sieci deweloperskie (devnets), dzięki czemu możesz uruchamiać realistyczne stosy Ethereum lub rollupów do testów integracyjnych szybciej niż w przypadku ręcznie utrzymywanych plików compose.

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 to niewymagający zaufania uniwersalny wdrażający (deployer) od pcaversaccio, który opakowuje przepływy w stylu CREATE, CREATE2 i CREATE3, dzięki czemu zespoły mogą uruchamiać kontrakty z przewidywalnych adresów bez niestandardowego kodu fabryki.

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.

Wtyczka Hardhat do wdrażania inteligentnych kontraktów w wielu łańcuchach EVM z tym samym deterministycznym adresem. Obecnie obsługiwane są łącznie 133 łańcuchy EVM, w tym (prawie) wszystkie łańcuchy oparte na 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 to minimalny kontrakt fabryki od pcaversaccio, który opakowuje kod operacji CREATE2 kontrolami bezpieczeństwa, dzięki czemu zespoły mogą wdrażać kontrakty kontrfaktyczne pod deterministycznymi adresami.

Txtx zamienia stres, ból i łzy związane z zarządzaniem infrastrukturą inteligentnych kontraktów, wprowadzając Crypto Infrastructure as Code. Runbooki są planem doskonałości inżynieryjnej, wyznaczając nowy standard dla infrastruktur 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 to narzędzie DevOps dla protokołów na Ethereum. Zarządza wdrażaniem i konfiguracją inteligentnych kontraktów dla lokalnego programowania i sieci na żywo.

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.

blocksmith.js to cienka warstwa JavaScript wokół forge i anvil do tworzenia skryptów testów Foundry w wielu łańcuchach lub wielu instancjach, gdy pojedyncza lokalna maszyna EVM nie wystarcza.

OpenZeppelin Contracts to podstawowa biblioteka do tworzenia inteligentnych kontraktów.

Solidity to obiektowy język wysokiego poziomu do implementacji inteligentnych kontraktów.

Język inteligentnych kontraktów w stylu Pythona dla EVM

Narzędzia deweloperskie zorientowane na Solidity

Solady od Vectorized gromadzi agresywnie zoptymalizowane fragmenty kodu Solidity, od dowodów Merkle po pomocniki kompresji, opakowując staranny wbudowany asembler (inline assembly) w przystępne API, dzięki czemu zaawansowani deweloperzy mogą dostarczać wydajne pod względem gazu wzorce, jednocześnie ucząc się najnowocześniejszych technik optymalizacji z żywej biblioteki referencyjnej.

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.

Fe to inspirowany Rustem język ukierunkowany na EVM; dziś możesz eksplorować system typów Fe v2 za pośrednictwem CLI lub narzędzi edytora, nawet gdy generowanie kodu bajtowego wciąż ewoluuje.

Solhint to linter Solidity, który podłączasz do edytorów lub CI, aby wymuszać reguły stylu i wcześnie wyłapywać niebezpieczne wzorce (footguns).

Rozszerzenie VSCode Solidity autorstwa Juana Blanco dodaje podświetlanie składni, polecenia kompilacji, metadane po najechaniu kursorem, szybkie poprawki, wykrywanie monorepo, opcjonalne generowanie kodu Nethereum, integrację z linterem i serwer 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.

PRBMath to biblioteka inteligentnych kontraktów, która dodaje obsługę typów stałoprzecinkowych i zaawansowanych funkcji matematycznych, takich jak logarytmy i funkcje wykładnicze w Solidity. Operując na liczbach z 18 miejscami po przecinku, PRBMath jest jednocześnie wydajny pod względem gazu i przyjazny dla użytkownika.

Wtyczka Solidity dla IntelliJ

WhatsABI odzyskuje selektory, proxy i częściowe ABI z samego kodu bajtowego - używaj go w portfelach, eksploratorach lub lokalnych narzędziach, gdy brakuje zweryfikowanego źródła, ale nadal potrzebujesz dekodowania danych wywołania (calldata).

Solc-select to narzędzie wiersza poleceń do szybkiego instalowania i przełączania się między wersjami kompilatora 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.

Nowoczesne, wysoce opiniowane, hiper-zoptymalizowane i bezpieczne bloki konstrukcyjne inteligentnych kontraktów w Vyper.

Niesamowicie szybki, modułowy kompilator Solidity napisany w języku Rust przez Paradigm. Zaprojektowany jako przyjazny dla współtwórców stos kompilatora dla szybszych kompilacji i lepszej diagnostyki.

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.

Wtyczka Prettier do automatycznego formatowania Twojego kodu 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.

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 to klasyczna biblioteka do łączenia, cięcia i rzutowania dynamicznych tablic bajtów w pamięci lub pamięci masowej (storage) Solidity – długo utrzymywana i szeroko forkowna w głównych protokołach.

Wydajny pod względem gazu kompilator Solidity dla Ethereum oparty na LLVM od zespołu ZKsync i współpracowników. Działa jako bezpośredni zamiennik (drop-in replacement) dla solc w przepływach pracy takich jak Foundry i 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 to narzędzie CLI zaprojektowane do tworzenia szkieletów projektów diamentowych EIP-2535 z narzuconym układem i skryptami, co przyspiesza tworzenie modułowych, aktualizowalnych proxy.

ZK Email dostarcza obwody i SDK do dowodzenia faktów na temat zredagowanych transkryptów e-mail onchain. Przydatne, gdy chcesz zachować prywatność tożsamości lub sprawdzić pokwitowania bez ujawniania (doxxingu) skrzynek odbiorczych.

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 to zestaw narzędzi JavaScript i CLI do generowania i weryfikacji dowodów zkSNARK oraz do uruchamiania typowych przepływów pracy dowodzenia w Node.js i przeglądarce.

Circom to język dziedzinowy i kompilator do pisania i kompilowania obwodów arytmetycznych używanych w systemach dowodów z wiedzą zerową.

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 to protokół z wiedzą zerową do prywatnych dowodów członkostwa w grupie, umożliwiający anonimowe sygnalizowanie i uwierzytelnianie bez ujawniania tożsamości.

Self Protocol zapewnia otwarte prymitywy tożsamości i dowodów, które budowniczowie mogą osadzić, gdy potrzebują przepływów weryfikacji chroniących prywatność, powiązanych z portfelami lub poświadczeniami.

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.

The RAILGUN Wallet SDK lets an app shield tokens and NFTs, hold private balances and send private transfers and contract calls using zero-knowledge proofs. It runs on Ethereum, Arbitrum, Polygon, BNB Chain and more, on top of the lower-level RAILGUN engine.

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 to otwarty protokół do dowodzenia właściwości sesji TLS za pomocą MPC, dzięki czemu weryfikatorzy mogą ufać transkryptom bez widzenia pełnego tekstu jawnego.

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 (Minimal Anti-Collusion Infrastructure) wykorzystuje dowody z wiedzą zerową, aby umożliwić odporne na zmowy, prywatne systemy głosowania i sygnalizowania na 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.

Zestaw narzędzi, który upraszcza generowanie dowodów z wiedzą zerową po stronie klienta na urządzeniach mobilnych. Łączy systemy dowodów ZK (Halo2, Circom) w celu generowania powiązań (bindings) dla iOS, Androida i przeglądarek, wykorzystując mobilne GPU do poprawy wydajności.

Monorepo bibliotek z wiedzą zerową wielokrotnego użytku w wielu językach (JavaScript, Solidity, Rust, Noir), oferujące dobrze przetestowane implementacje prymitywów kryptograficznych, takich jak drzewa Merkle, hash Poseidon i inne.

Modułowa biblioteka składania (folding) obsługująca wiele schematów składania (Nova, HyperNova, ProtoGalaxy, CycleFold) i backendów decyzyjnych (Groth16, KZG) dla przyrostowych weryfikowalnych obliczeń (Incremental Verifiable Computation). Obsługuje frontendy Arkworks, Circom, Noir i 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.

Narzędzia do budowania aplikacji chroniących prywatność przy użyciu indyjskich rządowych dowodów tożsamości Aadhaar. Zapewnia obwody ZK, biblioteki TypeScript, Solidity i React, aby umożliwić posiadaczom Aadhaar udowodnienie miejsca zamieszkania bez ujawniania danych osobowych.

Prywatna weryfikacja tożsamości przy użyciu dowodów z wiedzą zerową. Zweryfikuj wiek, kraj lub dowód bycia człowiekiem (proof of personhood) bez ujawniania jakichkolwiek danych osobowych. Projekt zorientowany na urządzenia mobilne (mobile-first) z SDK do integracji i kontraktami rejestru onchain.

Przeprojektowane przez PSE rozwidlenie systemu dowodów Halo2 PLONK od Zcash, zawierające backend KZG z weryfikatorem w Solidity dla ekonomicznej weryfikacji na warstwie 1 (L1), obsługę wielu krzywych eliptycznych oraz oddzieloną architekturę frontend/backend.

Zestaw narzędzi do ceremonii zaufanej konfiguracji Groth16 Phase 2. Pomaga deweloperom tworzyć i zarządzać zaufanymi konfiguracjami dla aplikacji ZK, z towarzyszącą aplikacją internetową (DefinitelySetup) do monitorowania i uczestnictwa.

Trwająca (od 2019 r.) ceremonia zaufanej konfiguracji zk-SNARK dla obwodów do 2^28 ograniczeń, generująca ponad 530 milionów potęg tau (powers of tau). Wieloosobowa ceremonia, w której bezpieczeństwo jest zachowane, dopóki przynajmniej jeden uczestnik jest uczciwy.