3578 matches found
CVE-2025-4126
POC-CVE-2025-4126 スマートコントラクトのリエントランシー攻撃の脆弱性の検証 スマートコントラクトのリエントランシー攻撃PoC このリポジトリには、Ethereumスマートコントラクトにおけるリエントランシー攻撃 の脆弱性を示す概念実証（PoC）が含まれています。このPoCには、脆弱なスマートコントラクト、攻撃者コントラクト、およびローカルテスト環境で攻撃を再現するための手順が含まれています。 目次 概要 脆弱性の説明 PoCのセットアップ PoCの実行 ライセンス 概要...
smart-contract-vulnerabilities
スマートコントラクトの脆弱性 スマートコントラクトの脆弱性とその防止策をまとめたコレクションです。 LLM向けに最適化されたリファレンスについては /references を参照してください。 アクセス制御 tx.origin による認証 不十分なアクセス制御 信頼できない呼び出し先への Delegatecall 署名の改ざん可能性 署名リプレイ攻撃に対する保護の欠如 数学 整数オーバーフローとアンダーフロー オフバイワン 精度の欠如 制御フロー 再入 ブロックガスリミットによる DoS 予期しない revert による DoS ループ内での msg.value の使用...
theo
Theo 더 이상 유지보수되지 않으며, 설치하지 마시고 사용하지 마십시오. 경고했습니다! Theo는 익스플로잇 프레임워크이자 블록체인 정찰 및 상호작용 도구를 목표로 합니다. 기능: 자동 스마트 컨트랙트 스캐닝을 통해 가능한 익스플로잇 목록 생성 스마트 컨트랙트를 익스플로잇하기 위한 트랜잭션 전송 트랜잭션 풀 모니터 Web3 콘솔 프론트러닝 및 백러닝 트랜잭션 특정 트랜잭션 리스트를 기다렸다가 다른 트랜잭션 전송 가스 추정을 통해 성공적인 트랜잭션만 전송 가스 추정 비활성화 시 고정 가스량으로 트랜잭션 전송 그는 직장 동료인...
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...
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...
bithoven
Bithoven 🎼 비트코인 스마트 계약을 위한 고수준 명령형 언어 Bithoven은 타입 안전하고 개발자 친화적인 프로그래밍 언어로, 네이티브 비트코인 스크립트로 컴파일되도록 설계되었습니다. 복잡한 스마트 계약 로직과 비트코인 가상 머신VM의 저수준 스택 머신 사이의 격차를 해소합니다. 현대적인 제어 흐름if/else, 명명된 변수, 내장된 안전 검사를 사용하여 읽기 쉽고 감사 가능한 코드를 작성한 다음, SegWit 또는 Taproot용으로 고도로 최적화된 비트코인 스크립트로 컴파일하세요. ⚡ 주요 기능 명령형 구문: 스택...
CVE-2026-9998-Insecure-Deserialization-in-Blockchain-Oracle
10. CVE-2026-9998 – ブロックチェーンオラクルにおける安全でないデシリアライゼーション 概要 ブロックチェーンオラクルノードが、スマートコントラクトイベントからのデータをPythonの pickle を使用してデシリアライズするため、攻撃者が任意のコマンドを実行できるようになります。 深刻度: 重大 ノード完全侵害 オラクルのシミュレーションとエクスプロイト root@kitploit: !/usr/bin/env python3 """ vulnerableoracle.py - Oracle node that listens to events and...
aether
Aether v6.0 — スマートコントラクトセキュリティ解析フレームワーク バージョン 6.0 | v6.0の新機能 | 変更履歴 Aetherは、Solidityスマートコントラクトの解析、脆弱性の発見、Foundryベースの概念実証（PoC）テストの生成、メインネットフォーク上でのエクスプロイト検証を行うPythonベースのフレームワークです。Solidity AST解析、汚染解析、制御フローグラフ解析、クロスコントラクト解析、Halmosシンボリック実行、180以上のパターンベースの静的検出器、共有 SAGE 組織記憶を備えた協調型マルチエージェントLLMパイプライン...
EvilReflex
これは何ですか？ これはスマートコントラクトにおける evilReflex 脆弱性の簡単なテストです。 テスト方法 Step 1：evilReflex.sol をコンパイル Step 2：HACKME をデプロイ 例： root@kitploit: Account Address： 0x62ba0a06ffc1d0a706172e1ed755b9b91f53a617 balance: 10090000000000000000000000 Contract address： 0x26336eb6761d7c6ac28251d5e20f63623fc16ad5 balance:...
echidna
Echidna: 빠른 스마트 계약 퍼저 Echidna는 벌레를 먹고 높은 전기 감수성을 가진 이상한 생물입니다 Jacob Stanley에게 사과드립니다 좀 더 진지하게, Echidna는 이더리움 스마트 계약의 퍼징/속성 기반 테스트를 위해 설계된 Haskell 프로그램입니다. 이 프로그램은 계약 ABI를 기반으로 하는 정교한 문법 기반 퍼징 캠페인을 사용하여 사용자 정의 조건자 또는 Solidity 어설션을 위조합니다. Echidna는 모듈성을 염두에 두고 설계되었으므로 새로운 변형을 추가하거나 특정 경우에 특정 계약을...
batchOverflow
batchOverflow PeckShield チームによって発見された batchOverflow バグ の修正です。 修正 元のコントラクトは、送信者が合計金額（入力値 × アドレス数）を支払うのに十分な whatever を持っているかどうかのチェックのみを行っていました。オーバーフローが発生した場合、この金額はゼロになる可能性があり、line 12 のテストを通過させることができます。...
smart-contract-attack-vectors
スマートコントラクトの攻撃ベクトル このリポジトリの目的は、スマートコントラクトに関する可能な限りすべての脆弱性と、それらを学ぶためのリソースをまとめることです。 小さな修正から、追加したいドキュメントやツールまで、プルリクエストを自由に送ってください。 セキュリティ脆弱性の一覧 アクセス制御 tx.originによる認証 デフォルトの可視性 署名検証 保護されていないEtherの引き出し 保護されていないSELFDESTRUCT命令 modifierの付け忘れ 誤ったmodifier名 強力すぎるロール 低レベルコールにおけるアカウント存在確認 関数変数による任意ジャンプ Assert...
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回の実行が得られます。...
CVE-batdappboomx
CVE ID CVE-2022-27134 제품 batdappboomx는 EOSIO 블록체인에서 실행되는 공개 스마트 컨트랙트입니다. 이 스마트 컨트랙트는 참가자가 일부 암호화폐를 사전에 지불하면 보상으로 암호화폐를 지급합니다. 버전 이 스마트 컨트랙트의 최신 버전입니다. 스마트 컨트랙트의 sha256 해시 코드는 1327c04cf4b56183eddb1a897bbebf5a873d3421272b708829a4ed0765bef820입니다. 블록체인 탐색기https://bloks.io/account/batdappboomx에서 확인할 수...
BlockChainConstruction
はじめに この記事では、主に注目に値するパブリックチェーン監査のいくつかの側面を紹介します。セキュリティ監査者とパブリックチェーン開発者にとって、これは参考と考察に値するプロジェクトです。 アーキテクチャ パブリックチェーンシステムの構築を紹介する前に、ブロックチェーンのアーキテクチャを見てみましょう。 ブロックチェーン1.0時代： アーキテクチャ：下図のとおり 代表的な製品：bitcoin、reborn coin、dogcoin、Leyte coin、MasterCard coinなど ブロックチェーン2.0時代： アーキテクチャ：下図のとおり...
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...