Nástroje pro kontrakty

Nástroj pro vývoj chytrých kontraktů pro programátory v Pythonu, datové vědce a bezpečnostní profesionály

Scaffold-ETH 2 je startér s Next.js a Hardhat nebo Foundry s hooky pro peněženky, hot reloadem kontraktů, nástroji pro lokální faucet a rozšiřujícími moduly pro full-stack nasazení decentralizovaných aplikací (dapps).

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.

Vývojový a testovací framework založený na Pythonu pro chytré kontrakty cílící na Ethereum Virtual Machine.

Bohatá a přístupná sada Web3 nástrojů pro učení, budování a testování na více sítích

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 je pracovní postup od Cyfrin primárně v Pythonu na Titanoboa pro testování, fuzzing a nasazování chytrých kontraktů napsaných ve Vyper.

Hardhat je vývojové prostředí pro budování a nasazování vašeho softwaru pro Ethereum

Foundry je rychlá, přenositelná sada nástrojů v Rustu pro inženýrství chytrých kontraktů na Ethereu, která spravuje závislosti, kompiluje Solidity, spouští fuzz a jednotkové testy, nasazuje kontrakty a řídí skriptovanou interakci s řetězcem z terminálu nebo automatizačních skriptů v 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.

Kurtosis balí reprodukovatelné devnety s více službami, takže můžete rozjet realistické stacky Etherea nebo rollupů pro integrační testy rychleji než pomocí ručně udržovaných compose souborů.

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.

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.

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.

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.

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.

CreateX je univerzální nástroj pro nasazení nevyžadující důvěru od pcaversaccio, který obaluje toky ve stylu CREATE, CREATE2 a CREATE3, takže týmy mohou spouštět kontrakty z předvídatelných adres bez vlastního továrního kódu.

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 pro Hardhat k nasazení vašich chytrých kontraktů napříč více EVM řetězci se stejnou deterministickou adresou. V současné době je podporováno celkem 133 EVM řetězců, včetně (téměř) všech řetězců poháněných OP Stackem.

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 je minimální tovární kontrakt od pcaversaccio, který obaluje operační kód CREATE2 bezpečnostními kontrolami, takže týmy mohou nasadit kontrafaktuální kontrakty na deterministických adresách.

Txtx mění stres, bolest a slzy ze správy infrastruktury chytrých kontraktů zavedením krypto infrastruktury jako kódu (Crypto Infrastructure as Code). Runbooky jsou plánem pro inženýrskou dokonalost a nastavují nový standard pro Web3 infrastruktury.

Cannon je DevOps nástroj pro protokoly na Ethereu. Spravuje nasazení a konfiguraci chytrých kontraktů pro lokální vývoj a živé sítě.

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.

OpenZeppelin Contracts jsou základní knihovnou pro vývoj chytrých kontraktů.

Solidity je objektově orientovaný, vysokoúrovňový jazyk pro implementaci chytrých kontraktů.

Jazyk pro chytré kontrakty v pythonovském stylu pro EVM

Vývojářské nástroje orientované na 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 od Vectorized shromažďuje agresivně optimalizované úryvky v Solidity od Merkleových důkazů po pomocníky pro kompresi, přičemž obaluje pečlivý inline assembly do přístupných API, takže pokročilí vývojáři mohou dodávat vzory efektivní z hlediska gasu a zároveň se učit špičkové optimalizační techniky z živé referenční knihovny.

Solmate je moderní, názorová sbírka na gas optimalizovaných stavebních bloků a nástrojů v Solidity pro vývoj chytrých kontraktů.

Fe je jazyk inspirovaný Rustem cílící na EVM; dnes můžete prozkoumat typový systém Fe v2 přes CLI nebo nástroje editoru, i když se generování bajtkódu stále vyvíjí.

Solhint je linter pro Solidity, který zapojíte do editorů nebo CI, abyste vynutili pravidla stylu a včas zachytili nebezpečné vzory (footguns).

Rozšíření VSCode Solidity od Juana Blanca přidává zvýrazňování syntaxe, příkazy pro kompilaci, metadata při najetí myší, rychlé opravy, detekci monorepa, volitelné generování kódu Nethereum, integraci linteru a LSP server.

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 pro IntelliJ

WhatsABI obnovuje selektory, proxy a částečná ABI pouze z bajtkódu – použijte jej v peněženkách, průzkumnících nebo lokálních nástrojích, když chybí ověřený zdrojový kód, ale stále potřebujete dekódování dat volání.

PRBMath je knihovna chytrých kontraktů, která přidává podporu pro typy s pevnou řádovou čárkou a pokročilé matematické funkce, jako jsou logaritmy a exponenciály, v Solidity. PRBMath pracuje s čísly s 18 desetinnými místy a je zároveň efektivní z hlediska spotřeby plynu (gas) a uživatelsky přívětivá.

