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.

Ein umfangreiches und zugängliches Web3-Toolset zum Lernen, Entwickeln und Testen auf mehreren Chains

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

slang from the Nomic Foundation is a modular Solidity compiler frontend with a parser, concrete syntax tree, and bindings. Builders import it when writing a linter, formatter, or other tool that has to understand Solidity source.

BuildBear is a hosted service that spins up a private testnet sandbox mirroring a real chain such as Ethereum, Polygon, BSC, or Arbitrum. Builders point tests at it to work against a private fork with real chain state.

Huff is a low-level assembly language and compiler for writing hand-optimized EVM bytecode, with development continuing in huff2. Builders reach for it when bytecode has to be tuned by hand.

py-solc-x is a Python wrapper and version manager for the solc Solidity compiler, used by Brownie and Ape style test suites. Python builders install it to fetch and switch compiler versions from their own scripts.

Wake is a Python framework for testing, fuzzing, and static analysis of Solidity projects. Builders reach for it when they want to write contract tests and fuzzing campaigns in Python and run analysis over the same codebase.

The Stylus SDK is the Rust SDK for writing smart contracts that run in Arbitrum's Stylus environment alongside the EVM. Rust builders use it when contract logic should be written in Rust rather than Solidity.

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.

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.

Chainlink Faucets dispense testnet ETH and LINK across the supported test networks. Builders use them to fund an account before deploying and testing contracts on a testnet.

Decker is a TypeScript CLI for creating configurable local Ethereum devnets with execution and consensus clients, relays, and block builders. Teams use its recipes for integration tests and infrastructure development.

ethereal is a Go command line tool for everyday Ethereum tasks, including sending transactions, managing ENS records, transferring tokens, and inspecting accounts. Builders install it for one-off operations that do not justify a script.

ethereum-genesis-generator creates execution and consensus layer genesis state for a testnet and serves it over a web server. Devnet and rollup teams run it to produce the genesis files for a custom network.

EthPillar is a setup script and terminal interface for installing and managing an Ethereum staking node with execution, consensus and MEV-Boost clients. Solo stakers run it to stand up a node without editing client configuration by hand.

foundry-toolchain is the official GitHub Action that installs Foundry in continuous integration. Builders add it to a workflow so forge test and forge script run on every pull request.

Immunefi is a bug bounty platform where projects post rewards for whitehats who find and responsibly disclose contract vulnerabilities. Teams list a program there to give researchers a paid route to report issues.

PoWFaucet is a modular testnet faucet for EVM chains with anti-abuse methods including a mining puzzle, captcha, IP limits, and Gitcoin Passport, and it backs the Sepolia proof-of-work faucet. Teams running a testnet self-host it to hand out test ETH without giving it all to one address.

Rocket Pool Smart Node is the command line package node operators run to set up and manage a Rocket Pool minipool, wrapping execution and consensus clients plus validator duties.

rocketh is a deployment and test harness for Ethereum contracts built around viem, keeping one record of deployments per network so scripts and tests agree. Builders use it when they want repeatable deployments without Hardhat, which the hardhat-deploy plugin wraps over the same code.

Sedge is a command line setup tool from Nethermind that generates docker-compose configurations for execution, consensus, and validator client combinations. Builders run it to get a working node setup without writing the compose files.

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.

hardhat-deploy is a Hardhat plugin for replicable deployments with named accounts, proxies, and diamonds. Builders install it when deployments must be repeatable across networks and track upgradeable contracts.

DAppNode is an operating system with an app store for running Ethereum execution and consensus clients and other node software on your own hardware. Someone setting up a home node installs it and picks client packages instead of configuring each service by hand.

eth-docker is a Dockerized stack for deploying and managing execution, consensus, and validator clients on mainnet. Node operators use it to run a full node setup from configuration files instead of hand-installed binaries.

ethereum-helm-charts are Helm charts from ethPandaOps for running Ethereum execution and consensus clients and related infrastructure on Kubernetes. Teams add them to a cluster rather than writing client manifests themselves.

The Kurtosis ethereum-package spins up reproducible multi-client Ethereum devnets, including mev-boost and supporting tooling. Builders run it when they need a local network that mirrors a real client mix.

simple-optimism-node is a one-command Docker setup for running an OP Stack node. Builders run it to get their own Optimism node, in the same way eth-docker covers mainnet clients.

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

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

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.

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.

Solidity-Plugin für IntelliJ

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.

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.

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

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

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

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.

ABDKMath64x64 is a Solidity library for 64.64-bit binary fixed-point math. Builders import it when a contract needs fixed-point arithmetic that Solidity does not provide natively.

ERC721A is a gas-optimized ERC-721 implementation with cheap consecutive batch minting. Builders import it when an NFT contract mints several tokens to the same address at once and minting cost matters.

ERC721A-Upgradeable is the proxy-upgradeable variant of the ERC721A implementation. Builders import it when a proxy-based NFT contract needs the batch minting design of ERC721A.

Multicall3 is the canonical contract for batching many reads or writes into a single transaction. Builders call it from contracts and scripts to fetch or update state across several contracts in one round trip.

Safe Smart Account is the widely deployed set of modular multisig smart-account contracts behind Safe. Wallet and treasury builders deploy or extend it to add multisignature control and account modules.

SolidState Solidity is an upgradeable-first contract library built around the diamond pattern of EIP-2535. Teams import it when contracts are organized as diamond facets from the start.

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

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.

weiroll is an operation-chaining scripting language and set of contracts for composing many EVM calls into one transaction. Teams building call-routing or batching systems use it to express the call sequence as a script.

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.

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

solidity-docgen generates Markdown documentation for a Solidity project from its NatSpec comments. Teams run it so published docs stay in step with the contract source.

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.

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.

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.

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.

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

gnark-crypto provides elliptic curve and pairing cryptography for BN, BLS12, BLS24, and BW6 curves, and it is the backend of the gnark SNARK library. Go builders import it directly for curve and pairing math.

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.

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

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.

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

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.

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.

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.

arkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.

Lambdaworks is a Rust library of SNARK and STARK prover components that can be used piecemeal or assembled into a custom proving system. Teams pull its crates when building their own prover rather than adopting a finished one.

op-succinct is a proving engine that generates SP1 validity proofs for OP Stack rollups. Rollup teams deploy it to turn an OP Stack chain into a validity proof rollup, running it as a separate service.

Plonky3 is a toolkit of polynomial IOP building blocks for constructing custom SNARK and STARK proving systems, and several zkVM projects build on it. Rust builders add the p3 crates when writing their own proving system.

powdr is a toolkit for accelerating and hardening zkVMs by moving specific computations into custom circuits. Teams running a zkVM use it to generate custom precompiles and check constraints, and its authors still describe the code as experimental.

risc0-ethereum holds the integration libraries and verifier contracts for using the RISC Zero zkVM with Ethereum and other EVM chains. Teams proving computation off chain import these crates to settle the resulting proofs onchain.

rsp from Succinct generates zero-knowledge proofs of Ethereum and OP Stack block execution, built on Reth. Its authors describe it as a minimal work in progress that is not meant for production, so it mainly serves teams already building on SP1.

snark-verifier generates gas-efficient onchain verifiers for halo2 SNARKs and is maintained by Axiom, forked from the original PSE repository. halo2 developers import the crate to produce the Solidity verifier that checks their proofs onchain.

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.