Outils de contrat

L'outil de développement de contrats intelligents pour les Pythonistas, les Data Scientists et les professionnels de la sécurité

Scaffold-ETH 2 est un modèle de démarrage Next.js plus Hardhat ou Foundry avec des hooks de portefeuille, un rechargement à chaud des contrats, des utilitaires de faucet locaux et des modules d'extension pour le déploiement d'applications décentralisées (dapps) full-stack.

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.

Un framework de développement et de test basé sur Python pour les contrats intelligents ciblant la machine virtuelle Ethereum (EVM).

Un ensemble d'outils Web3 riche et accessible pour apprendre, construire et tester sur plusieurs chaînes

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.

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.

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.

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.

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.

Moccasin est le flux de travail axé sur Python de Cyfrin sur Titanoboa pour tester, fuzzer et déployer des contrats intelligents écrits en Vyper.

Hardhat est un environnement de développement pour créer et déployer vos logiciels Ethereum

Foundry est une chaîne d'outils Rust rapide et portable pour l'ingénierie de contrats intelligents Ethereum qui gère les dépendances, compile Solidity, exécute des tests de fuzzing et unitaires, déploie des contrats et pilote l'interaction de chaîne scriptée à partir du terminal ou de scripts d'automatisation Solidity.

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.

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.

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.

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.

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.

Kurtosis empaquette des réseaux de développement (devnets) multi-services reproductibles afin que vous puissiez lancer des piles Ethereum ou de rollups réalistes pour des tests d'intégration plus rapidement qu'avec des fichiers compose maintenus manuellement.

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.

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.

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.

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.

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.

CreateX est le déployeur universel sans tiers de confiance de pcaversaccio qui enveloppe les flux de style CREATE, CREATE2 et CREATE3 afin que les équipes puissent lancer des contrats à partir d'adresses prévisibles sans code d'usine sur mesure.

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.

Plugin Hardhat pour déployer vos contrats intelligents (smart contracts) sur plusieurs chaînes EVM avec la même adresse déterministe. Un total de 133 chaînes EVM sont actuellement prises en charge, y compris (presque) toutes les chaînes propulsées par l'OP Stack.

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.

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.

Create2Deployer est un contrat d'usine minimal de pcaversaccio qui enveloppe le code d'opération CREATE2 avec des vérifications de sécurité afin que les équipes puissent déployer des contrats contrefactuels à des adresses déterministes.

Txtx transforme le stress, la douleur et les larmes de la gestion de l'infrastructure des contrats intelligents en introduisant la Crypto Infrastructure as Code. Les Runbooks sont le plan directeur de l'excellence en ingénierie, établissant la nouvelle norme pour les infrastructures Web3.

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.

Cannon est un outil DevOps pour les protocoles sur Ethereum. Il gère le déploiement et la configuration des contrats intelligents pour le développement local et les réseaux en direct.

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.

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.

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.

blocksmith.js est un harnais JavaScript léger autour de forge et anvil pour scripter des tests Foundry multi-chaînes ou multi-instances lorsqu'une seule EVM locale ne suffit pas.

OpenZeppelin Contracts est la bibliothèque de référence pour le développement de contrats intelligents.

Solidity est un langage de haut niveau orienté objet pour l'implémentation de contrats intelligents.

Langage de contrat intelligent (smart contract) de style Python pour l'EVM

Outils de développement orientés Solidity

Solady par Vectorized rassemble des extraits de code Solidity agressivement optimisés, allant des preuves de Merkle aux assistants de compression, en enveloppant un assemblage en ligne minutieux dans des API accessibles afin que les développeurs avancés puissent livrer des modèles économes en gaz tout en apprenant des techniques d'optimisation de pointe à partir d'une bibliothèque de référence vivante.

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.

Fe est un langage inspiré de Rust ciblant l'EVM ; aujourd'hui, vous pouvez explorer le système de types de Fe v2 via la CLI ou les outils d'édition, même si la génération de bytecode est encore en évolution.

Solhint est un linter Solidity que vous intégrez dans des éditeurs ou des CI pour appliquer des règles de style et détecter rapidement les modèles problématiques.

L'extension VS Code Solidity de Juan Blanco ajoute la coloration syntaxique, les commandes de compilation, les métadonnées au survol, les correctifs rapides, la détection de monorepo, la génération de code Nethereum optionnelle, l'intégration de lint et un serveur LSP.

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.

PRBMath est une bibliothèque de contrats intelligents qui ajoute la prise en charge des types à virgule fixe et des fonctions mathématiques avancées comme les logarithmes et les exponentielles dans Solidity. Fonctionnant avec des nombres à 18 décimales, PRBMath est à la fois économe en gaz et convivial.

Plugin Solidity pour IntelliJ

WhatsABI récupère les sélecteurs, les proxys et les ABI partielles à partir du bytecode seul - utilisez-le dans les portefeuilles, les explorateurs ou les outils locaux lorsque la source vérifiée est manquante mais que vous avez toujours besoin du décodage des données d'appel.

Solc-select est un utilitaire de ligne de commande pour installer et basculer rapidement entre les versions du compilateur Solidity.

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.

