Vertrags-Tooling

Das Smart-Contract-Entwicklungstool für Pythonistas, Data Scientists und Sicherheitsexperten

Scaffold-ETH 2 ist ein Next.js- plus Hardhat- oder Foundry-Starter mit Wallet-Hooks, Hot-Contract-Reload, lokalen Faucet-Dienstprogrammen und Erweiterungsmodulen für die Full-Stack-Dapp-Bereitstellung.

Ein Python-basiertes Entwicklungs- und Test-Framework für Smart Contracts, das auf die Ethereum Virtual Machine abzielt.

Moccasin ist Cyfrins Python-First-Workflow auf Titanoboa zum Testen, Fuzzen und Bereitstellen von in Vyper geschriebenen Smart Contracts.

ethPM ist der unveränderliche Paketmanager, um jedes EVM-Smart-Contract-System zu konsumieren, zu verteilen oder zu verwalten.

Ethernaut CLI ist eine Hardhat-basierte Befehls-Toolbox von EthernautDAO mit optionalen KI-Helfern für gängige Ethereum-Aufgaben, wenn Sie Terminals gegenüber GUIs bevorzugen.

opstack-kit erstellt Superchain-fähige Frontends und Skripte mit Brücken-Helfern, CustomGasToken-Abläufen und OP-Stack-CLI-Aufgaben, die in den Starter integriert sind.

Leichtgewichtige webbasierte Smart-Contract-IDE

Hardhat ist eine Entwicklungsumgebung zum Erstellen und Bereitstellen Ihrer Ethereum-Software

Foundry ist eine schnelle, portable Rust-Toolchain für die Entwicklung von Ethereum-Smart-Contracts, die Abhängigkeiten verwaltet, Solidity kompiliert, Fuzz- und Unit-Tests ausführt, Verträge bereitstellt und skriptgesteuerte Chain-Interaktionen über das Terminal oder Solidity-Automatisierungsskripte steuert.

Kurtosis verpackt reproduzierbare Multi-Service-Devnets, sodass Sie realistische Ethereum- oder Rollup-Stacks für Integrationstests schneller hochfahren können als mit manuell gepflegten Compose-Dateien.

CreateX ist der vertrauenslose universelle Deployer von pcaversaccio, der Abläufe im Stil von CREATE, CREATE2 und CREATE3 umhüllt, sodass Teams Verträge von vorhersehbaren Adressen aus ohne maßgeschneiderten Fabrik-Code starten können.

Hardhat-Plugin zur Bereitstellung Ihrer Smart Contracts über mehrere EVM-Chains hinweg mit derselben deterministischen Adresse. Derzeit werden insgesamt 133 EVM-Chains unterstützt, einschließlich (fast) aller OP-Stack-basierten Chains.

Ein hardhat-Plugin, das Gasverbrauchsanalysen für Smart-Contract-Test-Suites bereitstellt. Es bietet dedizierte Unterstützung für OPStack-Chains, ist eine Abhängigkeit in > 150k Github-Repos und wird > 100k pro Woche von NPM heruntergeladen.

Ein Tool, um die aktuellste Bereitstellung aus einer bestimmten Umgebung in foundry abzurufen. Auf diese Weise können Sie Skripte basierend auf früheren Bereitstellungen in solidity erstellen.

Create2Deployer ist ein minimaler Fabrik-Vertrag von pcaversaccio, der den CREATE2-Opcode mit Sicherheitsprüfungen umhüllt, sodass Teams kontrafaktische Verträge an deterministischen Adressen bereitstellen können.

Redprint kombiniert einen Playground im Assistenten-Stil mit redprint-forge-Bibliotheken, sodass Entwickler OP-Stack-Vertrags-Upgrades in Solidity mit typsicheren Bereitstellungen, wiederverwendbaren Tests, Safe-fähigem Transaktions-Scripting und modularer Komponentenverdrahtung experimentell zusammenstellen können, bevor Änderungen in Produktionspipelines übergehen.

Txtx verwandelt den Stress, den Schmerz und die Tränen der Verwaltung von Smart-Contract-Infrastrukturen, indem es Crypto Infrastructure as Code einführt. Runbooks sind der Bauplan für Engineering Excellence und setzen den neuen Standard für Web3-Infrastrukturen.

Cannon ist ein DevOps-Tool für Protokolle auf Ethereum. Es verwaltet die Bereitstellung und Konfiguration von Smart Contracts für die lokale Entwicklung und Live-Netzwerke.

