echidna

Echidna: A Fast Smart Contract Fuzzer Echidna — странное существо, которое ест баги и обладает высокой электровосприимчивостью с извинениями перед Джейкобом Стэнли Если серьёзно, Echidna — это программа на Haskell, предназначенная для фаззинга/тестирования на основе свойств смарт-контрактов...

smart-contract-attack-vectors

スマートコントラクトの攻撃ベクトル このリポジトリの目的は、スマートコントラクトに関する可能な限りすべての脆弱性と、それらを学ぶためのリソースをまとめることです。 小さな修正から、追加したいドキュメントやツールまで、プルリクエストを自由に送ってください。 セキュリティ脆弱性の一覧 アクセス制御 tx.originによる認証 デフォルトの可視性 署名検証 保護されていないEtherの引き出し 保護されていないSELFDESTRUCT命令 modifierの付け忘れ 誤ったmodifier名 強力すぎるロール 低レベルコールにおけるアカウント存在確認 関数変数による任意ジャンプ Assert...

CVE-2025-4126

POC-CVE-2025-4126 스마트 계약 재진입 공격 취약점 검증 스마트 계약 재진입 공격 PoC 이 저장소는 이더리움 스마트 계약의 재진입 공격reentrancy attack 취약점을 시연하는 PoCProof of Concept를 포함합니다. PoC에는 취약한 스마트 계약, 공격자 계약, 그리고 로컬 테스트 환경에서 공격을 재현하는 방법이 포함되어 있습니다. 목차 개요 취약점 설명 PoC 설정 PoC 실행 라이선스 개요 재진입Reentrancy은 이더리움 스마트 계약에서 흔히 발생하는 취약점으로, 외부 계약이 첫 번째 호...

aether

Aether v6.0 — 스마트 계약 보안 분석 프레임워크 버전 6.0 | v6.0의 새로운 기능 | 변경 로그 Aether는 Solidity 스마트 계약을 분석하고, 취약점 결과를 생성하며, Foundry 기반 개념 증명PoC 테스트를 제작하고, 메인넷 포크에서 익스플로잇을 검증하는 Python 기반 프레임워크입니다. Solidity AST 파싱, 오염 분석, 제어 흐름 그래프 분석, 크로스 컨트랙트 분석, Halmos 기호 실행, 180개 이상의 패턴 기반 정적 탐지기, 공유 SAGE 제도적 기억을 갖춘 협업 다중 에이전트...

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

CVE-2026-1111 – スマートコントラクトにおけるクロスファンクション再入攻撃 プログラムコード Solidity + Python root@kitploit: // VulnerableBank.sol - Simplified reentrancy example with cross-function bypass pragma solidity ^0.8.0; contract VulnerableBank mappingaddress = uint256 public balances; function deposit public payable...

EvilReflex

これは何ですか？ これはスマートコントラクトにおける evilReflex 脆弱性の簡単なテストです。 テスト方法 Step 1：evilReflex.sol をコンパイル Step 2：HACKME をデプロイ 例： root@kitploit: Account Address： 0x62ba0a06ffc1d0a706172e1ed755b9b91f53a617 balance: 10090000000000000000000000 Contract address： 0x26336eb6761d7c6ac28251d5e20f63623fc16ad5 balance:...

owasp-scs

OWASP Безопасность смарт-контрактов SCS Присоединяйтесь к Slack-каналу OWASP Smart Contract Security Обсуждения и поддержка Это официальный репозиторий GitHub проекта OWASP Smart Contract Security SCS. Эта комплексная инициатива предоставляет стандарты безопасности, руководства и ресурсы для...

bithoven

Bithoven 🎼 비트코인 스마트 계약을 위한 고수준 명령형 언어 Bithoven은 타입 안전하고 개발자 친화적인 프로그래밍 언어로, 네이티브 비트코인 스크립트로 컴파일되도록 설계되었습니다. 복잡한 스마트 계약 로직과 비트코인 가상 머신VM의 저수준 스택 머신 사이의 격차를 해소합니다. 현대적인 제어 흐름if/else, 명명된 변수, 내장된 안전 검사를 사용하여 읽기 쉽고 감사 가능한 코드를 작성한 다음, SegWit 또는 Taproot용으로 고도로 최적화된 비트코인 스크립트로 컴파일하세요. ⚡ 주요 기능 명령형 구문: 스택...

batchOverflow

batchOverflow PeckShield チームによって発見された batchOverflow バグ の修正です。 修正 元のコントラクトは、送信者が合計金額（入力値 × アドレス数）を支払うのに十分な whatever を持っているかどうかのチェックのみを行っていました。オーバーフローが発生した場合、この金額はゼロになる可能性があり、line 12 のテストを通過させることができます。...

evm-audit-helpers

