PlamenTSV/plamen

解決する課題

Plamenは、スマートコントラクトとレイヤー1（L1）ノードクライアントインフラストラクチャの脆弱性を発見するために設計された自律型セキュリティ監査ツールです。複数のブロックチェーンエコシステムにわたるコード監査の複雑なプロセスを自動化し、概念実証（PoC）エクスプロイトを備えた検証済みレポートを作成することで、手動によるセキュリティレビューの必要性を低減します。

仕組み

Plamenは、40以上の分析フェーズにわたって18〜100のAIエージェントの群れを調整します。Claude CodeやOpenAI Codex CLIなどのAIランタイムと統合してワークフローを実行します。このシステムは、静的解析（SlitherなどのMCPサーバー経由）、カスタムRAG（検索拡張生成）脆弱性データベース、および実行可能なPoC試行を組み合わせて、調査結果を検証します。EVM/Solidity、Solana/Anchor、Aptos/Sui Move、L1インフラストラクチャ向けのGo/Rustなど、幅広い言語とプラットフォームをサポートしています。

対象読者

スマートコントラクトやブロックチェーンノードクライアント向けの自動化された高深度セキュリティ分析を必要とするセキュリティ研究者、ブロックチェーン開発者、監査人。

主な特長

• マルチチェーンサポート: EVM、Solana、Aptos、Sui、Soroban、DAML、L1 Go/Rustクライアントに対応。
• 検証済みの調査結果: 重大な害に対する実行可能な概念実証（PoC）試行を強制し、誤検知を排除。
• 階層型監査モード: 速度、コスト、分析深度のバランスを取るために、Light、Core、Thoroughモードを提供。
• L1インフラストラクチャに焦点: コンセンサスエンジン、p2pネットワーキング、バリデータライフサイクルコードの監査に特化したスキルを含む。
• RAG統合: AIエージェントを既知のセキュリティパターンに基づかせるためのオプションの脆弱性データベースを備える。