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

ethPM es el administrador de paquetes inmutable para consumir, distribuir o administrar cualquier sistema de contratos inteligentes de la EVM.

IDE de contratos inteligentes ligero basado en la web

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

Ethernaut CLI es una caja de herramientas de comandos basada en Hardhat de EthernautDAO con ayudantes de IA opcionales para tareas comunes de Ethereum cuando prefieres las terminales a las interfaces gráficas de usuario (GUI).

opstack-kit estructura frontends y scripts compatibles con Superchain con ayudantes de puente, flujos de CustomGasToken y tareas de la CLI de OP Stack integradas en el iniciador.

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.

Un complemento de hardhat que proporciona análisis de uso de gas para conjuntos de pruebas de contratos inteligentes. Tiene soporte dedicado para cadenas de la pila OP (OP Stack), es una dependencia en más de 150 mil repositorios de Github y se descarga de NPM más de 100 mil veces por semana.

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.

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.

Una herramienta para obtener la implementación más reciente de un entorno dado en foundry. De esta manera, puedes crear scripts a partir de implementaciones anteriores en Solidity.

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.

Redprint combina un área de juegos estilo asistente con bibliotecas redprint-forge para que los desarrolladores puedan componer experimentalmente actualizaciones de contratos de OP Stack en Solidity con despliegues con seguridad de tipos, pruebas reutilizables, secuencias de comandos de transacciones compatibles con Safe y cableado de componentes modulares antes de que los cambios pasen a las canalizaciones de producción.

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.

Una CLI 100 % de código abierto que acompaña a los bloques de construcción de contratos inteligentes. Esta caja de herramientas puede reducir el costo de gas de L2 al codificar los datos de llamada (calldata) para el desarrollo de dapps para usar la menor cantidad de bytes de datos de llamada posible.

¡Compara fácilmente los informes de gas generados por Foundry automáticamente en cada una de tus solicitudes de extracción (Pull Requests)!

Inicie un entorno personal de Superchain para ejecutar pruebas, bifurcar redes e inspeccionar el estado con control total sobre cómo opera su rollup. El área de juegos de desarrollo definitiva de Ethereum y Superchain

Este proxy de firma permite a los operadores de OP Stack enrutar la firma del secuenciador, el procesador por lotes, el proponente y el retador a través de AWS KMS o YubiHSM en lugar de claves privadas sin procesar en el disco.

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.

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.

EvmTools agrupa utilidades de navegador y extensiones (decodificadores, ayudantes de Merkle, convertidores y herramientas pequeñas similares) para la depuración diaria de contratos inteligentes en un solo lugar.

Un marco en cadena flexible y componible para crear, reutilizar y personalizar guardianes. Utiliza Políticas y Verificadores como primitivas principales para el control de acceso basado en atributos con patrones de proxy mínimos eficientes en gas y validación de múltiples etapas.

Implementación de TinyAlloc en Fe-lang para la EVM

El protocolo de gráficos organizacionales: codifica los roles, agentes y permisos de tu organización en un gráfico programable con Hats Protocol

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.

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.

Lenguaje de programación rústico que se dirige a la EVM

Biblioteca HTTP para Solidity basada en curl

VSCode Solidity Inspector agrupa utilidades prácticas de Solidity en VSCode: vistas de diseño de almacenamiento, sugerencias de higiene de importación, resúmenes de despliegue de Foundry, fragmentos de prueba de Bulloak, importaciones conscientes de reasignaciones y sugerencias de tamaño de código.

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.

Complemento de Solidity para IntelliJ

Estas bibliotecas empaquetan las matemáticas de riesgo y fijación de precios de Black-Scholes ajustadas por Derive en Go y Rust para que los módulos de riesgo en cadena puedan reutilizar implementaciones altamente optimizadas vinculadas a la pila de márgenes de Derive.

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.

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.

Aztec es un rollup de Ethereum que prioriza la privacidad y una plataforma para desarrolladores para construir aplicaciones con privacidad programable y pruebas de conocimiento cero.

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.

Un proyecto de investigación de PSE que permite el uso del lenguaje Circom para desarrollar aplicaciones MPC. Circuitos MPC aritméticos y booleanos compilados utilizando Circom con integración de backend MP-SPDZ para aplicaciones de aprendizaje automático.

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.

Una biblioteca de Computación Multipartita (MPC) segura, de alto rendimiento, modular y portátil en Rust. Admite la ejecución nativa y en WebAssembly. Impulsa la infraestructura criptográfica de TLSNotary y se utiliza en proyectos centrados en la privacidad.

Noir es un lenguaje inspirado en Rust para escribir circuitos de conocimiento cero con una sintaxis amigable para el desarrollador y herramientas mantenidas por Aztec.

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.

La segunda generación de Tipos de Datos de Objetos Demostrables (POD) criptográficos. Permite un cálculo flexible a través de los datos mediante predicados personalizados y operaciones recursivas. Desarrollado por 0xPARC en colaboración con PSE.

Railgun es un protocolo de privacidad para Ethereum y redes EVM que proporciona transacciones blindadas e interacciones privadas de finanzas descentralizadas (DeFi) con pruebas de conocimiento cero.

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.

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.

Genera pruebas zkVM recursivas que verifican que las actualizaciones de estado del Unified Binary Trie (UBT) y del trie de Merkle Patricia coinciden por bloque de Ethereum. Permite la verificación de estado sin necesidad de confianza para clientes ligeros y la recuperación de información privada.

Habilitación de sistemas seudónimos para identidades de la Web2 utilizando funciones pseudoaleatorias ajenas (Oblivious PseudoRandom Functions) verificables. Permite que las cuentas de correo electrónico y redes sociales generen nulificadores privados para votaciones anónimas, foros privados y airdrops confidenciales.

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.

Una iniciativa de PSE que avanza en la identidad digital que preserva la privacidad mediante la redacción de estándares técnicos, la construcción de infraestructura ZK de código abierto y la colaboración con los gobiernos. Trabajando en la integración de la billetera EUDI de la UE y la unidad de billetera ZKP.

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.

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.

ZoKrates es una caja de herramientas para ZK-SNARK en Ethereum, que ofrece un DSL, un compilador y utilidades para la configuración confiable, la generación de pruebas y la integración del verificador.

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.