evm-audit-helpers 개요 evm-audit-helpers 는 EVM 스마트 계약 보안 감사를 가속화하기 위해 설계된 Solidity 스니펫, Foundry 스크립트, 테스트 템플릿의 선별된 모음입니다. 이 저장소는 재진입reentrancy, 스토리지 레이아웃 불일치, 가스 최적화 함정과 같은 일반적인 감사 문제에 대한 재사용 가능한 빌딩 블록을 번들로 제공하여, 감사자와 개발자가 보일러플레이트보다는 로직에 집중할 수 있게 합니다. 주요 목표: 감사 준비 가속화 : 즉시 사용 가능한 검사와 패턴 제공. 감사 보고서...

efcf-framework

EF/CF - 극도로 빠른 이더리움 스마트 컨트랙트 퍼저 EF/CF는 스마트 컨트랙트 퍼징에 대한 새로운 접근 방식입니다. 새로 맞춤 제작된 퍼저를 사용하는 대신 C/C++ 코드용 기존 퍼징 인프라를 스마트 컨트랙트에 재사용합니다. 현재 AFL++가 기본 지원 퍼저이며, libfuzzer와 honggfuzz에 대한 매우 기초적인 지원도 일부 포함되어 있습니다. 왜 기존 퍼징 인프라를 사용하나요? 속도. 더 빠르게 퍼징할 수 있습니다. 일반적으로 코어당 초당 약 20k execs를 달성합니다. 네이티브 코드 퍼저는 잘 설계되고...

theo

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

smart-contract-vulnerabilities

스마트 컨트랙트 취약점 스마트 컨트랙트 취약점과 예방 방법을 모아 놓은 문서입니다. LLM에 최적화된 참고 자료는 /references를 참조하세요. 접근 제어 tx.origin을 통한 인가 불충분한 접근 제어 신뢰할 수 없는 호출 대상에 대한 Delegatecall 서명 변조 가능성 서명 재생 공격에 대한 보호 부재 수학 정수 오버플로 및 언더플로 Off-By-One 정밀도 부족 제어 흐름 재진입 블록 가스 한도로 인한 DoS 예기치 않은 revert로 인한 DoS 루프에서 msg.value 사용 트랜잭션 순서 의존성 불충분...

CVE-batdappboomx

CVE ID CVE-2022-27134 製品 batdappboomxは、EOSIOブロックチェーン上で動作する公開スマートコントラクトです。このスマートコントラクトは、参加者が事前に暗号通貨を支払うと、暗号通貨を報酬として与えます。 バージョン...

BlockChainConstruction

はじめに この記事では、主に注目に値するパブリックチェーン監査のいくつかの側面を紹介します。セキュリティ監査者とパブリックチェーン開発者にとって、これは参考と考察に値するプロジェクトです。 アーキテクチャ パブリックチェーンシステムの構築を紹介する前に、ブロックチェーンのアーキテクチャを見てみましょう。 ブロックチェーン1.0時代： アーキテクチャ：下図のとおり 代表的な製品：bitcoin、reborn coin、dogcoin、Leyte coin、MasterCard coinなど ブロックチェーン2.0時代： アーキテクチャ：下図のとおり...

octopus

Octopus Огромная благодарность QuoScient за спонсирование этого проекта. Octopus — это фреймворк для анализа безопасности WebAssembly-модулей и смарт-контрактов блокчейна. Цель Octopus — предоставить простой способ анализа закрытых WebAssembly-модулей и байт-кода смарт-контрактов для более...

GOATCasino

GOAT 카지노에 오신 것을 환영합니다! 카지노의 다양한 게임에서 행운또는 실력을 시험해 멋진 토큰과 상품을 획득하세요! 현재 개발 중이므로 지금은 게임 수가 실망스러울 수 있지만, 앞으로 더 많은 게임이 추가될 예정이며, 그동안 악용할 거리가 많습니다. 시작하기: 1. 의존성 설치 1. 최신 버전의 node 2. sudo apt install npm 3. sudo npm install -g truffle ganache-cli 2. ./startchallenge.sh를 실행하여 testrpc를 시작하고, 카지노를 로컬 테스트넷...

awesome-web3-security — Updated!

awesome-web3-security A curated list of Web3 Security materials and resources for Pentesters and Bug Hunters. root@kitploit: If you find that some links are not working, you can simply replace the username with gmh5225. Or you can send an issue for me. Show respect to all the projects below,...

domestic-system

The Domestic System A beautiful, terminal-based Ethereum wallet and smart contract browser built for sovereignty, security, and style. root@kitploit: ━━━━━━━━━━━━━━━━━━━━ domestic system ━━━━━━━━━━━━━━━━━━━━ Обзор The Domestic System — это терминальный пользовательский интерфейс TUI,...