Інструменти для контрактів

Інструмент розробки смарт-контрактів для Pythonistas, спеціалістів з даних та професіоналів з безпеки

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

Фреймворк на базі Python для розробки та тестування смарт-контрактів, орієнтований на Ethereum Virtual Machine.

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

Легковаге вебсередовище розробки (IDE) для смарт-контрактів

Moccasin — це робочий процес від Cyfrin на базі Titanoboa, орієнтований на Python, для тестування, фазингу та розгортання смарт-контрактів, написаних на 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, який надає аналітику використання газу для наборів тестів смарт-контрактів. Він має спеціальну підтримку для мереж OPStack, є залежністю у понад 150 тис. репозиторіїв Github і завантажується з NPM понад 100 тис. разів на тиждень.

Txtx перетворює стрес, біль і сльози управління інфраструктурою смартконтрактів, запроваджуючи криптоінфраструктуру як код (Crypto Infrastructure as Code). Ранбуки (Runbooks) — це план інженерної досконалості, що встановлює новий стандарт для інфраструктур Web3.

Плагін Hardhat для розгортання ваших смартконтрактів у кількох ланцюгах EVM з однаковою детермінованою адресою. Наразі підтримується загалом 133 ланцюги EVM, включаючи (майже) всі ланцюги на базі OP Stack.

Інструмент для отримання найновішого розгортання з заданого середовища у foundry. Таким чином, ви можете писати скрипти на основі попередніх розгортань у solidity.

Redprint поєднує ігровий майданчик у стилі майстра з бібліотеками redprint-forge, щоб розробники могли експериментально компонувати оновлення контрактів OP Stack на Solidity з безпечними для типів розгортаннями, тестами для багаторазового використання, написанням скриптів транзакцій з підтримкою Safe та модульним з'єднанням компонентів до того, як зміни перейдуть у виробничі конвеєри.

Create2Deployer — це мінімальний контракт-фабрика від pcaversaccio, який обгортає опкод CREATE2 перевірками безпеки, щоб команди могли розгортати контрфактичні контракти на детермінованих адресах.

Cannon — це інструмент DevOps для протоколів на Ethereum. Він керує розгортанням та налаштуванням смарт-контрактів для локальної розробки та живих мереж.

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

Легко порівнюйте звіти про газ, згенеровані Foundry автоматично для кожного з ваших Pull Requests!

Запустіть персональне середовище 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 від Хуана Бланко додає підсвічування синтаксису, команди компіляції, метадані при наведенні, швидкі виправлення, виявлення монорепозиторіїв, опціональну генерацію коду Nethereum, інтеграцію лінтера та сервер LSP.

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

PRBMath — це бібліотека смартконтрактів, яка додає підтримку типів з фіксованою комою та розширених математичних функцій, таких як логарифми та експоненти, у Solidity. Працюючи з числами з 18 десятковими знаками, PRBMath є водночас ефективною щодо газу та зручною для користувача.

Solc-select — це утиліта командного рядка для швидкого встановлення та перемикання між версіями компілятора Solidity.

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

Сучасні, суворо регламентовані, гіпероптимізовані та безпечні будівельні блоки смарт-контрактів на Vyper.

EvmTools об'єднує браузерні та розширювальні утиліти — декодери, допоміжні інструменти для дерев Меркла, конвертери та подібні невеликі інструменти — для щоденного відлагодження смарт-контрактів в одному місці.

Гнучкий та компонований ончейн-фреймворк для створення, повторного використання та налаштування гейткіперів. Використовує політики (Policies) та перевіряльники (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, імпорти з урахуванням перепризначень та підказки щодо розміру коду.

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 млн powers of tau. Багатостороння церемонія, де безпека зберігається доти, доки хоча б один учасник є чесним.

Друге покоління криптографічних Provable Object Datatypes (PODs). Забезпечує гнучкі обчислення над даними за допомогою користувацьких предикатів та рекурсивних операцій. Розроблено 0xPARC у співпраці з PSE.

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

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

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

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

Модульна бібліотека згортання, що підтримує кілька схем згортання (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.

Приватна верифікація особи за допомогою доведень з нульовим розголошенням. Перевіряйте вік, країну або доказ людяності без розкриття будь-якої особистої інформації. Дизайн, орієнтований на мобільні пристрої, з SDK для інтеграції та контрактами реєстру ончейн.

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

ZoKrates — це набір інструментів для zkSNARK на Етеріумі, що пропонує DSL, компілятор та утиліти для довіреного налаштування, генерації доведень та інтеграції верифікатора.

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