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

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

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

owasp-scs

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

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

bithoven

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

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

10. CVE-2026-9998 – Deserialización insegura en oráculo de blockchain Resumen Un nodo oráculo de blockchain deserializa datos de un evento de contrato inteligente utilizando pickle de Python, lo que permite a un atacante ejecutar comandos arbitrarios. Severidad: Crítica Compromiso total del nodo...

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

EvilReflex

What's this? This is a simple test for evilReflex vulnerablility in smart constract. How to test? Step 1：compile evilReflex.sol Step 2：deploy HACKME eg: root@kitploit: Account Address： 0x62ba0a06ffc1d0a706172e1ed755b9b91f53a617 balance: 10090000000000000000000000 Contract address：...

echidna

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

poorskeme

poorSKeme OSINT - 数据可视化 - 区块链 - 安全认知 - 诈骗 安装 前往此网站并点击下载按钮。 或前往发布板块。下载名为 poorSKeme.zip 的 ZIP 文件。 解压，安装依赖，并运行。 root@kitploit: unzip poorSKeme.zip cd poorSKeme pip install -r requirements.txt python3 poorSKeme --help root@kitploit: $$$$$$$\ $$$$$$\ $$\ $$\ $$ $$\ $$ $$\ $$ | $$ | $$ | $$ | $$$$$$...

batchOverflow

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

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-2026-89706 nfsd: Reset write verifier when async COPY writeback fails

In the Linux kernel, the following vulnerability has been resolved: nfsd: Reset write verifier when async COPY writeback fails Async COPY captures nn-writeverf at request time and reports it to the client via CBOFFLOAD after the worker kthread completes. When the post-copy vfsfsyncrange or...

CVE-batdappboomx

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

BlockChainSec

项目介绍 本项目主要用于整理归纳区块链安全相关的资料以及技术文档信息，主要包含以下几个方面： 基础知识 协议分析 合约审计 公链基础 公链安全 安全事件 跨链技术 知识扩展 思维导图 基本操作 波场合约部署测试 Remix+MetaMask实现以太坊合约的部署 实战操作 Ethernaut闯关录上 Ethernaut闯关录中 Ethernaut闯关录下 强网杯区块链题目--Babybank深入分析 强网杯区块链题目--Babybet深入分析 阅读拓展 比特币学习笔记 区块链2.0实战学习笔记 浅谈区块链及其安全 浅析区块链共识机制 区块链安全—详谈合约攻击一 区块链安全—详谈合约攻击二...

BlockChainConstruction

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