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

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

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

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

ethPM — это неизменяемый менеджер пакетов для использования, распространения или управления любой системой смарт-контрактов EVM.

Легковесная веб-IDE для смарт-контрактов

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

Ethernaut CLI — это набор инструментов командной строки на базе Hardhat от EthernautDAO с дополнительными ИИ-помощниками для общих задач Эфириума, когда вы предпочитаете терминалы графическим интерфейсам.

opstack-kit создает фронтенды и скрипты с поддержкой Superchain, со встроенными в стартовый шаблон помощниками для мостов, потоками CustomGasToken и задачами OP Stack CLI.

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

Foundry — это быстрый, портативный набор инструментов на Rust для разработки смарт-контрактов Эфириума, который управляет зависимостями, компилирует Solidity, запускает фазз-тесты и модульные тесты, развертывает контракты и управляет скриптовым взаимодействием с цепью из терминала или скриптов автоматизации Solidity.

Kurtosis упаковывает воспроизводимые многосервисные сети для разработки (devnets), чтобы вы могли развернуть реалистичные стеки Эфириума или роллапов для интеграционных тестов быстрее, чем при использовании compose-файлов, поддерживаемых вручную.

CreateX — это не требующий доверия универсальный инструмент развертывания от pcaversaccio, который оборачивает процессы в стиле CREATE, CREATE2 и CREATE3, чтобы команды могли запускать контракты с предсказуемых адресов без специального кода фабрики.

Плагин для Hardhat, который предоставляет аналитику использования газа для наборов тестов смарт-контрактов. Он имеет специальную поддержку сетей OP Stack, является зависимостью в более чем 150 тысячах репозиториев Github и скачивается из NPM более 100 тысяч раз в неделю.

Txtx избавляет от стресса, боли и слез при управлении инфраструктурой смарт-контрактов, внедряя криптоинфраструктуру как код (Crypto Infrastructure as Code). Ранбуки (Runbooks) — это план инженерного совершенства, устанавливающий новый стандарт для Web3-инфраструктур.

Плагин Hardhat для развертывания ваших смарт-контрактов в нескольких цепочках EVM с одним и тем же детерминированным адресом. В настоящее время поддерживается в общей сложности 133 цепочки EVM, включая (почти) все цепочки на базе OP-stack.

Инструмент для получения самого последнего развертывания из заданной среды в Foundry. Таким образом, вы можете писать скрипты на основе предыдущих развертываний в Solidity.

Create2Deployer — это минимальный контракт фабрики от pcaversaccio, который оборачивает код операции CREATE2 проверками безопасности, чтобы команды могли развертывать контрфактические контракты по детерминированным адресам.

Redprint объединяет песочницу в стиле мастера с библиотеками redprint-forge, чтобы разработчики могли экспериментально компоновать обновления контрактов OP Stack на Solidity с типобезопасными развертываниями, повторно используемыми тестами, написанием скриптов транзакций с поддержкой Safe и модульным связыванием компонентов до того, как изменения перейдут в производственные конвейеры.

Cannon — это DevOps-инструмент для протоколов на Ethereum. Он управляет развертыванием и конфигурацией смарт-контрактов для локальной разработки и рабочих сетей.

100% CLI с открытым исходным кодом, который идет в комплекте со строительными блоками смарт-контрактов. Этот набор инструментов может снизить затраты на газ в L2 путем кодирования calldata для разработки децентрализованных приложений (dapps), чтобы использовать как можно меньше байтов calldata.

Легко сравнивайте отчеты о газе, автоматически генерируемые Foundry для каждого вашего Pull Request!

Запустите персональную среду Superchain для выполнения тестов, форка сетей и проверки состояния с полным контролем над тем, как работает ваш роллап. Идеальная площадка для разработки в Ethereum и Superchain

Этот прокси-сервер для подписания позволяет операторам OP Stack маршрутизировать подписание секвенсором, батчером, предлагающим и оспаривающим через AWS KMS или YubiHSM вместо использования необработанных закрытых ключей на диске.

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

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

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

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

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

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

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

Расширение VSCode Solidity от Хуана Бланко (Juan Blanco) добавляет подсветку синтаксиса, команды компиляции, метаданные при наведении, быстрые исправления, обнаружение монорепозиториев, опциональную генерацию кода Nethereum, интеграцию с линтерами и сервер LSP.

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

PRBMath — это библиотека смарт-контрактов, которая добавляет поддержку типов с фиксированной запятой и сложных математических функций, таких как логарифмы и экспоненты, в Solidity. Работая с числами с 18 десятичными знаками, PRBMath одновременно эффективна по газу и удобна для пользователя.

Solc-select — это утилита командной строки для быстрой установки и переключения между версиями компилятора Solidity.

Плагин Prettier для автоматического форматирования вашего кода на Solidity.

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

EvmTools объединяет браузерные утилиты и расширения — декодеры, помощники для деревьев Меркла, конвертеры и подобные небольшие инструменты — для повседневной отладки смарт-контрактов в одном месте.

