Stella Verified Audit Pilot
固定スコープの入口監査
$5,000固定料金 · 2 週間
初回のお客様や、スコープを広げる前に Stella の納品品質を 1 リポジトリまたは 1 コンポーネントで確認したいチーム向けです。
- 1 リポジトリまたは 1 コンポーネント
- 検証済みの発見のみ
- 再現可能な PoC・検証ログ・ソース引用の検証
- CVSS / CWE ドラフト
- パッチガイダンス + 調整公開の支援
限定的なプライベート監査を、利用しやすい料金で。
Stella の主軸は、独立したバグバウンティ調査です。対応余力がある場合、プライベート案件は 2 週間・固定スコープの Pilot Audit($5,000)から開始できます。必要に応じて、Focused Audit、Full Verified Audit、Triage Retainer、Patch Validation もご提案します。
[サービスメニュー]
限定的なプライベート監査を、利用しやすい料金で。
Stella の主軸は、独立したバグバウンティ調査です。対応可能な範囲で限定的にプライベート案件も受け付けており、2 週間・固定スコープの Pilot Audit は $5,000 からご案内します。容量に応じて、より広い監査、トリアージ支援、パッチ検証にも対応します。
Focused Audit
狭い対象をより深く検証
$8K〜$12K2〜3週間契約
パイロットより深い検証を求めつつ、4 週間のフル監査まではまだ必要ないチーム向け。1 つのライブラリ、ファームウェアコンポーネント、パーサ、プロトコル表面、ロボティクス / 組込みコンポーネントに適しています。
- 1 ライブラリ / パーサ / プロトコル / ファームウェア / 組込みコンポーネント
- プロダクト領域全体に進む前の深い検証
- 再現可能な PoC・検証ログ・ソース引用の検証
- CVSS / CWE ドラフトとパッチガイダンス
- 該当する発見には調整公開を支援
Full Verified Audit
対象領域全体に対する検証監査
$18K〜4週間契約
出荷中の 1 プロダクト領域または 1 プロトコル表面が対象。フルスコープの検証サイクルを回し、パッチ検証、禁輸期間調整、CVE 提出支援まで完結させたい製品セキュリティチームに最適です。
- 1 プロダクト領域 / 1 プロトコル表面
- C/C++ の全面検証
- 再現可能な PoC・検証ログ・ソース引用の検証
- パッチ検証スプリントを含む
- 禁輸期間の調整と CVE 提出
Triage Retainer
受信した AI 生成報告を検証
$3K〜$8K月額
AI が生成した受信報告に埋もれている PSIRT やバグバウンティプログラム向け。各報告を「本物 / 重複 / 誤検出 / セキュリティ関連」に分類し、エンジニアリングで対応すべき短いリストにして返却します。
- 受信する AI レポート・ファジングクラッシュ・外部報告を検証
- 本物 / 重複 / 誤検出 / セキュリティ関連の分類
- 提出者への返信ドラフト
- PSIRT・バグバウンティプログラム向け
- 月次契約・件数に応じて柔軟に調整可能
Patch Validation
「修正は本当に効いたか」を確認
$1.5K〜$4K脆弱性クラス単位
禁輸中の CVE を抱えているベンダー、または規制対応のプレッシャーの中で、適用したパッチが真に根本原因を修正し、近傍コードに亜種が残っていないかを独立した立場で確認したい組織向け。
- パッチが根本原因を修正しているかを検証
- 対象コンポーネントを横断した亜種解析
- クラス単位の深掘り・リテイナー契約も可
- 禁輸中の CVE 対応や規制対応に有効
- 元の公開タイムラインに合わせて納品
Open Source
重要 OSS セキュリティへの貢献枠
無料審査制
重要なオープンソース C/C++ インフラのメンテナ向け。商用提供の主力ではなく、Stella が依存する上流エコシステムへの還元です。
- 1 コードベース、プロジェクト単位で審査
- 協調開示は Stella が一括対応
- CVE 提出とベンダー調整を代行
- アドバイザリに「Powered by Lilith」クレジット
- 受付枠に上限あり、審査に約 1 週間
下記は、対象を明確に限定した C/C++ 案件の初期料金です。最終的なスコープ・日程・納品物は、開始前に書面で確定します。重要な OSS プロジェクトは、審査制の無償貢献枠の対象となる場合があります。
[なぜ Stella を選ぶのか]
専門家が Stella を選ぶ 4 つの理由。
フロンティア LLM が「発見」をコモディティ化する一方で、「検証」はそうなっていません。Stella は専門特化したメモリ破壊系の技術と、検証ファーストの納品モデルを組み合わせます。インフラベンダーが汎用スキャナや汎用 AI サービスではなく Stella を選ぶ 4 つの理由は以下のとおりです。
[ 01 ]
発見ではなく、検証で勝負する
フロンティアモデル・ファザー・静的解析は、メンテナがトリアージできる量を超える候補を生成します。Lilith は全候補を、独立した GCP VM 上で AddressSanitizer / UBSan / MSan により再現確認したうえでしか納品しません。トリアージ待ちではなく、修正できる検証済みの発見にのみご請求します。
[ 02 ]
重要インフラを専門にカバー
暗号ライブラリ、VPN デーモン、DNS サーバ、ルータ、SIP ゲートウェイ、組込み TCP/IP スタックのメモリ破壊系は、ホリゾンタル SaaS(Snyk、Semgrep、Wiz)には狭すぎ、ベンダーが放置するには重要すぎる領域です。本気で取り組める企業は世界で 5 社程度。その中で Stella は最も若く、本番稼働中の LLM 検証ハーネスとしては最も深い設計を持ちます。
[ 03 ]
公開オペレーションまで含む
検証済みの発見には毎回、公開文面、ベンダー連絡先、禁輸期間タイムライン、1 週間のパッチ検証ウィンドウが付属します。Mozilla、Arm PSIRT、Intel、ISC、PowerDNS、Red Hat Product Security との調整実績があり、CVE をクリーンに通すための関係性を別料金ではなく契約に含めています。
[ 04 ]
公開 CVE による信頼性
wolfSSL、Mozilla NSS、GnuTLS、strongSwan、PowerDNS、Arm mbedTLS、PostgreSQL/PgBouncer、FRRouting にわたる 32 件の CVE。Mozilla、Intel、Intigriti、YesWeHack から約 $80K の支払済み・確定済み報奨金、加えて Red Hat 経由の追加開示。新規参入者は CVE 実績ゼロからのスタートで、Stella が公開するたびにそのギャップが広がります。
[アプローチ]
Stella の検証エンゲージメントを他社と比較。
従来の専門監査は、高額でカレンダーを大きく消費することがあります。Stella は固定スコープのパイロットから開始し、検証済みで再現可能な発見をより速いペースで納品します。
[+]Stella Verified Audit
- 費用
- $5K Pilot / $8K〜$12K Focused Audit / Full Verified Audit は $18K〜
- 成果までの時間
- 2 週間のパイロット · 2〜3 週間の Focused Audit · 4 週間のフル監査
- 証拠の質
- ASAN / UBSan / MSan で検証済みの PoC・ソース引用検証済み
- 分析手法
- AI 拡張型検証ハーネス + 人間のレビュー
- 納品物
- PoC・パッチガイダンス・公開文面を備えた CVE 対応レポート
従来のブティック監査
- 費用
- 従来の専門監査は $50K〜$150K に達する場合があります
- 成果までの時間
- カレンダーを大きく消費し、数ヶ月規模になることがあります
- 証拠の質
- 監査者により異なる
- 分析手法
- 人間の直感
- 納品物
- PDF レポート
[よくあるご質問]
よくあるご質問
- どこから始めればよいですか?
- まずは 2 週間の Pilot Audit($5,000・固定スコープ・1 リポジトリまたは 1 コンポーネント)からご相談ください。より大きな契約の前に納品品質を確認いただくための設計です。広いスコープが必要で、かつ対応余力がある場合は、Focused Audit、Full Verified Audit、Triage Retainer、Patch Validation をご提案します。
- 対応している言語と対象は?
- C・C++ 製のインフラソフトウェアです — プロトコルパーサ、TLS ライブラリ、VPN デーモン、DNS サーバ、ルータ、組込み TCP/IP スタック、データベースインフラなど。Rust は検証ハーネスの成熟に合わせてロードマップに入れています。Rust 対象のご相談も歓迎です。範囲外の対象についても、カスタム案件として対応できる場合があります。
- AI スロップ問題にどう対処していますか?
- Lilith の検証ハーネスは、人が報告を見る前に、各候補を独立した GCP VM で AddressSanitizer / UBSan / MSan により実行し、ソース引用が実リポジトリと一致するかを検証します。ゲートを通過しなかった発見は転送されず破棄されます。
- 発見の所有権は誰にありますか?
- お客様にあります。有償案件においては、お客様のコードベース上の発見はすべて専属的にお客様のものです。公開するか否か・いつ・どう公開するかはお客様が決定します。Stella は内部キャリブレーションのために集計・匿名化された統計(発見数、深刻度分布)のみを保持し、お客様の組織やコードベースに紐づけることはありません。
- Open Source 枠はどう運用されていますか?
- 無料・審査制・受入枠に上限があります。重要な OSS C/C++ インフラプロジェクトを四半期ごとに少数受け入れ、公開まで Stella が一括対応します。商用提供の主力ではなく、上流エコシステムへの貢献として運用しています。お問い合わせフォームからお申し込みください — 1 週間以内にご返信します。
- 契約・NDA・公開範囲はどう扱われますか?
- 全エンゲージメントは、監査開始前に書面のスコープ・NDA・調整公開の承認を取り交わすところから始まります。本番システムでの試験は行いません。書面による承認なしに公開することはありません。ベンダー固有の禁輸期間(通常 90 日、要請により延長可)を尊重します。
[ $ lilith run --target your-codebase ]
Stellaでインフラを監査する。
監査したいコードベースについてお聞かせください。24時間以内にスコーピングの質問と提案をお返しします。