echidna

Echidna: A Fast Smart Contract Fuzzer Echidna is a weird creature that eats bugs and is highly electrosensitive with apologies to Jacob Stanley More seriously, Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smart contracts. It uses sophisticated grammar-based...

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-attack-vectors

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

smart-contract-vulnerabilities

スマートコントラクトの脆弱性 スマートコントラクトの脆弱性とその防止策をまとめたコレクションです。 LLM向けに最適化されたリファレンスについては /references を参照してください。 アクセス制御 tx.origin による認証 不十分なアクセス制御 信頼できない呼び出し先への Delegatecall 署名の改ざん可能性 署名リプレイ攻撃に対する保護の欠如 数学 整数オーバーフローとアンダーフロー オフバイワン 精度の欠如 制御フロー 再入 ブロックガスリミットによる DoS 予期しない revert による DoS ループ内での msg.value の使用...

evm-audit-helpers

evm-audit-helpers 概要 evm-audit-helpers は、EVMスマートコントラクトのセキュリティ監査を迅速化するために設計された、厳選されたSolidityスニペット、Foundryスクリプト、テストテンプレートのコレクションです。このリポジトリには、リエントランシー、ストレージレイアウトの不一致、ガス最適化の落とし穴など、一般的な監査上の懸念事項に対応する再利用可能なビルディングブロックがバンドルされており、監査人や開発者は定型コードではなくロジックに集中できます。 主な目標: 監査準備を迅速化 するための既製チェックとパターンを提供。...

efcf-framework

EF/CF - the Extremely Fast ethereum smart Contract Fuzzer EF/CF はスマートコントラクトファジングへの新しいアプローチです。新しい カスタムファザーを使う代わりに、C/C++ コードの既存のファジング基盤を スマートコントラクト向けに再利用します。現在、AFL++ が主にサポートされているファザーですが、 libfuzzer と honggfuzz の非常に基本的なサポートもいくつかあります。 なぜ既存のファジング基盤を使うのか？ 速度。より高速にファジングできます。通常、1コアあたり毎秒約20k回の実行が得られます。...

bithoven

Bithoven 🎼 Bitcoinスマートコントラクトのための高水準・命令型言語 Bithovenは、ネイティブのBitcoin Scriptにコンパイルするように設計された、型安全で開発者に優しいプログラミング言語です。複雑なスマートコントラクトのロジックと、Bitcoin仮想マシン（VM）の低レベルスタックマシンとの間のギャップを埋めます。 現代的な制御フロー（if/else）、名前付き変数、組み込みの安全性チェックを使用して、可読性が高く監査可能なコードを記述し、それをSegWitまたはTaproot用に高度に最適化されたBitcoin Scriptにコンパイルします。 ⚡ Ke...

CVE-batdappboomx

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

CVE-2026-100248

The Rattadan Cosmowarp smart contract before 56c6147 can have a comparison to an unintended value of currentadmin...

EvilReflex

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

aether

Aether v6.0 — スマートコントラクトセキュリティ解析フレームワーク バージョン 6.0 | v6.0の新機能 | 変更履歴 Aetherは、Solidityスマートコントラクトの解析、脆弱性の発見、Foundryベースの概念実証（PoC）テストの生成、メインネットフォーク上でのエクスプロイト検証を行うPythonベースのフレームワークです。Solidity AST解析、汚染解析、制御フローグラフ解析、クロスコントラクト解析、Halmosシンボリック実行、180以上のパターンベースの静的検出器、共有 SAGE 組織記憶を備えた協調型マルチエージェントLLMパイプライン...

EUVD-2026-87152

The Rattadan Cosmowarp smart contract before 56c6147 can have a comparison to an unintended value of currentadmin...

owasp-scs

