theo

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

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

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

CVE-2026-1111 – Reentrancia entre funciones en contrato inteligente Código del programa Solidity + Python root@kitploit: // VulnerableBank.sol - Simplified reentrancy example with cross-function bypass pragma solidity ^0.8.0; contract VulnerableBank mappingaddress = uint256 public balances;...

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

owasp-scs

OWASP 智能合约安全 SCS 加入 OWASP 智能合约安全 Slack 频道 讨论与支持 这是 OWASP 智能合约安全 SCS 项目的官方 GitHub 仓库。该综合计划为智能合约的开发、审计和验证提供安全标准、指南和资源。SCS 生态系统由多个相互关联的子项目组成，它们相互补充，以促进智能合约、去中心化应用 dApps 和 EVM 区块链系统中的稳健安全实践和合规性。 📚 概述 SCS 项目围绕多个相互关联的资源构建，每个资源在智能合约安全生命周期中都有其独特作用： OWASP 智能合约安全验证标准 SCSVS：...

echidna

Echidna: 快速智能合约模糊测试工具 Echidna 是一种奇怪的生物，以吃虫子为生，并且对电高度敏感（致歉 Jacob Stanley） 更严肃地说，Echidna 是一个 Haskell 程序，专为以太坊智能合约的模糊测试/基于属性的测试而设计。它利用基于合约 ABI 的复杂语法引导模糊测试活动，以证伪用户定义的谓词或 Solidity 断言。我们在设计 Echidna 时充分考虑了模块化，因此可以轻松扩展以包含新的变异方式或在特定情况下测试特定合约。 功能特性 生成针对实际代码定制的输入 可选的语料库收集、变异和覆盖率指导，以发现更深层次的漏洞 由 Slither...

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

EvilReflex

这是什么？ 这是对智能合约中 evilReflex 漏洞的一个简单测试。 如何测试？ 步骤 1：编译 evilReflex.sol 步骤 2：部署 HACKME 例如： root@kitploit: Account Address： 0x62ba0a06ffc1d0a706172e1ed755b9b91f53a617 balance: 10090000000000000000000000 Contract address： 0x26336eb6761d7c6ac28251d5e20f63623fc16ad5 balance: 10090000000000000000000000 步骤...

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

bithoven

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

CVE-batdappboomx

CVE ID CVE-2022-27134 产品 batdappboomx 是一个运行在 EOSIO 区块链 上的公开智能合约。该智能合约向参与者奖励加密货币，但前提是他们需要事先支付一些加密货币。 版本 该智能合约的最新版本。智能合约的 SHA256 哈希值为 1327c04cf4b56183eddb1a897bbebf5a873d3421272b708829a4ed0765bef820 可在区块浏览器 https://bloks.io/account/batdappboomx 查看。 问题类型 访问控制漏洞 描述 batdappboomx 并非开源，但我们通过 WASAI...

batchOverflow

batchOverflow 针对由 PeckShield 团队发现的 batchOverflow bug 的修复方案。 修复方法 原始合约只做了一项检查，以确保发送者有足够的 whatever 来支付总金额（输入值 x 地址数量）。如果发生溢出，该金额可能为零，这将使 line 12 上的测试通过。 一种可能的修复方法是添加另一项测试，检查发送者的余额减去该金额后是否小于其当前余额。如果发生溢出，余额将保持不变，从而使其成为无效交易。但这仍然不能解决问题。如果攻击者的余额很小，比如 10 whatever，攻击者可以构造 value...

CVE-2025-4126

POC-CVE-2025-4126 智能合约重入攻击漏洞验证 智能合约重入攻击 PoC 本仓库包含一个概念验证（PoC），演示以太坊智能合约中的重入攻击 漏洞。该 PoC 包括一个存在漏洞的智能合约、一个攻击者合约，以及在本地测试环境中复现该攻击的说明。 目录 概述 漏洞描述 PoC 环境搭建 运行 PoC 许可证 概述 重入是以太坊智能合约中一种常见的漏洞，攻击者可以在第一次调用完成之前，通过外部合约重复回调原始合约，从而可能耗尽资金或操纵状态。此 PoC 演示了攻击者如何利用一个存在漏洞的合约来窃取以太币。 漏洞描述...

BlockChainConstruction

文章前言 本篇文章我们主要对公链审计中几个值得关注的方面进行简单介绍，对于安全审计人员以及公链开发人员而言这都是一个值得借鉴与思考的项目。 体系结构 在介绍公链体系建设之前我们先来看一下区块链的体系结构： 区块链 1.0时代： 体系架构：如下图所示 代表产物：比特币、瑞波币、狗狗币、莱特币、万事达币等 区块链 2.0时代： 体系结构：如下图所示 代表产物：以太坊、LISK、Hyperledger等 主要变更： 应用层：增加了智能合约 激励层：缩短出块时间为16秒 共识层：加入DPOS、POS、PBFT 数据层：扩充了区块，支持发送数据和变量，采用优化的加密算法和Merkle树 区块链...

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

octopus

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

GOATCasino

Welcome to the GOAT Casino! Try your luckor skills at the various games in the casino to win fabulous tokens and prizes! This is under development so there may be a disappointing amount of games at the moment but there are more to come and plenty of things to exploit in the meantime. To Begin: 1...

domestic-system

El Sistema Doméstico Una hermosa billetera Ethereum y navegador de contratos inteligentes basado en terminal, construido para soberanía, seguridad y estilo. root@kitploit: ━━━━━━━━━━━━━━━━━━━━ domestic system ━━━━━━━━━━━━━━━━━━━━ Descripción general The Domestic System es una interfaz de usuario ...

CVE-2026-9998-Insecure-Deserialization-in-Blockchain-Oracle

10. CVE-2026-9998 – Insecure Deserialization in Blockchain Oracle Overview A blockchain oracle node deserializes data from a smart contract event using Python’s pickle, allowing an attacker to execute arbitrary commands. Severity: Critical Full Node Compromise Oracle Simulation & Exploit...