Eine zu 100 % quelloffene CLI, die mit den Bausteinen von Smart Contracts einhergeht. Diese Toolbox kann die L2-Gaskosten senken, indem sie Calldata für die dApp-Entwicklung so codiert, dass so wenig Bytes an Calldata wie möglich verwendet werden.

Vergleichen Sie ganz einfach Gasberichte, die von Foundry automatisch bei jedem Ihrer Pull Requests generiert werden!

Starte eine persönliche Superchain-Umgebung, um Tests durchzuführen, Netzwerke zu forken und den Zustand (State) mit vollständiger Kontrolle darüber zu überprüfen, wie dein Rollup funktioniert. Der ultimative Ethereum- & Superchain-Entwicklungs-Playground

Dieser Signer-Proxy ermöglicht es OP-Stack-Betreibern, das Signieren von Sequencern, Batchern, Proposern und Challengern über AWS KMS oder YubiHSM zu leiten, anstatt rohe private Schlüssel auf der Festplatte zu verwenden.

OpenZeppelin Contracts sind die Standardbibliothek für die Entwicklung von Smart Contracts.

Solidity ist eine objektorientierte, höhere Programmiersprache zur Implementierung von Smart Contracts.

Das organisatorische Graphenprotokoll: Kodieren Sie die Rollen, Agenten und Berechtigungen Ihrer Organisation in einen programmierbaren Graphen mit dem Hats Protocol

Pythonische Smart-Contract-Sprache für die EVM

Solidity-orientierte Entwicklungstools

Solady von Vectorized sammelt aggressiv optimierte Solidity-Snippets von Merkle-Beweisen bis hin zu Komprimierungshelfern und verpackt sorgfältige Inline-Assembly in zugängliche APIs, sodass fortgeschrittene Entwickler gaseffiziente Muster ausliefern können, während sie modernste Optimierungstechniken aus einer lebendigen Referenzbibliothek lernen.

Solmate ist eine moderne, meinungsbehaftete Sammlung gasoptimierter Solidity-Bausteine und Dienstprogramme für die Entwicklung von Smart Contracts.

Fe ist eine von Rust inspirierte Sprache, die auf die EVM abzielt; heute können Sie das Typsystem von Fe v2 über die CLI oder Editor-Tools erkunden, auch wenn sich die Bytecode-Generierung noch in der Entwicklung befindet.

Solhint ist ein Solidity-Linter, den Sie in Editoren oder CI einbinden, um Stilregeln durchzusetzen und fehleranfällige Muster frühzeitig zu erkennen.

Die VSCode-Solidity-Erweiterung von Juan Blanco fügt Syntaxhervorhebung, Kompilierungsbefehle, Hover-Metadaten, Quick Fixes, Monorepo-Erkennung, optionale Nethereum-Codegenerierung, Lint-Integration und einen LSP-Server hinzu.

PRBMath ist eine Smart-Contract-Bibliothek, die Unterstützung für Festkommatypen und erweiterte mathematische Funktionen wie Logarithmen und Exponentialfunktionen in Solidity hinzufügt. PRBMath arbeitet mit 18-Dezimalstellen-Zahlen und ist gleichzeitig gaseffizient und benutzerfreundlich.

WhatsABI stellt Selektoren, Proxys und partielle ABIs allein aus dem Bytecode wieder her – verwenden Sie es in Wallets, Explorern oder lokalen Tools, wenn der verifizierte Quellcode fehlt, Sie aber dennoch eine Decodierung der Aufrufdaten benötigen.

Solidity-Plugin für IntelliJ

Solc-select ist ein Befehlszeilen-Dienstprogramm zur schnellen Installation und zum Wechseln zwischen Solidity-Compiler-Versionen.

Blitzschneller, modularer Solidity-Compiler, geschrieben in Rust von Paradigm. Entwickelt als mitwirkendenfreundlicher Compiler-Stack für schnellere Builds und bessere Diagnosen.

Ein Prettier-Plugin zur automatischen Formatierung deines Solidity-Codes.

Hochmoderne, stark meinungsbehaftete, hyperoptimierte und sichere Vyper-Smart-Contract-Bausteine.

EvmTools bündelt Browser- und Erweiterungsdienstprogramme – Decoder, Merkle-Helfer, Konverter und ähnliche kleine Tools – für das tägliche Debugging von Smart Contracts an einem Ort.

