Herramientas para desarrolladores y constructores

Aspectos relevantes

Solidity is an object-oriented, high-level language for implementing smart contracts.

Desarrollo de contratos inteligentes y cadenas de herramientas

Solidity

Educación · Solidity · Compilador · CLI

We are Runtime Verification, a research and development company building rigorous tools to ensure the safety and correctness of critical systems. Our team has developed KEVM, the most complete and battle-tested formal semantics of the Ethereum Virtual Machine (EVM), written in the K Framework. KEVM is not just a specification, it is an executable specification that can be used to symbolically reason about smart contracts, run conformance tests, analyze gas usage, debug programs, and formally verify correctness properties. It passes the full Ethereum test suite and is used to verify high-value contracts, including ERC20 tokens in both Solidity and Vyper. We recently updated the semantics to support Pectra upgrade. KEVM is being actively utilized by Kontrol - our formal verification tool for Soldiity, which is actively used by leading teams in the EVM ecosystem, including Optimism, Ethereum Foundation, Lido, Uniswap, as well as security researchers and auditors across the broader Ethereum community. We actively maintain this repository, contribute to Ethereum’s protocol evolution, and integrate with developer tooling like Foundry. Through KEVM, we are pushing the boundaries of what’s possible in provably correct and secure smart contract infrastructure.

Seguridad, pruebas y verificación formal

K Semantics of the Ethereum Virtual Machine (EVM)

Seguridad · Educación · Analíticas · Verificación formal · Ejecución simbólica · Herramientas de depuración · Verificación en tiempo de ejecución · Vyper

The Ethernaut is a community-driven capture-the-flag wargame that challenges developers of all levels to break smart contracts while learning common Solidity vulnerabilities. Maintained by OpenZeppelin, each level provides a gamified experience where a smart contract must be ‘hacked’ to progress. It is 100% open-source, with all levels contributed by players. In 2024, we have continued expanding the game, adding four new advanced levels—HigherOrder, Stake, Impersonator, and Magic Animal Carousel—which explore current vulnerabilities in smart contract development. These levels introduce challenges related to low-level EVM programming, staking vulnerabilities, signature verification exploits, and bitwise manipulation attacks, pushing players to deepen their understanding of Ethereum security. Beyond new levels, we have also redesigned the UI, added support for multiple networks, and expanded language translations to make the game more accessible to a global audience. We believe that The Ethernaut is an essential training tool for developers across the Ethereum ecosystem, including those building on the Optimism network. By continually evolving the game with new challenges and features, we strive to make smart contract security education engaging, practical, and accessible to everyone.

Recursos educativos y de la comunidad

The Ethernaut

Educación · Seguridad · Solidity · Impulsado por la comunidad · Aplicación de React

Aplicaciones

Cadena cruzada e interoperabilidad

OP ENS Gateway by Opti.Domains

Cadena cruzada · Gobernanza · Capa 2 · Verificación · Escalabilidad

L2Pass

Cadena cruzada · Cartera · Multicadena

Stargate Finance

Cadena cruzada · DeFi

Router Protocol

Cadena cruzada · Escalabilidad

Decent.xyz

Cadena cruzada · Next.js · TailwindCSS · Foundry · Experiencia del usuario

Infraestructura de transacciones y billeteras

Chain Abstraction with 4337

DeFi · Cartera · Abstracción de cuenta · Multicadena · Analíticas · Experiencia del usuario

Variance_dart

Cartera · Educación · SDK · Abstracción de cuenta · Firma de transacciones

etherml

CLI · Cartera · Seguridad · Encriptación

Governance Onchain Paymaster

Abstracción de cuenta · Experiencia de desarrollador

ENS MCP Server

Servidor MCP · Experiencia de desarrollador

Datos, análisis y seguimiento

DefiLlama

Analíticas · DeFi · Impulsado por la comunidad · Agregador de DEX · Visualización

Ponder

Indexación · Soporte técnico · Experiencia de desarrollador · Resistente a la censura · Optimización del rendimiento · Registro de eventos · Tipado seguro · CLI

Ethereum MCP (ETHCF)

Servidor MCP · Analíticas · Multicadena · Explorador de bloque · Datos en tiempo real

Ethernal

Analíticas · Explorador de bloque · Cadenas · Verificación de contratos · CLI

Passport XYZ | Gitcoin Passport

Analíticas · Eficiente en gas

Recursos educativos y de la comunidad

SpeedrunEthereum

Educación · Solidity · Despliegue de contratos · Frontend

Solodit

Seguridad · Educación · Analíticas · Impulsado por la comunidad

Privacy Builder Pack

Educación · Encriptación

Ethereum EIPs Ontology

Educación · page-developers-tools-tag-standards-and-specifications

Solidity Testing Handbook

Pruebas · Educación

Librerías de cliente y SDK (front-end)

Web3j

SDK · Despliegue de contratos · Interacción de contratos · Cartera · CLI

Loop Decoder

Decodificación de transacciones

Stereum L2 Optimism Integration

CLI · Docker · API · Centrado en la privacidad

evmstate

Analíticas · Diseño de almacenamiento

OrbitDB

Peer-to-peer · Resistente a la censura

Desarrollo de contratos inteligentes y cadenas de herramientas

Diamondscaffold: Simplifying EIP-2535 Diamond Architecture Development

CLI · Hardhat · Foundry · ERC-721 · Contratos actualizables

Vyper

Compilador · DevOps

hardhat-gas-reporter

Analíticas · Hardhat · Automatización de pruebas

Velodrome Finance

DeFi · Docker · Foundry · Verificación de contratos

CreateX

CLI · Despliegue de contratos · Solidity

Seguridad, pruebas y verificación formal

Simbolik - Solidity Debugger

Seguridad · Educación · Ejecución simbólica · Extensión de VSCode · Verificación en tiempo de ejecución · Verificación formal

Act

Educación · Analíticas · Verificación formal · Ejecución simbólica

Chimera

Foundry · Solidity · Cobertura de código · Automatización de pruebas · Extensión de VSCode

Wallet Test Framework

Pruebas · Cartera · Experiencia del usuario · Experiencia de desarrollador · Seguridad

Ackee

Educación · Seguridad · Solidity · Análisis estático · Despliegue de contratos · Contratos de proxy