Гибкий и компонуемый ончейн-фреймворк для создания, повторного использования и настройки гейткиперов. Использует политики и средства проверки (Checkers) в качестве основных примитивов для управления доступом на основе атрибутов с эффективными по газу минимальными шаблонами прокси и многоэтапной валидацией.

Реализация TinyAlloc на Fe-lang для EVM

Протокол организационного графа: закодируйте роли, агентов и разрешения вашей организации в программируемый граф с помощью Hats Protocol

Solmate — это современная, строго регламентированная коллекция оптимизированных по газу строительных блоков и утилит на Solidity для разработки смарт-контрактов.

Эффективный по газу компилятор Solidity для Эфириума на базе LLVM от команды ZKsync и соавторов. Работает как прямая замена solc в таких рабочих процессах, как Foundry и Hardhat.

Solidity Bytes Utils — это классическая библиотека для объединения, нарезки и приведения динамических массивов байтов в памяти или хранилище Solidity, которая долгое время поддерживается и широко форкается в основных протоколах.

Язык программирования в стиле Rust, ориентированный на EVM

HTTP-библиотека для Solidity на основе curl

VSCode Solidity Inspector объединяет практичные утилиты Solidity в VSCode: просмотр структуры хранилища, подсказки по гигиене импортов, сводки развертывания Foundry, заглушки тестов Bulloak, импорты с учетом переназначений (remappings) и подсказки о размере кода.

Diamondscaffold — это инструмент CLI, предназначенный для создания каркаса проектов diamond по стандарту EIP-2535 со строгой структурой и скриптами, что ускоряет развертывание модульных обновляемых прокси.

Плагин Solidity для IntelliJ

Эти библиотеки упаковывают математические расчеты ценообразования и рисков по модели Блэка-Шоулза, настроенные для Derive, на языках Go и Rust, чтобы ончейн-модули рисков могли повторно использовать сильно оптимизированные реализации, привязанные к маржинальному стеку Derive.

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

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

Aztec — это роллап Эфириума, ориентированный на приватность, и платформа для разработчиков, предназначенная для создания приложений с программируемой приватностью и доказательствами с нулевым разглашением.

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

Исследовательский проект PSE, позволяющий использовать язык Circom для разработки приложений MPC. Скомпилированные арифметические и логические схемы MPC с использованием Circom с интеграцией бэкенда MP-SPDZ для приложений машинного обучения.

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

MACI (Minimal Anti-Collusion Infrastructure) использует доказательства с нулевым разглашением для создания устойчивых к сговору приватных систем голосования и сигнализации в Эфириуме.

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

Безопасная, производительная, модульная и портативная библиотека для многосторонних вычислений (MPC) на Rust. Поддерживает нативное выполнение и выполнение в WebAssembly. Обеспечивает работу криптографической инфраструктуры TLSNotary и используется в проектах, ориентированных на приватность.

Noir — это вдохновленный Rust язык для написания схем с нулевым разглашением с удобным для разработчиков синтаксисом и инструментами, поддерживаемыми Aztec.

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

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

Второе поколение криптографических доказуемых типов данных объектов (Provable Object Datatypes, PODs). Обеспечивает гибкие вычисления над данными с помощью пользовательских предикатов и рекурсивных операций. Разработано 0xPARC в сотрудничестве с PSE.

Railgun — это протокол приватности для сетей Эфириума и EVM, который обеспечивает защищенные транзакции и приватные взаимодействия в децентрализованных финансах (DeFi) с помощью доказательств с нулевым разглашением.

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

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

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

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

Генерирует рекурсивные доказательства zkVM, проверяющие, что обновления состояния Unified Binary Trie (UBT) и префиксного дерева Меркла-Патриции совпадают для каждого блока Эфириума. Обеспечивает не требующую доверия верификацию состояния для легких клиентов и приватное извлечение информации.

Создание псевдонимных систем для идентификаторов Веб2 с использованием проверяемых забывчивых псевдослучайных функций (vOPRF). Позволяет учетным записям электронной почты и социальных сетей генерировать приватные нуллификаторы для анонимного голосования, закрытых форумов и конфиденциальных эирдропов.

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

Инициатива PSE, продвигающая цифровую идентичность с сохранением приватности путем разработки технических стандартов, создания ZK-инфраструктуры с открытым исходным кодом и сотрудничества с правительствами. Работает над интеграцией с кошельком EU EUDI и ZKP Wallet Unit.

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

zkTLS / TLSNotary — это открытый протокол для доказательства свойств TLS-сессий с помощью MPC, чтобы верификаторы могли доверять расшифровкам, не видя полного открытого текста.

ZoKrates — это набор инструментов для zk-SNARK в Эфириуме, предлагающий предметно-ориентированный язык (DSL), компилятор и утилиты для доверенной установки, генерации доказательств и интеграции верификатора.

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