Blocs de construction de contrats intelligents Vyper de pointe, très affirmés, hyper-optimisés et sécurisés.

Compilateur Solidity modulaire et incroyablement rapide écrit en Rust par Paradigm. Conçu comme une pile de compilateurs conviviale pour les contributeurs afin d'obtenir des compilations plus rapides et de meilleurs diagnostics.

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.

Un plugin Prettier pour formater automatiquement votre code Solidity.

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.

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.

Solidity Bytes Utils est une bibliothèque classique pour concaténer, découper et convertir des tableaux d'octets dynamiques dans la mémoire ou le stockage Solidity, maintenue depuis longtemps et largement forkée à travers les principaux protocoles.

Un compilateur Solidity économe en gaz pour Ethereum propulsé par LLVM, créé par l'équipe ZKsync et ses collaborateurs. Fonctionne comme un remplacement direct de solc dans des flux de travail comme Foundry et Hardhat.

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

Diamondscaffold est un outil CLI conçu pour échafauder des projets diamant EIP-2535 avec une structure et des scripts bien définis, ce qui permet de mettre en place plus rapidement des proxys modulaires évolutifs.

ZK Email fournit des circuits et des SDK pour prouver des faits sur des transcriptions d'e-mails expurgées onchain. Utile lorsque vous souhaitez des vérifications d'identité ou de reçus préservant la confidentialité sans divulguer le contenu des boîtes de réception.

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.

snarkjs est une boîte à outils JavaScript et CLI pour générer et vérifier des preuves zk-SNARK, et pour exécuter des flux de travail de preuve courants dans Node.js et le navigateur.

Circom est un langage spécifique à un domaine et un compilateur pour écrire et compiler des circuits arithmétiques utilisés dans les systèmes de preuves à divulgation nulle de connaissance.

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.

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.

Semaphore est un protocole à divulgation nulle de connaissance pour les preuves d'appartenance à un groupe privé, permettant une signalisation et une authentification anonymes sans révéler l'identité.

Self Protocol fournit des primitives d'identité et de preuve ouvertes que les constructeurs peuvent intégrer lorsqu'ils ont besoin de flux de vérification préservant la confidentialité liés à des portefeuilles ou à des identifiants.

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.

The RAILGUN Wallet SDK lets an app shield tokens and NFTs, hold private balances and send private transfers and contract calls using zero-knowledge proofs. It runs on Ethereum, Arbitrum, Polygon, BNB Chain and more, on top of the lower-level RAILGUN engine.

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.

zkTLS / TLSNotary est un protocole ouvert pour prouver les propriétés des sessions TLS avec MPC afin que les vérificateurs puissent faire confiance aux transcriptions sans voir le texte en clair complet.

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.

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.

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.

MACI (Minimal Anti-Collusion Infrastructure) utilise des preuves à divulgation nulle de connaissance pour permettre des systèmes de vote et de signalisation privés et résistants à la collusion sur Ethereum.

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.

Une boîte à outils qui simplifie la génération de preuves à divulgation nulle de connaissance côté client sur mobile. Connecte les systèmes de preuves ZK (Halo2, Circom) pour générer des liaisons (bindings) iOS, Android et navigateur, en tirant parti du GPU mobile pour des performances améliorées.

Un monorepo de bibliothèques à divulgation nulle de connaissance réutilisables dans plusieurs langages (JavaScript, Solidity, Rust, Noir), offrant des implémentations bien testées de primitives cryptographiques telles que les arbres de Merkle, le hash Poseidon, et plus encore.

Une bibliothèque de pliage modulaire prenant en charge plusieurs schémas de pliage (Nova, HyperNova, ProtoGalaxy, CycleFold) et des backends de décision (Groth16, KZG) pour le calcul vérifiable incrémental. Prend en charge les frontends Arkworks, Circom, Noir et Noname.

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.

Outils pour créer des applications préservant la confidentialité à l'aide des cartes d'identité Aadhaar du gouvernement indien. Fournit des circuits ZK, des bibliothèques TypeScript, Solidity et React pour permettre aux détenteurs d'Aadhaar de prouver leur résidence sans révéler de données personnelles.

Vérification d'identité privée à l'aide de preuves à divulgation nulle de connaissance. Vérifiez l'âge, le pays ou la preuve de personnalité sans révéler aucune information personnelle. Conception axée sur le mobile avec SDK pour l'intégration et contrats de registre onchain.

Le fork réarchitecturé par PSE du système de preuve PLONK Halo2 de Zcash, comprenant un backend KZG avec un vérificateur Solidity pour une vérification économique sur la couche 1 (l1), la prise en charge de multiples courbes elliptiques et une architecture frontend/backend découplée.

Une boîte à outils pour les cérémonies de configuration de confiance de phase 2 de Groth16. Aide les développeurs à créer et à gérer des configurations de confiance pour les applications ZK, avec une application web d'accompagnement (DefinitelySetup) pour la surveillance et la participation.

Une cérémonie de configuration de confiance zk-SNARK en cours (depuis 2019) pour des circuits allant jusqu'à 2^28 contraintes, générant plus de 530 millions de puissances de tau. Une cérémonie multipartite où la sécurité est maintenue tant qu'un participant est honnête.