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

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

echidna

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

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

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

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

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

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.: root@kitploit: Account Address： 0x62ba0a06ffc1d0a706172e1ed755b9b91f53a617 balance: 10090000000000000000000000 Contrac...

poorskeme

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

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

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

octopus

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