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.

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

ethPM est le gestionnaire de paquets immuable pour consommer, distribuer ou gérer n'importe quel système de contrats intelligents EVM.

IDE de contrats intelligents léger basé sur le Web

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.

Ethernaut CLI est une boîte à outils de commandes basée sur Hardhat d'EthernautDAO avec des assistants IA optionnels pour les tâches Ethereum courantes lorsque vous préférez les terminaux aux interfaces graphiques.

opstack-kit échafaude des interfaces utilisateur et des scripts compatibles avec la Superchain avec des assistants de pont (bridge), des flux CustomGasToken et des tâches CLI OP Stack intégrés dans le modèle de démarrage.

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.

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.

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.

Un plugin Hardhat qui fournit des analyses d'utilisation du gaz pour les suites de tests de contrats intelligents. Il dispose d'un support dédié pour les chaînes OP Stack, est une dépendance dans plus de 150 000 dépôts GitHub et est téléchargé depuis NPM plus de 100 000 fois par semaine.

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.

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.

Un outil pour obtenir le déploiement le plus récent à partir d'un environnement donné dans Foundry. De cette façon, vous pouvez créer des scripts à partir de déploiements précédents en Solidity.

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.

Redprint associe un terrain de jeu de style assistant aux bibliothèques redprint-forge afin que les développeurs puissent composer expérimentalement des mises à niveau de contrats OP Stack en Solidity avec des déploiements à typage sécurisé, des tests réutilisables, des scripts de transaction compatibles avec Safe et un câblage de composants modulaire avant que les modifications ne passent aux pipelines de production.

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.

Une CLI 100 % open source qui accompagne les blocs de construction des contrats intelligents. Cette boîte à outils peut réduire le coût en gaz L2 en encodant les données d'appel (calldata) pour le développement de dapps afin d'utiliser le moins d'octets de calldata possible.

Comparez facilement les rapports de gaz générés automatiquement par Foundry sur chacune de vos Pull Requests !

Lancez un environnement Superchain personnel pour exécuter des tests, forker des réseaux et inspecter l'état (state) avec un contrôle total sur le fonctionnement de votre rollup. Le terrain de jeu de développement ultime pour Ethereum et la Superchain

Ce proxy de signature permet aux opérateurs de l'OP Stack d'acheminer la signature du séquenceur, du batcher, du proposant et du challenger via AWS KMS ou YubiHSM au lieu de clés privées brutes sur le disque.

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.

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.

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.

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.

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

Un plugin Prettier pour formater automatiquement votre code Solidity.

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

EvmTools regroupe des utilitaires de navigateur et d'extension - décodeurs, assistants Merkle, convertisseurs et petits outils similaires - pour le débogage quotidien des contrats intelligents en un seul endroit.

Un framework onchain flexible et composable pour créer, réutiliser et personnaliser des gardiens. Utilise des politiques et des vérificateurs comme primitives de base pour le contrôle d'accès basé sur les attributs avec des modèles de proxy minimaux économes en gaz et une validation en plusieurs étapes.

Implémentation de TinyAlloc en Fe-lang pour l'EVM

Le protocole de graphe organisationnel : encodez les rôles, les agents et les autorisations de votre organisation dans un graphe programmable avec Hats Protocol

Solmate est une collection moderne et affirmée de blocs de construction et d'utilitaires Solidity optimisés pour le gaz pour le développement de contrats intelligents.

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.

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.

Langage de programmation de style Rust qui cible l'EVM

Bibliothèque HTTP pour Solidity basée sur curl

VSCode Solidity Inspector regroupe des utilitaires Solidity pratiques dans VS Code : vues de la disposition du stockage, conseils d'hygiène d'importation, résumés de déploiement Foundry, stubs de test Bulloak, importations tenant compte des remappages et conseils sur la taille du code.

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.

Plugin Solidity pour IntelliJ

Ces bibliothèques regroupent les mathématiques de tarification et de risque Black-Scholes adaptées à Derive en Go et Rust afin que les modules de risque onchain puissent réutiliser des implémentations hautement optimisées liées à la pile de marge de Derive.

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.

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.

Aztec est un rollup Ethereum axé sur la confidentialité et une plateforme de développement pour créer des applications avec une confidentialité programmable et des preuves à divulgation nulle de connaissance.

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.

Un projet de recherche PSE permettant l'utilisation du langage Circom pour développer des applications MPC. Circuits MPC arithmétiques et booléens compilés à l'aide de Circom avec intégration du backend MP-SPDZ pour les applications d'apprentissage automatique.

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.

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.

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.

Une bibliothèque de calcul multipartite (MPC) sûre, performante, modulaire et portable en Rust. Prend en charge l'exécution native et WebAssembly. Alimente l'infrastructure cryptographique de TLSNotary et est utilisée dans des projets axés sur la confidentialité.

Noir est un langage inspiré de Rust pour l'écriture de circuits à divulgation nulle de connaissance avec une syntaxe conviviale pour les développeurs et des outils maintenus par Aztec.

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.

La deuxième génération de types de données d'objets prouvables (POD) cryptographiques. Permet un calcul flexible sur les données grâce à des prédicats personnalisés et des opérations récursives. Développé par 0xPARC en collaboration avec PSE.

Railgun est un protocole de confidentialité pour Ethereum et les réseaux EVM qui fournit des transactions protégées et des interactions DeFi privées avec des preuves à divulgation nulle de connaissance.

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.

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

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.

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.

Génère des preuves zkVM récursives vérifiant que les mises à jour d'état du Unified Binary Trie (UBT) et du trie de Merkle Patricia correspondent par bloc Ethereum. Permet la vérification d'état sans tiers de confiance pour les clients légers et la récupération d'informations privées.

Activation de systèmes pseudonymes pour les identités Web2 à l'aide de fonctions pseudo-aléatoires inconscientes (Oblivious PseudoRandom Functions) vérifiables. Permet aux comptes de messagerie et sociaux de générer des annulateurs privés pour le vote anonyme, les forums privés et les airdrops confidentiels.

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.

Une initiative PSE faisant progresser l'identité numérique préservant la confidentialité en rédigeant des normes techniques, en construisant une infrastructure ZK open source et en collaborant avec les gouvernements. Travaille sur l'intégration du portefeuille EUDI de l'UE et de la ZKP Wallet Unit.

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.

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.

ZoKrates est une boîte à outils pour les ZK-SNARK sur Ethereum, offrant un DSL, un compilateur et des utilitaires pour la configuration de confiance, la génération de preuves et l'intégration du vérificateur.

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.