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

bithoven

Bithoven 🎼 一种用于比特币智能合约的高级命令式语言 Bithoven 是一种类型安全、对开发者友好的编程语言，专为编译成本地比特币脚本而设计。它弥合了复杂智能合约逻辑与比特币虚拟机（VM）底层栈机之间的鸿沟。 编写可读、可审计的代码，配备现代控制流（if/else）、命名变量以及内置安全检查——然后将其编译为高度优化的比特币脚本，支持 SegWit 或 Taproot。 ⚡ 关键特性 命令式语法： 使用熟悉的 if、else 和 return 语句编写逻辑，无需手动处理栈操作。 类型安全： 原生支持 bool、signature、string 和 number...

smart-contract-vulnerabilities

Vulnerabilidades de Contratos Inteligentes Una colección de vulnerabilidades de contratos inteligentes junto con métodos de prevención. Consulta /references para referencias optimizadas para LLM. Control de Acceso Autorización mediante tx.origin Control de Acceso Insuficiente Delegatecall a...

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

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

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

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

theo

Theo 已废弃，不再维护，不要安装它，不要使用它，你已经被警告了！ Theo 旨在成为一个利用框架以及区块链侦察和交互工具。 特性： 自动扫描智能合约，生成可能存在的利用列表。 发送交易以利用智能合约。 交易池监控。 Web3 控制台 抢先交易和回溯交易。 等待一组交易后再发送其他交易。 估算交易 gas 意味着只发送成功的交易。 禁用 gas 估算将以固定的 gas 量发送交易。 他认识工作中的 Karl。 Theo 的目的是对抗那些试图成为精英黑客的脚本小子。他可以监听他们试图利用他的蜜罐，并让他们亏损资金，以此为自己牟利。 “你带我来的原因不是看我迷人的个性。” 安装 Theo ...

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

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 – Reentrancia entre funciones en contrato inteligente Código del programa Solidity + Python // VulnerableBank.sol - Simplified reentrancy example with cross-function bypass pragma solidity ^0.8.0; contract VulnerableBank mappingaddress = uint256 public balances; function deposit...

smart-contract-attack-vectors

Vectores de ataque en contratos inteligentes El objetivo de este repositorio es recopilar todas las posibles vulnerabilidades de contratos inteligentes y recursos para aprender sobre ellas. No dudes en enviar un pull request con cualquier cosa, desde pequeños arreglos hasta documentación o...

evm-audit-helpers

evm-audit-helpers Descripción general evm-audit-helpers es una colección seleccionada de fragmentos de Solidity, scripts de Foundry y plantillas de pruebas diseñada para acelerar las auditorías de seguridad de contratos inteligentes en EVM. El repositorio agrupa bloques reutilizables para problem...

efcf-framework

EF/CF - el Fuzzer de Contratos Inteligentes de Ethereum Extremadamente Rápido EF/CF es un nuevo enfoque para el fuzzing de contratos inteligentes: en lugar de usar un nuevo fuzzer construido a medida, reutiliza la infraestructura de fuzzing existente de C/C++ para contratos inteligentes...

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

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 Harness de agente configurable para la generación/refinamiento iterativo de especificaciones de contratos inteligentes usando: Tareas estilo EVMBench openai/frontier-evals - project/evmbench Certora Prover Certora/CertoraProver Backend LLM: OpenAI API, OpenRouter AP...

octopus

Octopus 衷心感谢 QuoScient 对本项目的赞助。 Octopus 是一个用于 WebAssembly 模块和区块链智能合约的安全分析框架。 Octopus 旨在提供一种简单的方式来分析闭源的 WebAssembly 模块和智能合约字节码，从而更深入地理解其内部行为。 功能 浏览器 Explorer ：Octopus 的 JSON-RPC 客户端实现，用于与区块链平台通信 反汇编器 Disassembler ：Octopus 可以将字节码转换为汇编表示 控制流分析 ：Octopus 可以生成控制流图 CFG 调用流分析 ：Octopus 可以生成调用流图（函数级别） IR 转...

GOATCasino

¡Bienvenido al Casino GOAT! ¡Prueba tu suerte o tus habilidades en los distintos juegos del casino para ganar fabulosos tokens y premios! Esto está en desarrollo, así que por ahora puede haber una cantidad decepcionante de juegos, pero hay más por venir y muchas cosas que explotar mientras tanto...