Solidity Bytes Utils ist eine klassische Bibliothek zum Verketten, Slicen und Casten dynamischer Bytes-Arrays im Solidity-Speicher oder -Storage – lange gepflegt und in großen Protokollen weit verbreitet geforkt.

Implementierung von TinyAlloc in Fe-lang für die EVM

Ein gaseffizienter Solidity-Compiler für Ethereum, angetrieben von LLVM vom ZKsync-Team und Mitarbeitern. Funktioniert als Drop-in-Ersatz für solc in Workflows wie Foundry und Hardhat.

HTTP-Bibliothek für Solidity basierend auf curl

Rust-ähnliche Programmiersprache, die auf die EVM abzielt.

VSCode Solidity Inspector bündelt praktische Solidity-Dienstprogramme in VSCode: Ansichten des Speicherlayouts, Hinweise zur Import-Hygiene, Foundry-Bereitstellungszusammenfassungen, Bulloak-Test-Stubs, Remappings-fähige Importe und Hinweise zur Codegröße.

Diamondscaffold ist ein CLI-Tool, das entwickelt wurde, um EIP-2535-Diamond-Projekte mit einem vorgegebenen Layout und Skripten zu strukturieren, wodurch es schneller wird, modulare aktualisierbare Proxys aufzubauen.

Ein flexibles und zusammensetzbares Onchain-Framework zum Erstellen, Wiederverwenden und Anpassen von Gatekeepern. Verwendet Richtlinien und Checker als Kernprimitive für die attributbasierte Zugriffskontrolle mit gaseffizienten minimalen Proxy-Mustern und mehrstufiger Validierung.

Diese Bibliotheken verpacken die auf Derive abgestimmte Black-Scholes-Preisgestaltung und Risikomathematik in Go und Rust, sodass Onchain-Risikomodule stark optimierte Implementierungen wiederverwenden können, die an den Margin-Stack von Derive gebunden sind.

ZK Email bietet Schaltkreise und SDKs, um Fakten über geschwärzte E-Mail-Transkripte Onchain zu beweisen. Nützlich, wenn Sie datenschutzfreundliche Identitäts- oder Belegprüfungen wünschen, ohne Posteingänge offenzulegen.

Railgun ist ein Privatsphäre-Protokoll für Ethereum- und EVM-Netzwerke, das abgeschirmte Transaktionen und private DeFi-Interaktionen mit Zero-Knowledge-Beweisen bietet.

Noir ist eine von Rust inspirierte Sprache zum Schreiben von Zero-Knowledge-Schaltkreisen mit einer entwicklerfreundlichen Syntax und Tools, die von Aztec gepflegt werden.

snarkjs ist ein JavaScript- und CLI-Toolkit zum Generieren und Verifizieren von ZK-SNARK-Beweisen und zum Ausführen gängiger Beweis-Workflows in Node.js und im Browser.

Aztec ist ein auf Privatsphäre ausgerichtetes Ethereum-Rollup und eine Entwicklerplattform zum Erstellen von Anwendungen mit programmierbarer Privatsphäre und Zero-Knowledge-Beweisen.

Circom ist eine domänenspezifische Sprache und ein Compiler zum Schreiben und Kompilieren arithmetischer Schaltkreise, die in Zero-Knowledge-Beweissystemen verwendet werden.

Self Protocol bietet offene Identitäts- und Beweis-Primitive, die Ersteller einbetten können, wenn sie datenschutzfreundliche Verifizierungsabläufe benötigen, die an Wallets oder Anmeldeinformationen gebunden sind.

Semaphore ist ein Zero-Knowledge-Protokoll für private Gruppenmitgliedschaftsbeweise, das anonyme Signalisierung und Authentifizierung ermöglicht, ohne die Identität preiszugeben.

ZoKrates ist eine Toolbox für ZK-SNARKs auf Ethereum, die eine DSL, einen Compiler und Dienstprogramme für das Trusted Setup, die Beweisgenerierung und die Integration von Verifizierern bietet.

zkTLS / TLSNotary ist ein offenes Protokoll zum Beweisen von Eigenschaften von TLS-Sitzungen mit MPC, sodass Verifizierer Transkripten vertrauen können, ohne den vollständigen Klartext zu sehen.

MACI (Minimal Anti-Collusion Infrastructure) verwendet Zero-Knowledge-Beweise, um kollusionsresistente, private Abstimmungs- und Signalisierungssysteme auf Ethereum zu ermöglichen.