Solc-select je nástroj příkazového řádku pro rychlou instalaci a přepínání mezi verzemi kompilátoru 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.

Špičkové, vysoce názorové, hyperoptimalizované a bezpečné stavební bloky chytrých kontraktů ve Vyper.

Bleskově rychlý, modulární kompilátor Solidity napsaný v Rustu společností Paradigm. Navržen jako stack kompilátoru přívětivý pro přispěvatele pro rychlejší buildy a lepší diagnostiku.

Plugin Prettier pro automatické formátování vašeho kódu v Solidity.

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.

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 je klasická knihovna pro zřetězení, krájení a přetypování dynamických polí bajtů v paměti nebo úložišti Solidity – dlouhodobě udržovaná a široce forkovaná napříč hlavními protokoly.

Kompilátor Solidity pro Ethereum efektivní z hlediska gasu, poháněný LLVM od týmu ZKsync a spolupracovníků. Funguje jako přímá náhrada za solc v pracovních postupech, jako jsou Foundry a 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 je CLI nástroj navržený k vytvoření kostry diamantových projektů EIP-2535 s vyhraněným rozložením a skripty, což urychluje zprovoznění modulárních aktualizovatelných proxy.

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 poskytuje obvody a SDK pro dokazování faktů o redigovaných e-mailových přepisech onchain. Užitečné, když chcete ověřování identity nebo stvrzenek se zachováním soukromí bez odhalování doručené pošty.

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 je sada nástrojů v JavaScriptu a CLI pro generování a ověřování důkazů ZK-SNARK a pro spouštění běžných pracovních postupů dokazování v Node.js a v prohlížeči.

Circom je doménově specifický jazyk a kompilátor pro psaní a kompilaci aritmetických obvodů používaných v systémech důkazů s nulovou znalostí.

Semaphore je protokol s nulovým vědomím pro soukromé důkazy o členství ve skupině, umožňující anonymní signalizaci a autentizaci bez odhalení identity.

Self Protocol poskytuje otevřená primitiva pro identitu a důkazy, která mohou tvůrci vložit, když potřebují ověřovací toky zachovávající soukromí vázané na peněženky nebo pověření.

zkTLS / TLSNotary je otevřený protokol pro dokazování vlastností relací TLS pomocí MPC, takže ověřovatelé mohou důvěřovat přepisům, aniž by viděli celý prostý text.

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) využívá důkazy s nulovou znalostí k umožnění soukromých hlasovacích a signalizačních systémů na Ethereu, které jsou odolné vůči tajným dohodám.

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.

Sada nástrojů, která zjednodušuje vytváření důkazů s nulovou znalostí na straně klienta v mobilních zařízeních. Propojuje systémy ZK důkazů (Halo2, Circom) pro generování vazeb pro iOS, Android a prohlížeče, přičemž využívá mobilní GPU pro vyšší výkon.

Monorepo znovupoužitelných knihoven s nulovým vědomím napříč více jazyky (JavaScript, Solidity, Rust, Noir), které nabízí dobře otestované implementace kryptografických primitiv, jako jsou Merkleovy stromy, hash Poseidon a další.

Modulární knihovna pro skládání (folding) podporující více schémat skládání (Nova, HyperNova, ProtoGalaxy, CycleFold) a rozhodovací backendy (Groth16, KZG) pro inkrementální ověřitelné výpočty. Podporuje frontendy Arkworks, Circom, Noir a Noname.

Nástroje pro budování aplikací chránících soukromí pomocí indických vládních průkazů totožnosti Aadhaar. Poskytuje ZK obvody a knihovny v TypeScriptu, Solidity a Reactu, které držitelům Aadhaaru umožňují prokázat trvalé bydliště bez odhalení osobních údajů.

Soukromé ověřování identity pomocí důkazů s nulovou znalostí. Ověřte věk, zemi nebo důkaz o lidskosti (proof of personhood) bez odhalení jakýchkoli osobních údajů. Design zaměřený na mobilní zařízení se SDK pro integraci a onchain kontrakty registrů.

Přepracovaný fork systému důkazů Halo2 PLONK od Zcash vytvořený PSE, který obsahuje KZG backend s ověřovatelem v Solidity pro ekonomickou verifikaci na vrstvě 1 (l1), podporu více eliptických křivek a oddělenou architekturu frontendu a backendu.

Sada nástrojů pro ceremonie důvěryhodného nastavení Groth16 Phase 2. Pomáhá vývojářům vytvářet a spravovat důvěryhodná nastavení pro ZK aplikace, s doprovodnou webovou aplikací (DefinitelySetup) pro monitorování a účast.

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.

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.

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.

Probíhající (od roku 2019) ceremonie důvěryhodného nastavení zk-SNARK pro obvody s až 2^28 omezeními, generující více než 530 milionů mocnin tau. Vícestranná ceremonie, kde bezpečnost platí, dokud je alespoň jeden účastník čestný.