Herramientas de contratos

La herramienta de desarrollo de contratos inteligentes para programadores de Python, científicos de datos y profesionales de la seguridad.

Scaffold-ETH 2 es un iniciador de Next.js más Hardhat o Foundry con ganchos de billetera, recarga de contratos en caliente, utilidades de faucet locales y módulos de extensión para el despliegue de aplicaciones descentralizadas (dapp) de pila completa.

Un marco de desarrollo y pruebas basado en Python para contratos inteligentes dirigidos a la Máquina Virtual de Ethereum (EVM).

Un conjunto de herramientas Web3 rico y accesible para aprender, construir y probar en múltiples cadenas

Moccasin es el flujo de trabajo centrado en Python de Cyfrin en Titanoboa para probar, realizar fuzzing y desplegar contratos inteligentes escritos en Vyper.

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 es un entorno de desarrollo para compilar e implementar tu software de Ethereum

Foundry es una cadena de herramientas de Rust rápida y portátil para la ingeniería de contratos inteligentes de Ethereum que gestiona dependencias, compila Solidity, ejecuta pruebas unitarias y de fuzzing, despliega contratos e impulsa la interacción de la cadena mediante scripts desde la terminal o scripts de automatización de Solidity.

Kurtosis empaqueta redes de desarrollo multiservicio reproducibles para que pueda poner en marcha pilas realistas de Ethereum o rollup para pruebas de integración más rápido que los archivos compose mantenidos a mano.

CreateX es el implementador universal sin necesidad de confianza de pcaversaccio que envuelve los flujos de estilo CREATE, CREATE2 y CREATE3 para que los equipos puedan lanzar contratos desde direcciones predecibles sin código de fábrica personalizado.

Complemento de Hardhat para implementar sus contratos inteligentes en múltiples cadenas EVM con la misma dirección determinista. Actualmente se admiten un total de 133 cadenas EVM, incluidas (casi) todas las cadenas impulsadas por OP Stack.

Create2Deployer es un contrato de fábrica mínimo de pcaversaccio que envuelve el código de operación CREATE2 con controles de seguridad para que los equipos puedan desplegar contratos contrafactuales en direcciones deterministas.

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 transforma el estrés, el dolor y las lágrimas de la gestión de la infraestructura de contratos inteligentes al introducir la infraestructura criptográfica como código (Crypto Infrastructure as Code). Los Runbooks son el modelo para la excelencia en ingeniería, estableciendo el nuevo estándar para las infraestructuras Web3.

Cannon es una herramienta DevOps para protocolos en Ethereum. Gestiona la implementación y configuración de contratos inteligentes para el desarrollo local y las redes en vivo.

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 es la biblioteca de referencia para el desarrollo de contratos inteligentes.

Solidity es un lenguaje de alto nivel orientado a objetos para implementar contratos inteligentes.

Lenguaje de contratos inteligentes de estilo Python para la EVM

Herramientas de desarrollo orientadas a Solidity

Solady de Vectorized recopila fragmentos de Solidity agresivamente optimizados, desde pruebas de Merkle hasta ayudantes de compresión, envolviendo un cuidadoso ensamblaje en línea en API accesibles para que los desarrolladores avanzados puedan enviar patrones eficientes en gas mientras aprenden técnicas de optimización de vanguardia de una biblioteca de referencia viva.

Fe es un lenguaje inspirado en Rust dirigido a la EVM; hoy puedes explorar el sistema de tipos de Fe v2 a través de la CLI o las herramientas del editor, incluso mientras la generación de código de bytes sigue evolucionando.

Solhint es un linter de Solidity que se conecta a editores o CI para hacer cumplir las reglas de estilo y detectar patrones problemáticos de manera temprana.

La extensión de Solidity para VSCode de Juan Blanco agrega resaltado de sintaxis, comandos de compilación, metadatos al pasar el cursor, correcciones rápidas, detección de monorepositorios, generación de código opcional de Nethereum, integración de lint y un servidor LSP.

Complemento de Solidity para IntelliJ

WhatsABI recupera selectores, proxies y ABI parciales solo a partir del código de bytes; utilícelo en billeteras, exploradores o herramientas locales cuando falte la fuente verificada pero aún necesite la decodificación de los datos de llamada.

PRBMath es una biblioteca de contratos inteligentes que añade soporte para tipos de punto fijo y funciones matemáticas avanzadas como logaritmos y exponenciales en Solidity. Operando con números de 18 decimales, PRBMath es al mismo tiempo eficiente en gas y fácil de usar.

Solc-select es una utilidad de línea de comandos para instalar y cambiar rápidamente entre versiones del compilador de Solidity.

Un complemento de Prettier para formatear automáticamente su código de Solidity.