OWASP スマートコントラクトセキュリティ SCS OWASP スマートコントラクトセキュリティ Slack に参加する ディスカッションとサポート これは OWASP スマートコントラクトセキュリティ SCS プロジェクトの公式 GitHub リポジトリです。この包括的なイニシアチブは、スマートコントラクトの開発、監査、検証のためのセキュリティ標準、ガイダンス、リソースを提供します。SCS エコシステムは相互接続されたサブプロジェクトで構成されており、相互に補完し合い、スマートコントラクト、分散型アプリケーション dApps、EVM...

theo

Theo 더 이상 유지보수되지 않으며, 설치하지 마시고 사용하지 마십시오. 경고했습니다! Theo는 익스플로잇 프레임워크이자 블록체인 정찰 및 상호작용 도구를 목표로 합니다. 기능: 자동 스마트 컨트랙트 스캐닝을 통해 가능한 익스플로잇 목록 생성 스마트 컨트랙트를 익스플로잇하기 위한 트랜잭션 전송 트랜잭션 풀 모니터 Web3 콘솔 프론트러닝 및 백러닝 트랜잭션 특정 트랜잭션 리스트를 기다렸다가 다른 트랜잭션 전송 가스 추정을 통해 성공적인 트랜잭션만 전송 가스 추정 비활성화 시 고정 가스량으로 트랜잭션 전송 그는 직장 동료인...

BlockChainConstruction

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

evmbench-certora-agent-harness

EVMBench Certora Agent Harness 反復的なスマートコントラクト仕様の生成/改良のための設定可能なエージェントハーネス。以下を使用: EVMBench スタイルのタスク openai/frontier-evals - project/evmbench Certora Prover Certora/CertoraProver LLM バックエンド: OpenAI API、OpenRouter API、ローカル Ollama、またはモックモード これが行うこと ハーネスはチャレンジをループ処理します: 1. コントラクト/コンテキストファイルを読み取ります。 2...

octopus

Octopus 이 프로젝트를 후원해 주신 QuoScient에 진심으로 감사드립니다. Octopus는 WebAssembly 모듈과 블록체인 스마트 계약을 위한 보안 분석 프레임워크입니다. Octopus의 목적은 폐쇄 소스 WebAssembly 모듈과 스마트 계약 바이트코드를 분석하여 내부 동작을 더 깊이 이해할 수 있는 쉬운 방법을 제공하는 것입니다. 기능 탐색기Explorer : 블록체인 플랫폼과 통신하기 위한 Octopus JSON-RPC 클라이언트 구현 디스어셈블러Disassembler : Octopus는 바이트코드를 어셈...

GOATCasino

GOAT Casinoへようこそ！ カジノのさまざまなゲームで運（またはスキル）を試して、素晴らしいトークンと賞品を勝ち取りましょう！ これは開発中のため、現時点ではがっかりするほどゲーム数が少ないかもしれません。しかし、今後さらに追加される予定で、それまでの間にも悪用できるものがたくさんあります。 始めるには: 1. 依存関係をインストールする 1. 最新版の node 2. sudo apt install npm 3. sudo npm install -g truffle ganache-cli 2. ./startchallenge.sh を実行して、testrpc...

domestic-system

The Domestic System 美しく、ターミナルベースのEthereumウォレット兼スマートコントラクトブラウザ。主権、セキュリティ、そしてスタイルのために構築されました。 root@kitploit: ━━━━━━━━━━━━━━━━━━━━ domestic system ━━━━━━━━━━━━━━━━━━━━ 概要 The Domestic...

CVE-2025-4126

POC-CVE-2025-4126 スマートコントラクトのリエントランシー攻撃の脆弱性の検証 スマートコントラクトのリエントランシー攻撃PoC このリポジトリには、Ethereumスマートコントラクトにおけるリエントランシー攻撃 の脆弱性を示す概念実証（PoC）が含まれています。このPoCには、脆弱なスマートコントラクト、攻撃者コントラクト、およびローカルテスト環境で攻撃を再現するための手順が含まれています。 目次 概要 脆弱性の説明 PoCのセットアップ PoCの実行 ライセンス 概要...