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

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

ethPM je neměnný správce balíčků pro konzumaci, distribuci nebo správu jakéhokoli systému chytrých kontraktů na EVM.

Odlehčené webové IDE pro chytré kontrakty

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.

Ethernaut CLI je sada příkazových nástrojů založená na Hardhat od EthernautDAO s volitelnými AI pomocníky pro běžné úkoly na Ethereu, když dáváte přednost terminálům před grafickým uživatelským rozhraním.

opstack-kit vytváří kostru frontendů a skriptů s podporou Superchainu s pomocníky pro přemostění, toky CustomGasToken a úlohami OP Stack CLI zabudovanými do startéru.

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.

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

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.

Plugin pro hardhat, který poskytuje analytiku využití plynu pro testovací sady chytrých kontraktů. Má dedikovanou podporu pro sítě OPStack, je závislostí ve více než 150 tisících repozitářích na Githubu a stahuje se z NPM více než 100 tisíckrát týdně.

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.

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.

Nástroj pro získání nejnovějšího nasazení z daného prostředí ve foundry. Tímto způsobem můžete skriptovat na základě předchozích nasazení v solidity.

Redprint spojuje hřiště ve stylu průvodce s knihovnami redprint-forge, takže vývojáři mohou experimentálně skládat upgrady kontraktů OP Stack v Solidity s typově bezpečnými nasazeními, opakovaně použitelnými testy, skriptováním transakcí s podporou Safe a modulárním propojováním komponent předtím, než změny přejdou do produkčních pipeline.

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.

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

100% open-source CLI, které doplňuje stavební bloky chytrých kontraktů. Tato sada nástrojů může snížit náklady na plyn (gas) na L2 kódováním calldata pro vývoj dApps tak, aby se použilo co nejméně bajtů calldata.

Snadno porovnávejte zprávy o plynu generované automaticky pomocí Foundry u každého z vašich Pull Requestů!

Spusťte si osobní prostředí Superchain pro spouštění testů, forkování sítí a kontrolu stavu s úplnou kontrolou nad tím, jak váš rollup funguje. Ultimátní vývojářské hřiště pro Ethereum a Superchain

Tato proxy pro podepisování umožňuje operátorům OP Stacku směrovat podepisování sekvenceru, batcheru, navrhovatele a vyzyvatele přes AWS KMS nebo YubiHSM namísto surových soukromých klíčů na disku.

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

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.

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.

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.

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

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

EvmTools sdružuje nástroje pro prohlížeče a rozšíření – dekodéry, pomocníky pro Merkleovy stromy, převodníky a podobné malé nástroje – pro každodenní ladění chytrých kontraktů na jednom místě.

Onchain flexibilní a komponovatelný framework pro vytváření, opětovné použití a přizpůsobení gatekeeperů. Používá Policies a Checkers jako základní primitiva pro řízení přístupu na základě atributů s minimálními proxy vzory efektivními z hlediska spotřeby plynu a vícestupňovou validací.

Implementace TinyAlloc ve Fe-lang pro EVM

Protokol organizačního grafu: zakódujte role, agenty a oprávnění vaší organizace do programovatelného grafu pomocí Hats Protocol

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

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.

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.

Programovací jazyk v rustikálním stylu, který cílí na EVM

HTTP knihovna pro Solidity založená na curl

VSCode Solidity Inspector sdružuje praktické nástroje pro Solidity ve VSCode: zobrazení rozložení úložiště, tipy pro hygienu importů, shrnutí nasazení ve Foundry, testovací stuby Bulloak, importy zohledňující přemapování a tipy ohledně velikosti kódu.

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.

Plugin Solidity pro IntelliJ

Tyto knihovny balí oceňování Black-Scholes a matematiku rizik vyladěnou pro Derive v jazycích Go a Rust, takže onchain moduly rizik mohou znovu použít silně optimalizované implementace vázané na maržový stack Derive.

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.

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

Aztec je rollup Etherea zaměřený na soukromí a vývojářská platforma pro budování aplikací s programovatelným soukromím a důkazy s nulovou znalostí.

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

Výzkumný projekt PSE umožňující použití jazyka Circom k vývoji MPC aplikací. Zkompilované aritmetické a booleovské MPC obvody pomocí Circomu s integrací backendu MP-SPDZ pro aplikace strojového učení.

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.

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.

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.

Bezpečná, výkonná, modulární a přenositelná knihovna pro vícestranné výpočty (MPC) v Rustu. Podporuje nativní provádění a provádění ve WebAssembly. Pohání kryptografickou infrastrukturu TLSNotary a používá se napříč projekty zaměřenými na soukromí.

Noir je jazyk inspirovaný Rustem pro psaní obvodů s nulovým vědomím s vývojářsky přívětivou syntaxí a nástroji spravovanými společností Aztec.

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.

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

Druhá generace kryptografických prokazatelných objektových datových typů (Provable Object Datatypes - PODs). Umožňuje flexibilní výpočty napříč daty prostřednictvím vlastních predikátů a rekurzivních operací. Vyvinuto společností 0xPARC ve spolupráci s PSE.

Railgun je protokol pro soukromí pro Ethereum a EVM sítě, který poskytuje stíněné transakce a soukromé interakce v decentralizovaných financích (DeFi) pomocí důkazů s nulovou znalostí.

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

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.

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.

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.

Generuje rekurzivní důkazy zkVM ověřující, že aktualizace stavu Unified Binary Trie (UBT) a Merkle-Patricia trie se shodují pro každý blok Etherea. Umožňuje ověřování stavu nevyžadující důvěru pro lehké klienty a soukromé získávání informací.

Umožňuje pseudonymní systémy pro identity Web2 pomocí ověřitelných Oblivious PseudoRandom Functions. Umožňuje e-mailovým a sociálním účtům generovat soukromé nullifiery pro anonymní hlasování, soukromá fóra a důvěrné airdropy.

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.

Iniciativa PSE prosazující digitální identitu se zachováním soukromí prostřednictvím navrhování technických standardů, budování open-source ZK infrastruktury a spolupráce s vládami. Pracuje na integraci peněženky EU EUDI a ZKP Wallet Unit.

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

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.

ZoKrates je sada nástrojů pro zk-SNARKs na Ethereu, která nabízí DSL, kompilátor a nástroje pro důvěryhodné nastavení, generování důkazů a integraci ověřovatele.

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ší.