Инструменты для контрактов

Инструмент разработки смарт-контрактов для Python-разработчиков, специалистов по данным и профессионалов в области безопасности.

Scaffold-ETH 2 — это стартовый шаблон на Next.js плюс Hardhat или Foundry с хуками для кошельков, горячей перезагрузкой контрактов, утилитами локального крана и модулями расширения для полностекового развертывания децентрализованных приложений (dapp).

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.

Фреймворк на базе Python для разработки и тестирования смарт-контрактов, ориентированных на виртуальную машину Ethereum (EVM).

Богатый и доступный набор инструментов Web3 для обучения, создания и тестирования в нескольких сетях

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 — это ориентированный на Python рабочий процесс от Cyfrin на базе Titanoboa для тестирования, фаззинга и развертывания смарт-контрактов, написанных на Vyper.

Hardhat — это среда разработки для создания и развертывания вашего программного обеспечения для Ethereum

Foundry — это быстрый, портативный набор инструментов на Rust для разработки смарт-контрактов Эфириума, который управляет зависимостями, компилирует Solidity, запускает фазз-тесты и модульные тесты, развертывает контракты и управляет скриптовым взаимодействием с цепью из терминала или скриптов автоматизации 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 упаковывает воспроизводимые многосервисные сети для разработки (devnets), чтобы вы могли развернуть реалистичные стеки Эфириума или роллапов для интеграционных тестов быстрее, чем при использовании 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 — это не требующий доверия универсальный инструмент развертывания от pcaversaccio, который оборачивает процессы в стиле CREATE, CREATE2 и CREATE3, чтобы команды могли запускать контракты с предсказуемых адресов без специального кода фабрики.

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.

Плагин Hardhat для развертывания ваших смарт-контрактов в нескольких цепочках EVM с одним и тем же детерминированным адресом. В настоящее время поддерживается в общей сложности 133 цепочки EVM, включая (почти) все цепочки на базе 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 — это минимальный контракт фабрики от pcaversaccio, который оборачивает код операции CREATE2 проверками безопасности, чтобы команды могли развертывать контрфактические контракты по детерминированным адресам.

Txtx избавляет от стресса, боли и слез при управлении инфраструктурой смарт-контрактов, внедряя криптоинфраструктуру как код (Crypto Infrastructure as Code). Ранбуки (Runbooks) — это план инженерного совершенства, устанавливающий новый стандарт для 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 — это DevOps-инструмент для протоколов на Ethereum. Он управляет развертыванием и конфигурацией смарт-контрактов для локальной разработки и рабочих сетей.

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 — это тонкая обертка на JavaScript вокруг forge и anvil для написания скриптов мультичейн-тестов или тестов с несколькими экземплярами в Foundry, когда одной локальной EVM недостаточно.

OpenZeppelin Contracts — это основная библиотека для разработки смарт-контрактов.

Solidity — это объектно-ориентированный язык высокого уровня для реализации смарт-контрактов.

Язык смарт-контрактов в стиле Python для EVM

Инструменты разработки, ориентированные на Solidity

Solady от Vectorized собирает агрессивно оптимизированные фрагменты кода на Solidity, от доказательств Меркла до помощников по сжатию, оборачивая аккуратный встроенный ассемблер в доступные API, чтобы продвинутые разработчики могли поставлять эффективные по газу шаблоны, изучая передовые методы оптимизации из живой справочной библиотеки.

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 — это язык, вдохновленный Rust, ориентированный на EVM; сегодня вы можете изучить систему типов Fe v2 через CLI или инструменты редактора, даже пока генерация байт-кода все еще развивается.

Solhint — это линтер для Solidity, который вы интегрируете в редакторы или CI для обеспечения соблюдения правил стиля и раннего выявления опасных паттернов.

Расширение VSCode Solidity от Хуана Бланко (Juan Blanco) добавляет подсветку синтаксиса, команды компиляции, метаданные при наведении, быстрые исправления, обнаружение монорепозиториев, опциональную генерацию кода Nethereum, интеграцию с линтерами и сервер 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 — это библиотека смарт-контрактов, которая добавляет поддержку типов с фиксированной запятой и сложных математических функций, таких как логарифмы и экспоненты, в Solidity. Работая с числами с 18 десятичными знаками, PRBMath одновременно эффективна по газу и удобна для пользователя.

Плагин Solidity для IntelliJ

WhatsABI восстанавливает селекторы, прокси и частичные ABI только из байт-кода — используйте его в кошельках, обозревателях или локальных инструментах, когда проверенный исходный код отсутствует, но вам все еще нужно декодирование данных вызова.

