DLL Execution

DLL Execution — AI エージェント向けの基本的なトランザクションシミュレーションと検証

AI エージェント向けの実行インフラストラクチャです。

DLL は、独立した読み取り専用の Base Mainnet API およびリモート MCP サービスです。署名する前に、未署名のトランザクションをシミュレーションし、呼び出しの成功またはリバートを確認して、明示された送信先と L2 実行手数料の制約を検証します。独立してブロードキャストした後は、トランザクションの取り込み、要求されたレシートのステータス、および対応するトランザクションフィールドの期待値を検証します。結果には、構造化された Judgment または Verification の状態、理由コード、証拠、明示的な不確実性が含まれます。DLL が署名、ブロードキャスト、または資産の保管を行うことはありません。

対象ユーザー

未署名のトランザクション候補、またはすでにブロードキャストされたトランザクションハッシュを持つ AI エージェント、およびそれらのエージェントを統合する開発者が対象です。実行前に、エージェントは想定される失敗、判明しているコスト、明示的な制約、残る不確実性を把握する必要があります。実行後には、観測された結果を明示的な期待値と照らし合わせて確認する必要があります。

現在利用可能：Execution Preflight

POST https://execution.dll.io/v2/execution/preflight

V0.2.1 は、Base Mainnet 上の未署名トランザクション候補 1 件を評価し、読み取り専用のシミュレーション、推定 L2 実行手数料、決定論的なポリシーチェック、構造化された判定、および裏付けとなる証拠を返します。無料の公開トライアルには制限があります。Preflight にウォレット接続、署名、支払いは必要ありません。Benchmark の個別の支払い／無料トライアル規則は、このエンドポイントには適用されません。

完全な EIP-1559 トランザクションコンテキストがサポートされている場合、任意の fee_estimation により、L1 データ、L2 実行、該当する Operator Fee、および Total Network Fee の条件付き推定値が別途返されます。必要な構成要素が欠けている場合、合計は 0 ではなく利用不可になります。この推定値は実際に発生したコストでも、将来の支出保証でも、自動的な PASS でもありません。

Agent has an unsigned transaction candidate
→ calls DLL Execution Preflight
→ receives simulation / cost / policy / judgment / evidence
→ Agent decides what to do next

Judgment	評価対象の証拠における意味
PASS	シミュレーションと該当するチェックに合格し、重大な未解決事項が特定されていません。実行を許可するものではありません。
CAUTION	技術的には実行できる可能性がありますが、重要な不確実性または証拠の不足が残っています。
BLOCK	シミュレーションのリバートや明示的な制約による拒否など、決定論的な証拠が、この候補では先に進まないよう示しています。
INDETERMINATE	利用可能な証拠では、信頼できる判定を裏付けられません。成功とも、トランザクションの失敗が証明されたとも見なさないでください。

現在、通常の Preflight が成功しても、レガシーの cost_estimate では L1／合計が利用できないため、CAUTION が返されます。任意の network_fee_estimate が完全であっても、レガシーの Judgment や L2 のみを対象とするコスト制約は再計算されません。これらの状態はいずれも、収益性、投資の質、戦略的な望ましさ、または金融上の助言を評価するものではありません。

利用可能：実行検証

POST https://execution.dll.io/v2/execution/verify

Verification V0.1 は、すでにブロードキャストされた Base Mainnet のトランザクションを観測し、そのチェーン、取り込み、レシートのステータス、および任意の候補内容に関する限定的な期待を評価します。無料で読み取り専用です。署名、ウォレット接続、支払いは不要で、元の Preflight を DLL が実行している必要もありません。

• Preflight — 実行前： 記録された証拠の範囲内で、何が起きる可能性が高いかを評価します。
• Verification — 実行後： 実際に起きたことを観測し、明示的な期待と照らして評価します。

必須なのは transaction_hash のみです。既定では Base への取り込みを確認します。レシートの成功を確認するには、receipt_status: "success" を明示的に指定してください。HTTP ステータスだけでなく、verification.state を確認してください。VERIFIED は要求されたチェックが満たされていること、CONTRADICTED は少なくとも1つのチェックが否定されていること、INDETERMINATE は証拠が不十分であることを意味します。これらの状態は、ファイナリティ、承認、所有権、因果関係、収益性を証明するものではありません。

利用可能：実行コストのベンチマーク

POST https://execution.dll.io/v1/benchmark/transactions

