bithoven

Bithoven 🎼 Высокоуровневый императивный язык для Bitcoin-смарт-контрактов Bithoven — это типобезопасный, удобный для разработчика язык программирования, предназначенный для компиляции в нативный Bitcoin Script. Он устраняет разрыв между сложной логикой смарт-контрактов и низкоуровневой стековой...

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 — это фреймворк на Python для анализа смарт-контрактов Solidity, генерации отчетов об уязвимостях, создания proof-of-concept PoC тестов на основе Foundry и проверки эксплойтов на...

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 в смарт-контракте. Как тестировать? Шаг 1: скомпилируйте evilReflex.sol Шаг 2: разверните HACKME например: root@kitploit: Account Address： 0x62ba0a06ffc1d0a706172e1ed755b9b91f53a617 balance: 10090000000000000000000000 Contract address：...

owasp-scs

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

batchOverflow

batchOverflow Исправление для ошибки batchOverflow, обнаруженной командой PeckShield. Исправление Исходный контракт выполнял только проверку того, что у отправителя достаточно whatever для оплаты общей суммы входное значение x количество адресов. Если происходило переполнение, эта сумма могла ста...

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. Этот смарт-контракт вознаграждает своих участников криптовалютой, если они предварительно заплатят некоторую криптовалюту. Версия Последняя версия этого смарт-контракта. Хэш-код sha256...

BlockChainConstruction

Предисловие В этой статье мы в основном расскажем о нескольких аспектах аудита публичных блокчейнов, заслуживающих внимания. Для аудиторов безопасности и разработчиков публичных блокчейнов это проект, достойный изучения и размышлений. Архитектура Прежде чем знакомиться с построением системы...

octopus

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

GOATCasino

Добро пожаловать в GOAT Casino! Испытайте удачу или навыки в различных играх казино, чтобы выиграть сказочные токены и призы! Проект находится в разработке, поэтому сейчас игр может быть разочаровывающе мало, но впереди их будет больше, а пока есть множество вещей, которые можно эксплуатировать...

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