bithoven

Bithoven 🎼 Un lenguaje imperativo de alto nivel para contratos inteligentes de Bitcoin Bithoven es un lenguaje de programación seguro en tipos y amigable para desarrolladores, diseñado para compilar directamente a Bitcoin Script nativo. Cierra la brecha entre la lógica compleja de los contratos...

aether

Aether v6.0 — Marco de análisis de seguridad de contratos inteligentes Versión 6.0 | Novedades en v6.0 | Registro de cambios Aether es un marco basado en Python para analizar contratos inteligentes Solidity, generar hallazgos de vulnerabilidades, producir pruebas de concepto PoC basadas en Foundr...

CVE-2025-4126

POC-CVE-2025-4126 Verificación de vulnerabilidad de ataque de reentrada en contratos inteligentes PoC de Ataque de Reentrada en Contratos Inteligentes Este repositorio contiene una Prueba de Concepto PoC que demuestra una vulnerabilidad de ataque de reentrada en contratos inteligentes de Ethereum...

EvilReflex

¿Qué es esto? Esta es una prueba simple para la vulnerabilidad evilReflex en contratos inteligentes. ¿Cómo probarlo? Paso 1: compilar evilReflex.sol Paso 2: desplegar HACKME ej.: Account Address： 0x62ba0a06ffc1d0a706172e1ed755b9b91f53a617 balance: 10090000000000000000000000 Contract address：...

smart-contract-vulnerabilities

Smart Contract Vulnerabilities A collection of smart contract vulnerabilities along with prevention methods. See /references for LLM-optimized references. Access Control Authorization Through tx.origin Insufficient Access Control Delegatecall to Untrusted Callee Signature Malleability Missing...

echidna

Echidna: Un fuzzer rápido para contratos inteligentes Echidna es una criatura extraña que se alimenta de bugs y es altamente electrosensible con disculpas a Jacob Stanley Hablando más en serio, Echidna es un programa en Haskell diseñado para el fuzzing/pruebas basadas en propiedades de contratos...

batchOverflow

batchOverflow Una corrección para el batchOverflow bug encontrado por el equipo de PeckShield. una corrección El contrato original solo realizaba una verificación para asegurarse de que el remitente tuviera suficiente whatever para pagar la cantidad total valor de entrada x número de direcciones...

owasp-scs

OWASP Smart Contract Security SCS Únete al Slack de OWASP Smart Contract Security Discusiones y soporte Este es el repositorio oficial de GitHub del proyecto OWASP Smart Contract Security SCS. Esta iniciativa integral proporciona estándares de seguridad, guías y recursos para el desarrollo,...

theo

Theo Obsoleto, ya no se mantiene, no lo instales, no lo uses, ¡estás advertido! Theo pretende ser un framework de explotación y una herramienta de reconocimiento e interacción con blockchain. Características: Escaneo automático de contratos inteligentes que genera una lista de posibles exploits...

theo

Theo Obsolete, not maintained anymore, don't install it, don't use it, you were warned! Theo aims to be an exploitation framework and a blockchain recon and interaction tool. Features: Automatic smart contract scanning which generates a list of possible exploits. Sending transactions to exploit a...

poorskeme

poorSKeme OSINT - Visualización de Datos - Blockchain - Concienciación - Estafa Instalación Ve a este sitio y haz clic en el botón de descarga. O ve a la sección de lanzamientos. Descarga el archivo ZIP llamado poorSKeme.zip Descomprímelo, instala los requisitos y ejecútalo. unzip poorSKeme.zip c...

ultrafuzz

Ultrafuzz Ultrafuzz is an agentic orchestrator for smart contract fuzzing and threat hunting This tool initializes a protocol repository with editable prompts and topology, runs specialized agents, collects generated fuzz tests and findings, and serves a local dashboard plus final report for...

CVE-2026-1111-Smart-Contract-Cross-Function-Reentrancy

CVE-2026-1111 – Smart Contract Cross‑Function Reentrancy Program Code Solidity + Python // VulnerableBank.sol - Simplified reentrancy example with cross-function bypass pragma solidity ^0.8.0; contract VulnerableBank mappingaddress = uint256 public balances; function deposit public payable...

smart-contract-attack-vectors

Smart contract attack vectors The goal of this repository is to compile all possible smart contract vulnerabilities and resources for learning about them. Feel free to submit a pull request, with anything from small fixes to docs or tools you'd like to add. List of Security Vulnerabilities Access...

evm-audit-helpers

evm-audit-helpers Overview evm-audit-helpers is a curated collection of Solidity snippets, Foundry scripts, and test templates designed to accelerate EVM smart‑contract security audits. The repository bundles reusable building blocks for common audit concerns such as reentrancy, storage layout...

efcf-framework

EF/CF - the Extremely Fast ethereum smart Contract Fuzzer EF/CF is a new approach to smart contract fuzzing: instead of using a new custom built fuzzer, it repurposes existing fuzzing infrastructure of C/C++ code to smart contracts. Currently, AFL++ is the primarily supported fuzzer, although the...

CVE-batdappboomx

ID de CVE CVE-2022-27134 PRODUCTO batdappboomx es un contrato inteligente público que se ejecuta en la cadena de bloques EOSIO. Este contrato inteligente recompensa a sus participantes con criptomonedas si pagan alguna criptomoneda antes. Versión La última versión de este contrato inteligente. El...

BlockChainSec

Introducción del proyecto Este proyecto se utiliza principalmente para recopilar y organizar materiales relacionados con la seguridad de blockchain, así como documentación técnica. Incluye principalmente los siguientes aspectos: Conocimientos básicos Análisis de protocolos Auditoría de contratos...

BlockChainConstruction

Prefacio En este artículo, presentamos principalmente varios aspectos de la auditoría de cadenas públicas que merecen atención. Para los auditores de seguridad y los desarrolladores de cadenas públicas, este es un proyecto digno de referencia y reflexión. Arquitectura Antes de presentar la...

evmbench-certora-agent-harness

EVMBench Certora Agent Harness Configurable agent harness for iterative smart-contract spec generation/refinement using: EVMBench-style tasks openai/frontier-evals - project/evmbench Certora Prover Certora/CertoraProver LLM backend: OpenAI API, OpenRouter API, local Ollama, or mock mode What this...