Benchmark は、観測された Base Mainnet のトランザクションコストを過去の状況と比較します。公開経路では、SIWX ウォレット ID と x402 v2 upto USDC を使用します。検証済みウォレットごとに、最初の3件の有効な分析は無料で、その後は提供された有効な分析1件につき $0.005 です。空でない支払い見積もりを匿名で送っても、無料対象のウォレットに支払いが強制されることはありません。N 件のハッシュを含む有料バッチでは、最大 N × 5000 atomic USDC の見積もりが提示されます。実際の決済では、有料の有効な項目のみがカウントされます。HTTP 200 でも利用できない項目が含まれる場合があります。請求が完了したことを確認してください。過去のパーセンタイルは、ルートの推奨、収益性の判断、将来の手数料の保証ではありません。Benchmark ガイドと制限付き SDK クライアントのリファレンスを参照してください。

まずはこちら

HTTP またはリモート MCP クイックスタートから始めてください。DLL アカウント、API キー、ウォレット、プライベートリポジトリへのアクセスは不要です。JavaScript の手順では Node.js の組み込み機能のみを使用し、リモート MCP の手順では既存の MCP クライアントを使用します。npm install や AgentKit SDK は必要ありません。

• リモート MCP：無料の読み取り専用ツール2つと標準的なクライアント設定。ウォレットも支払いも不要です。
• 機能の選択と FAQ：Preflight、Verification、Benchmark を選択し、それぞれの適用範囲を確認できます。
• クイックスタート：最初の Preflight または Verification 呼び出しを実行します。
• エージェント統合手順：呼び出すタイミングと結果の解釈方法を説明します。
• Preflight の仕様：入力、出力、制約、エラー。
• Verification の仕様：取り込み、レシート／内容のチェック、実現コスト、観測状態、エラー。
• Benchmark の仕様：過去のコスト状況、SIWX、allowance、x402 による支払い、安全な照合。
• Benchmark クライアントのリファレンス：独立した支出承認を伴う、ステージを考慮した ID／支払いのネゴシエーション。汎用クライアントとの互換性を保証するものではありません。
• Preflight の例：curl、JavaScript、Python。
• Verification の例：curl、JavaScript、Python。

公開ディスカバリーと標準コントラクト

• API のオリジン：簡潔な機能セレクターと標準的な連携リンクです。
• 機械可読インデックス：信頼できる公開情報のインデックスであり、API コントラクトの複製ではありません。
• 公開サイトマップ と クロール用ヒント：明示的に公開されている GET ドキュメントです。認証やインデックス登録の証明ではありません。
• ライブ OpenAPI：標準 API スキーマと利用可能な操作です。
• 機能：現在利用可能な機能とその範囲です。
• x402 ディスカバリーマニフェスト：Benchmark の有料リソースを検出するためのものです。Preflight と Verification では、どちらも x402 による支払いは必要ありません。

このリポジトリでは、DLL の機能と使用方法を説明します。ライブ OpenAPI、well-known メタデータ、および実際の API レスポンスが、標準の公開コントラクトです。 実装やソースコードのミラーではありません。

ドキュメントのチェックは node --test test/*.test.mjs でオフライン実行され、ローカルリンク、JSON 構文、および制約されたクライアントの安全動作を検証します。実際の署名、支払い、ブロックチェーンへのリクエストは生成されません。完全なサンプルは、リリース検証時に標準的なプロダクトスキーマを使った追加チェックも行われます。

制限事項とセキュリティ境界

Base Mainnet のみを対象としています。Preflight では未署名の候補を受け付け、Verification ではすでにブロードキャストされたトランザクションハッシュを受け付けます。署名、ブロードキャスト、カストディ、自律的な実行は行いません。DLL は、指定された from アドレスの所有権を証明したり、トランザクションを承認したりするものではありません。

シミュレーションは観測されたチェーン状態を示すものであり、将来の取り込み、成功、またはアプリケーションレベルの結果を保証するものではありません。デフォルトの L2 のみの手数料は、実行コストの総額ではありません。オプションのネットワーク手数料完全性は、サポートされる条件付きモデルのみを説明します。取得できない手数料は不明であり、ゼロではありません。DLL は純資産の変動を検証せず、悪意のあるコントラクトを網羅的にスキャンせず、Swap の経済的な結果も保証しません。リクエストに秘密鍵、認証情報、その他のシークレットを含めないでください。その後の操作については、エージェントが引き続き責任を負います。

Verification がチェックするのは、指定された期待値のみです。取り込み済みで成功している標準的な観測結果も、確定済み状態を保証するものではありません。実際に発生した L2 手数料はコストの総額ではありません。L1 手数料が観測されていても、実行コストの総額は現在取得できません。