Bloques de construcción de contratos inteligentes de Vyper de última generación, altamente dogmáticos, hiperoptimizados y seguros.

Solidity Bytes Utils es una biblioteca clásica para concatenar, dividir y convertir matrices de bytes dinámicas en la memoria o el almacenamiento de Solidity, mantenida durante mucho tiempo y ampliamente bifurcada en los principales protocolos.

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 es una colección moderna y dogmática de bloques de construcción y utilidades de Solidity optimizados para gas para el desarrollo de contratos inteligentes.

Un compilador de Solidity eficiente en gas para Ethereum impulsado por LLVM del equipo de ZKsync y colaboradores. Funciona como un reemplazo directo de solc en flujos de trabajo como Foundry y 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 es una herramienta CLI diseñada para estructurar proyectos de diamantes EIP-2535 con un diseño y scripts predefinidos, lo que hace que sea más rápido configurar proxies modulares actualizables.

Compilador de Solidity modular y ultrarrápido escrito en Rust por Paradigm. Diseñado como una pila de compilador amigable para los contribuyentes para compilaciones más rápidas y mejores diagnósticos.

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 proporciona circuitos y SDK para probar hechos sobre transcripciones de correo electrónico redactadas en cadena. Útil cuando desea comprobaciones de identidad o recibos que preserven la privacidad sin revelar (doxxing) las bandejas de entrada.

Self Protocol proporciona primitivas abiertas de identidad y prueba que los constructores pueden integrar cuando necesitan flujos de verificación que preserven la privacidad vinculados a billeteras o credenciales.

zkTLS / TLSNotary es un protocolo abierto para probar las propiedades de las sesiones TLS con MPC para que los verificadores puedan confiar en las transcripciones sin ver el texto sin formato completo.

Herramientas para construir aplicaciones que preservan la privacidad utilizando las tarjetas de identificación Aadhaar del gobierno indio. Proporciona circuitos ZK, TypeScript, Solidity y bibliotecas de React para permitir a los titulares de Aadhaar demostrar su residencia sin revelar datos personales.

Circom es un lenguaje de dominio específico y un compilador para escribir y compilar circuitos aritméticos utilizados en sistemas de pruebas de conocimiento cero.

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.

Bifurcación rediseñada por PSE del sistema de pruebas Halo2 PLONK de Zcash, que presenta un backend KZG con verificador de Solidity para una verificación económica en la capa 1 (l1), soporte para múltiples curvas elípticas y una arquitectura frontend/backend desacoplada.

MACI (Infraestructura Mínima Anticolusión) utiliza pruebas de conocimiento cero para habilitar sistemas de votación y señalización privados y resistentes a la colusión en Ethereum.

Un conjunto de herramientas que simplifica la generación de pruebas de conocimiento cero del lado del cliente en dispositivos móviles. Conecta sistemas de pruebas ZK (Halo2, Circom) para generar enlaces de iOS, Android y navegador, aprovechando la GPU móvil para un mejor rendimiento.

Un conjunto de herramientas para las ceremonias de configuración confiable de la Fase 2 de Groth16. Ayuda a los desarrolladores a crear y administrar configuraciones confiables para aplicaciones ZK, con una aplicación web complementaria (DefinitelySetup) para monitoreo y participación.

Una ceremonia de configuración confiable de ZK-SNARK en curso (desde 2019) para circuitos de hasta 2^28 restricciones, que genera más de 530 millones de potencias de tau. Una ceremonia multipartita donde la seguridad se mantiene siempre que un participante sea honesto.

Semaphore es un protocolo de conocimiento cero para pruebas de membresía de grupos privados, que permite la señalización y autenticación anónimas sin revelar la identidad.

snarkjs es un conjunto de herramientas de JavaScript y CLI para generar y verificar pruebas ZK-SNARK, y para ejecutar flujos de trabajo de prueba comunes en Node.js y el navegador.

Una biblioteca de plegado modular que admite múltiples esquemas de plegado (Nova, HyperNova, ProtoGalaxy, CycleFold) y backends de decisión (Groth16, KZG) para la computación verificable incremental. Admite los frontends Arkworks, Circom, Noir y Noname.

Verificación de identidad privada utilizando pruebas de conocimiento cero. Verifique la edad, el país o la prueba de personalidad sin revelar ninguna información personal. Diseño centrado en dispositivos móviles con SDK para integración y contratos de registro en cadena.

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.

Un monorepositorio de bibliotecas de conocimiento cero reutilizables en múltiples lenguajes (JavaScript, Solidity, Rust, Noir), que ofrece implementaciones bien probadas de primitivas criptográficas como árboles de Merkle, hash de Poseidon y más.