Ein Toolkit, das clientseitige Zero-Knowledge-Beweise auf Mobilgeräten vereinfacht. Verbindet ZK-Beweissysteme (Halo2, Circom), um iOS-, Android- und Browser-Bindings zu generieren, und nutzt die mobile GPU für eine verbesserte Leistung.

Ein Monorepo wiederverwendbarer Zero-Knowledge-Bibliotheken in mehreren Sprachen (JavaScript, Solidity, Rust, Noir), das gut getestete Implementierungen kryptographischer Primitive wie Merkle-Bäume, Poseidon-Hash und mehr bietet.

Eine modulare Folding-Bibliothek, die mehrere Folding-Schemata (Nova, HyperNova, ProtoGalaxy, CycleFold) und Decider-Backends (Groth16, KZG) für Incremental Verifiable Computation unterstützt. Unterstützt Arkworks-, Circom-, Noir- und Noname-Frontends.

Eine sichere, leistungsstarke, modulare und portable Multi-Party-Computation-Bibliothek (MPC) in Rust. Unterstützt native und WebAssembly-Ausführung. Treibt die kryptographische Infrastruktur von TLSNotary an und wird in datenschutzorientierten Projekten eingesetzt.

Eine PSE-Initiative, die datenschutzfreundliche digitale Identitäten vorantreibt, indem sie technische Standards entwirft, quelloffene ZK-Infrastruktur aufbaut und mit Regierungen zusammenarbeitet. Arbeitet an der Integration der EU EUDI Wallet und der ZKP Wallet Unit.

Tools zum Erstellen von die Privatsphäre schützenden Anwendungen unter Verwendung der Aadhaar-Ausweise der indischen Regierung. Bietet ZK-Schaltkreise, TypeScript-, Solidity- und React-Bibliotheken, um es Aadhaar-Inhabern zu ermöglichen, ihren Wohnsitz nachzuweisen, ohne persönliche Daten preiszugeben.

Der neu strukturierte Fork des Halo2-PLONK-Beweissystems von Zcash durch PSE, mit einem KZG-Backend und Solidity-Verifizierer für wirtschaftliche L1-Verifizierung, Unterstützung für mehrere elliptische Kurven und einer entkoppelten Frontend-/Backend-Architektur.

Private Identitätsverifizierung unter Verwendung von Zero-Knowledge-Beweisen. Verifizieren Sie Alter, Land oder den Nachweis der Menschlichkeit (Proof of Personhood), ohne persönliche Informationen preiszugeben. Mobile-First-Design mit SDK zur Integration und Onchain-Registrierungsverträgen.

Die zweite Generation kryptographischer Provable Object Datatypes (PODs). Ermöglicht flexible Berechnungen über Daten hinweg durch benutzerdefinierte Prädikate und rekursive Operationen. Entwickelt von 0xPARC in Zusammenarbeit mit PSE.

Ein Toolkit für Groth16-Phase-2-Trusted-Setup-Zeremonien. Hilft Entwicklern bei der Erstellung und Verwaltung von Trusted Setups für ZK-Anwendungen, mit einer begleitenden Web-App (DefinitelySetup) zur Überwachung und Teilnahme.

Ein PSE-Forschungsprojekt, das die Verwendung der Circom-Sprache zur Entwicklung von MPC-Anwendungen ermöglicht. Kompilierte arithmetische und boolesche MPC-Schaltkreise unter Verwendung von Circom mit MP-SPDZ-Backend-Integration für Anwendungen des maschinellen Lernens.

Eine fortlaufende (seit 2019) ZK-SNARK-Trusted-Setup-Zeremonie für Schaltkreise mit bis zu 2^28 Einschränkungen, die über 530 Millionen Powers of Tau generiert. Eine Multi-Party-Zeremonie, bei der die Sicherheit gewährleistet ist, solange ein Teilnehmer ehrlich ist.

Ermöglicht pseudonyme Systeme für Web2-Identitäten unter Verwendung verifizierbarer Oblivious PseudoRandom Functions. Erlaubt es E-Mail- und Social-Media-Konten, private Nullifier für anonyme Abstimmungen, private Foren und vertrauliche Airdrops zu generieren.

Generiert rekursive zkVM-Beweise, die verifizieren, dass die Zustandsaktualisierungen von Unified Binary Trie (UBT) und Merkle-Patricia-Trie pro Ethereum-Block übereinstimmen. Ermöglicht eine vertrauenslose Zustandsverifizierung für Light Clients und den Abruf privater Informationen.