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.

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

ethPM to niezmienny menedżer pakietów do konsumowania, dystrybucji lub zarządzania dowolnym systemem inteligentnych kontraktów EVM.

Lekkie internetowe IDE dla inteligentnych kontraktów

Moccasin to oparty na Pythonie przepływ pracy od Cyfrin na Titanoboa do testowania, fuzzingu i wdrażania inteligentnych kontraktów napisanych w Vyper.

Ethernaut CLI to oparty na Hardhat zestaw narzędzi wiersza poleceń od EthernautDAO z opcjonalnymi pomocnikami AI do typowych zadań Ethereum, gdy wolisz terminale od GUI.

opstack-kit tworzy rusztowania (scaffolds) dla frontendów i skryptów świadomych Superchain z pomocnikami do mostkowania, przepływami CustomGasToken i zadaniami OP Stack CLI wbudowanymi w starter.

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.

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.

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.

Wtyczka hardhat, która zapewnia analitykę zużycia gazu dla zestawów testów inteligentnych kontraktów. Posiada dedykowane wsparcie dla łańcuchów OPStack, jest zależnością w > 150 tys. repozytoriów na Github i jest pobierana z NPM > 100 tys. razy tygodniowo.

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.

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.

Narzędzie do pobierania najnowszego wdrożenia z danego środowiska w foundry. W ten sposób możesz tworzyć skrypty na podstawie poprzednich wdrożeń w solidity.

Redprint łączy plac zabaw w stylu kreatora z bibliotekami redprint-forge, dzięki czemu deweloperzy mogą eksperymentalnie komponować aktualizacje kontraktów OP Stack w Solidity z bezpiecznymi pod względem typów wdrożeniami, testami wielokrotnego użytku, skryptowaniem transakcji świadomym Safe i modułowym łączeniem komponentów, zanim zmiany trafią do rurociągów produkcyjnych.

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.

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.

W 100% otwartoźródłowe CLI, które idzie w parze z blokami konstrukcyjnymi inteligentnego kontraktu. Ten zestaw narzędzi może zmniejszyć koszty gazu L2 poprzez kodowanie calldata dla rozwoju zdecentralizowanych aplikacji (dapps), aby używać jak najmniejszej liczby bajtów calldata.

Łatwo porównuj raporty gazu generowane automatycznie przez Foundry w każdym z Twoich Pull Requestów!

Uruchom osobiste środowisko Superchain, aby uruchamiać testy, forkować sieci i badać stan z pełną kontrolą nad tym, jak działa Twój rollup. Ostateczny plac zabaw dla deweloperów Ethereum i Superchain

To proxy podpisujące pozwala operatorom OP Stack kierować podpisywanie sekwensera, batchera, proponującego i challengera przez AWS KMS lub YubiHSM zamiast surowych kluczy prywatnych na dysku.

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.

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.

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).

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.

Solc-select to narzędzie wiersza poleceń do szybkiego instalowania i przełączania się między wersjami kompilatora Solidity.

Wtyczka Prettier do automatycznego formatowania Twojego kodu Solidity.

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

EvmTools łączy narzędzia przeglądarki i rozszerzeń – dekodery, pomocników Merkle, konwertery i podobne małe narzędzia – do codziennego debugowania inteligentnych kontraktów w jednym miejscu.

Elastyczny i komponowalny framework onchain do tworzenia, ponownego używania i dostosowywania strażników (gatekeepers). Wykorzystuje zasady (Policies) i sprawdzacze (Checkers) jako podstawowe prymitywy do kontroli dostępu opartej na atrybutach z wydajnymi pod względem gazu minimalnymi wzorcami proxy i wieloetapową walidacją.

Implementacja TinyAlloc w Fe-lang dla EVM

Protokół grafu organizacyjnego: zakoduj role, agentów i uprawnienia swojej organizacji w programowalny graf za pomocą Hats Protocol

Solmate to nowoczesna, opiniowana kolekcja zoptymalizowanych pod kątem gazu bloków konstrukcyjnych i narzędzi Solidity do tworzenia inteligentnych kontraktów.

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.

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.

Język programowania w stylu Rusta, który jest ukierunkowany na EVM

Biblioteka HTTP dla Solidity oparta na curl

VSCode Solidity Inspector łączy praktyczne narzędzia Solidity w VSCode: widoki układu pamięci masowej, wskazówki dotyczące higieny importu, podsumowania wdrożeń Foundry, zaślepki testowe Bulloak, importy uwzględniające mapowania i wskazówki dotyczące rozmiaru kodu.

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.

Wtyczka Solidity dla IntelliJ

Te biblioteki pakują dostrojoną przez Derive matematykę wyceny i ryzyka Blacka-Scholesa w językach Go i Rust, dzięki czemu moduły ryzyka onchain mogą ponownie wykorzystywać mocno zoptymalizowane implementacje powiązane ze stosem depozytów zabezpieczających Derive.

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.

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.

Aztec to stawiający na prywatność rollup Ethereum i platforma deweloperska do budowania aplikacji z programowalną prywatnością i dowodami z wiedzą zerową.

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

Projekt badawczy PSE umożliwiający wykorzystanie języka Circom do tworzenia aplikacji MPC. Skompilowane arytmetyczne i logiczne obwody MPC przy użyciu Circom z integracją backendu MP-SPDZ dla aplikacji uczenia maszynowego.

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.

MACI (Minimal Anti-Collusion Infrastructure) wykorzystuje dowody z wiedzą zerową, aby umożliwić odporne na zmowy, prywatne systemy głosowania i sygnalizowania na Ethereum.

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.

Bezpieczna, wydajna, modułowa i przenośna biblioteka Multi-Party Computation (MPC) w języku Rust. Obsługuje natywne wykonywanie oraz WebAssembly. Zasila infrastrukturę kryptograficzną TLSNotary i jest używana w projektach skupionych na prywatności.

Noir to inspirowany Rustem język do pisania obwodów z wiedzą zerową z przyjazną dla deweloperów składnią i narzędziami utrzymywanymi przez Aztec.

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.

Druga generacja kryptograficznych Provable Object Datatypes (PODs). Umożliwia elastyczne obliczenia na danych poprzez niestandardowe predykaty i operacje rekurencyjne. Opracowane przez 0xPARC we współpracy z PSE.

Railgun to protokół prywatności dla Ethereum i sieci EVM, który zapewnia osłonięte transakcje i prywatne interakcje DeFi za pomocą dowodów z wiedzą zerową.

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.

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.

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.

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.

Generuje rekurencyjne dowody zkVM weryfikujące, że aktualizacje stanu Unified Binary Trie (UBT) i drzewa Merkle Patricia są zgodne dla każdego bloku Ethereum. Umożliwia niewymagającą zaufania weryfikację stanu dla lekkich klientów i prywatne pobieranie informacji.

Umożliwienie pseudonimowych systemów dla tożsamości Web2 przy użyciu weryfikowalnych funkcji Oblivious PseudoRandom Functions. Pozwala kontom e-mail i społecznościowym na generowanie prywatnych nullifierów do anonimowego głosowania, prywatnych forów i poufnych airdropów.

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.

Inicjatywa PSE rozwijająca cyfrową tożsamość chroniącą prywatność poprzez opracowywanie standardów technicznych, budowanie otwartoźródłowej infrastruktury ZK i współpracę z rządami. Pracuje nad integracją z portfelem EU EUDI i ZKP Wallet Unit.

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.

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.

ZoKrates to zestaw narzędzi dla zkSNARKs na Ethereum, oferujący DSL, kompilator i narzędzia do zaufanej konfiguracji, generowania dowodów i integracji weryfikatora.

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.