Solc-select — это утилита командной строки для быстрой установки и переключения между версиями компилятора 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.

Передовые, строго регламентированные, гипер-оптимизированные и безопасные строительные блоки смарт-контрактов на Vyper.

Невероятно быстрый модульный компилятор Solidity, написанный на Rust командой Paradigm. Разработан как удобный для контрибьюторов стек компилятора для более быстрых сборок и лучшей диагностики.

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.

Плагин Prettier для автоматического форматирования вашего кода на 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 — это классическая библиотека для объединения, нарезки и приведения динамических массивов байтов в памяти или хранилище Solidity, которая долгое время поддерживается и широко форкается в основных протоколах.

Эффективный по газу компилятор Solidity для Эфириума на базе LLVM от команды ZKsync и соавторов. Работает как прямая замена solc в таких рабочих процессах, как Foundry и 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 — это инструмент CLI, предназначенный для создания каркаса проектов diamond по стандарту EIP-2535 со строгой структурой и скриптами, что ускоряет развертывание модульных обновляемых прокси.

ZK Email предоставляет схемы и SDK для ончейн-доказательства фактов об отредактированных расшифровках электронной почты. Полезно, когда вам нужна проверка личности или квитанций с сохранением приватности без деанонимизации почтовых ящиков.

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 — это набор инструментов JavaScript и CLI для генерации и проверки доказательств zk-SNARK, а также для запуска общих рабочих процессов доказательства в Node.js и браузере.

Circom — это предметно-ориентированный язык и компилятор для написания и компиляции арифметических схем, используемых в системах доказательств с нулевым разглашением.

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 — это протокол с нулевым разглашением для доказательств членства в приватной группе, обеспечивающий анонимную передачу сигналов и аутентификацию без раскрытия личности.

Self Protocol предоставляет открытые примитивы идентификации и доказательств, которые разработчики могут встраивать, когда им нужны процессы верификации с сохранением приватности, привязанные к кошелькам или учетным данным.

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 — это открытый протокол для доказательства свойств TLS-сессий с помощью MPC, чтобы верификаторы могли доверять расшифровкам, не видя полного открытого текста.

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) использует доказательства с нулевым разглашением для создания устойчивых к сговору приватных систем голосования и сигнализации в Эфириуме.

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.

Набор инструментов, который упрощает создание доказательств с нулевым разглашением на стороне клиента на мобильных устройствах. Подключает системы ZK-доказательств (Halo2, Circom) для генерации привязок для iOS, Android и браузеров, используя мобильные графические процессоры для повышения производительности.

Монорепозиторий повторно используемых библиотек с нулевым разглашением на нескольких языках (JavaScript, Solidity, Rust, Noir), предлагающий хорошо протестированные реализации криптографических примитивов, таких как деревья Меркла, хеш Poseidon и многое другое.

Модульная библиотека свертывания (folding), поддерживающая несколько схем свертывания (Nova, HyperNova, ProtoGalaxy, CycleFold) и бэкенды решателей (Groth16, KZG) для инкрементальных проверяемых вычислений. Поддерживает фронтенды Arkworks, Circom, Noir и 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.

Инструменты для создания приложений, сохраняющих приватность, с использованием индийских государственных удостоверений личности Aadhaar. Предоставляет ZK-схемы, а также библиотеки TypeScript, Solidity и React, чтобы позволить владельцам Aadhaar подтверждать свое место жительства без раскрытия личных данных.

Приватная верификация личности с использованием доказательств с нулевым разглашением. Подтверждайте возраст, страну или доказательство человечности (proof of personhood), не раскрывая никакой личной информации. Дизайн, ориентированный на мобильные устройства (mobile-first), с SDK для интеграции и ончейн-контрактами реестра.

Переработанный форк системы доказательств Halo2 PLONK от Zcash, созданный PSE, с бэкендом KZG и верификатором Solidity для экономичной верификации на уровне 1 (l1), поддержкой нескольких эллиптических кривых и разделенной архитектурой фронтенда/бэкенда.

Набор инструментов для церемоний доверенной установки Groth16 Phase 2. Помогает разработчикам создавать и управлять доверенными установками для ZK-приложений, с сопутствующим веб-приложением (DefinitelySetup) для мониторинга и участия.

Непрерывная (с 2019 года) церемония доверенной установки zk-SNARK для схем с количеством ограничений до 2^28, генерирующая более 530 млн степеней tau (powers of tau). Многосторонняя церемония, безопасность которой сохраняется до тех пор, пока хотя бы один участник честен.