Internet Security Research Group と現代のインターネット信頼基盤

概要

Internet Security Research Group は Let’s Encrypt を運営し、Prossimo を統括し、Divvi Up を運用するとともに、新興のデジタルアイデンティティ研究を支援している。小さな非営利組織でありながら、インターネットの信頼基盤を構成する複数の重要層に影響力を持つ。
Let’s Encrypt は、無料証明書、ACME による自動化、短期有効期間、オープンな基盤を組み合わせて暗号化を日常的なものにした。その一方で、継続的に監視される更新システムへと運用責任を移した。
ISRG の各プロジェクトは異なる経済モデルを取る。慈善的な資金が公共サービスを支え、対象を絞った助成金がより安全なソフトウェアを資金面で支え、Divvi Up は従来型の商用ベンダーにならずに有償のプライバシー基盤を加えている。
この組織の中心的課題は制度的な規模である。そのサービスは約25～28人の陣容をはるかに超えて広がっており、資金調達、後継体制、障害対応、プロジェクトの選択がインターネット全体の回復力の一部をなしている。

インターネット規模で活動する小規模組織

Internet Security Research Group は、企業、研究所、業界団体といった通常の分類にはうまく当てはまらない。カリフォルニア州の公益法人であり、連邦の税制上の非課税資格を持ち、分散した働き方の職員と、ブラウザ、サーバー、ホスティング基盤、ネットワーク経路、オペレーティングシステム、アプリケーションのテレメトリに影響を及ぼす、稼働中のサービスと資金供給されたエンジニアリング・プログラムのポートフォリオを抱える。一般向けの組織ウェブサイトは A Better Internet という名称を使っているが、これは ISRG が活動を紹介するためのドメインであり、別の法的・運営上の主体ではない。

規模の不均衡が最も有用な出発点だ。ISRG の2025年度年次報告書は職員数を25人とし、2026年2月の投稿は約27.5人または常勤換算の能力を示唆していた。後者は非公式な示唆であり、正確な人員数として扱うべきではない。この限られた人員基盤に対して、同組織は数億の保護されたウェブサイト、1日あたり約1,000万件に達することもある証明書発行、公開の Certificate Transparency ログ、標準化活動、メモリ安全プログラム、プライバシー保護型テレメトリサービスを報告している。

これは単に組織効率の物語ではない。技術的なてこと制度上の集中の物語だ。ソフトウェア、暗号鍵、ルートストアとの関係、自動化されたプロトコルによって、小規模な運営者は、従来の公益事業に必要な人員を雇うことなく、グローバルなインフラ全体に信頼を広げることができる。同じ構造は、ソフトウェアの欠陥、資金不足、政策上の誤り、運用停止が、非営利組織自身の法的・財務的な規模をはるかに超えて波及しうることも意味する。

したがって ISRG は、同時に2つの方向から評価されなければならない。その成果は、高価だったり、手作業が必要だったり、専門家に限られていた能力を、普通の事業者が採用できるインフラへ転換したことにある。その脆弱性は、その単純さを持続させるために必要な依存関係の数にある。ブラウザ、ルートプログラム、ACME クライアント、DNS、BGP、ハードウェアセキュリティモジュール、データセンター、契約業者、寄付者、標準化団体はすべて、ISRG が単独では制御できないシステムに貢献している。

2つの技術的取り組みが1つの組織になった

ISRG は、単独の創設者が孤立して進めた取り組みではなく、2つの関連する取り組みの合流から生まれた。ミシガン大学と Electronic Frontier Foundation では、J. Alex Halderman と Peter Eckersley が自動化された証明書の発行と更新に取り組んでいた。Mozilla では、Josh Aas と Eric Rescorla が無料の自動化認証局の考えを追求していた。両グループは互いを知り、2013年5月に合流し、プロトコルとクライアントの作業と、ブラウザ、公開鍵基盤、認証局の専門知識を組み合わせた。

法的な歴史と広範な技術記録は、設立をやや異なる形で説明している。現在の ISRG の組織資料は Aas と Rescorla を設立時理事としている一方、Aas の後年の回顧録は Aas、Rescorla、Halderman、Eckersley の4人をより広い設立チームとしている。どちらの説明も、一つのレッテルに無理に押し込まずに保持できる。Aas と Rescorla が最初の法的理事を務め、4人全員がこの組織が生まれた技術的・組織的な連合に属していた。

ISRG は2013年5月24日に設立され、2014年6月から連邦の非課税資格を取得した。設立記録には Mozilla、EFF、ミシガン大学、Cisco、Akamai がスポンサーまたはパートナーとして登場するが、その役割は異なっていた。EFF とミシガン大学はプロトコルとクライアントの作業を提供し、Mozilla はブラウザと PKI の専門知識を持ち込み、Cisco と Akamai は資金、インフラ、または運用支援を提供した。IdenTrust はその後、初期の Let’s Encrypt 証明書を広く利用可能にしたクロス署名関係を提供した。

この分散した起源は、ISRG がその後も使い続ける方法を確立した。同組織は支援するシステムのすべての構成要素を所有しようとはしない。異なる能力を持つ組織を調整し、ミッションに沿った資金を集め、オープンソースソフトウェアと標準を公開し、説明責任のあるサービス提供者を必要とする部分を運営するための、法的かつ運営上の拠点を作る。その結果は従来のテクノロジー企業ほど垂直統合的には整っていないが、ブラウザベンダー、市民的自由団体、学術研究者、インフラ企業、独立したメンテナーが、特定の参加者にシステム全体の所有権を与えることなく貢献できる。

非営利の仕組みも信頼モデルの一部だった

非営利の仕組みの選択は、単なる資金調達の決定以上だった。公開認証局は、ブラウザとオペレーティングシステムが、その署名を、証明書が発行された時点でサーバーがドメイン名または別の承認済み識別子を管理していた証拠として受け入れるため、インターネットの信頼基盤において特権的な位置を占める。運営者は価格、アクセス、自動化、証明書プロファイル、暗号化通信が利用可能になる現実的条件に影響を与えることができる。

ISRG の創設者たちは、この機能が、出口を期待する株主、証明書価格をつり上げる商業的動機、またはより高額な検証層を売ることを中心にした製品戦略に依存すべきではないと結論づけた。また、単一の企業親会社がミッションを方向転換したり、自動化を独自の優位性として確保したりできる状態も避けたかった。公益の仕組みは、ユニバーサルアクセスとオープンな標準を、一時的な赤字覚悟の戦略に依存させるのではなく、組織の統治目的と結びつけた。

この仕組みは経済的制約をなくさなかった。Let’s Encrypt の証明書は加入者に無料だが、サービスにはエンジニア、サイト信頼性、法務・コンプライアンス業務、監査、データセンター容量、ハードウェアセキュリティモジュール、検証インフラ、障害対応、Certificate Transparency 運用、ソフトウェア保守、資金調達が必要だ。非営利モデルは誰がその作業に資金を出すかと、剰余金をどう使えるかを変える。コストを消し去るわけではない。

非営利の地位がガバナンスリスクをなくしたわけでもない。理事会は依然として予算と戦略的方向性を選び、主要スポンサーが財務の安定性にとって重要になり得る。ルートプログラムや CA/Browser Forum は、運用を実質的に変える要件を課すことができる。小規模な経営幹部チームもまた集中点になり得る。主な違いはインセンティブの整合性である。ISRG には従来型の株主がおらず、利益を分配せず、証明書利用者から収益を引き出すのではなく、公益を中心に法的に構成されている。

この制度的選択は、後に Prossimo と Divvi Up のテンプレートになった。両プロジェクトは同じ経済モデルを共有しないが、セキュリティとプライバシーの一部の機能は、まっすぐな独占的市場を生み出さなくても、広範な公共的価値を生み出すという前提を共有している。ISRG は、スポンサーシップ、助成金、オープンソース開発、直接運営、そして Divvi Up の場合には契約関係がミッションを支え得る有償サービスを通じて、そのギャップを埋めようとしている。

Let’s Encrypt は自前の信頼を確立する前に、借りた信頼が必要だった

認証局を構築しても、その証明書がすぐに使えるようになるわけではない。ブラウザとオペレーティングシステムは、発行チェーンの上位のルートをすでに信頼していなければならない。2013年や2014年の時点で、新しい ISRG ルートには導入基盤がなかった。ルートの組み込みには何年もかかり得る。創設者たちは既存のルートの購入を検討し、歴史的な見積もりは100万ドルから800万ドルの範囲だったが、代わりに2014年10月に IdenTrust との長期クロス署名契約を結んだ。

クロス署名により、Let’s Encrypt の中間証明書またはルート鍵を、機器がすでに信頼する認証局が署名した証明書に含めることができた。クライアントは、ISRG 自身のルートが主要なトラストストアに到達する前に、IdenTrust の受け入れ済みルートへのチェーンを構築できた。この取り決めは、技術的に機能する CA と、一般に利用できるサービスとの間のギャップを埋めると同時に、ウェブ PKI の永続的な特徴を示した。信頼は自己宣言ではない。ブラウザと OS のプログラムが方針を確立し、監査を審査し、どのルートを受け入れるかを決める。

ISRG は2014年11月18日に Let’s Encrypt を公表した。Dan Jeffery は2015年4月に最初の常勤職員として加わり、本番運用の準備を支援した。最初のブラウザ信頼証明書は2015年9月14日に発行され、公開信頼の節目は10月に続き、一般提供は2015年12月3日に始まった。サービスは2016年3月に100万枚目、2017年6月に1億枚目、2020年2月に累計10億枚目の証明書を発行した。

主要なトラストプログラムへの ISRG Root X1 の独立組み込みは IdenTrust への依存を減らしたが、ルートガバナンスへの依存を終わらせなかった。新しいルート世代ごとに、組み込み、制約、断片化された機器人口への配布が依然として必要だ。古い機器は新しいルートを信頼しないかもしれず、チェーン選択は一度完了すれば終わる起動タスクではなく、継続的な互換性の問題になる。

この歴史は、ISRG が運営者であると同時にエコシステムの参加者である理由を示す。同組織は鍵を生成し、儀式を行い、証明書を発行し、方針を公開できるが、数十億の機器にルートを押し込むことはできない。信頼は、技術的統制、監査、公開ルール、独立したプラットフォームの決定から生まれる。この分散した権限は一方的な統制を制限する一方、移行を遅くし、それ自体がエラーの原因になり得るクロス署名の複雑さを導入する。

ACME は証明書管理の経済性を変えた

Let’s Encrypt の最も重要な革新は、無料価格だけではなかった。無料証明書と Automated Certificate Management Environment（ACME）プロトコルの組み合わせだ。広範な自動化以前は、サーバー運用者が証明書を購入し、手動プロセスで管理権を証明し、ファイルをダウンロードしてインストールし、設定を更新し、更新のたびにその作業を繰り返す必要があった。証明書自体が安価でも、労力とリスクが HTTPS の維持を高価にした。

ACME はそのライフサイクルをプロトコルに変換した。クライアントはアカウントを作成または使用し、注文を送信し、チャレンジを満たし、証明書署名要求を送信し、証明書を受け取る。同じクライアントが失効前に更新し、更新情報の変更に対応できる。ホスティング企業、コンテンツプラットフォーム、ウェブサーバー、Kubernetes システム、アプライアンスは、発行を定期的な管理プロジェクトとしてではなく、通常のデプロイに統合できる。

このプロトコルは、Let’s Encrypt 専用の API ではなく、オープンなインターフェースとして設計された。ACME が2019年3月に RFC 8555になったとき、他の公開・非公開の認証局が実装でき、クライアントは複数のプロバイダーをサポートできた。この分離は戦略的に重要だった。Let’s Encrypt は、すべてのクライアントを所有することなく、成長するクライアントと統合エコシステムの恩恵を受けた。Certbot、Caddy、サーバー標準モジュール、クラウドサービス、証明書管理システムは、それぞれの運用環境に標準を変換できた。

自動化はまた、現実的な証明書の有効期間を変えた。90日の証明書は、更新に人間のチケットが必要な場合は魅力的でないが、更新が継続的に監視されるソフトウェアプロセスであるなら管理可能だ。6日の証明書は、ほとんどの手動ユーザーには実行不可能だが、高度に自動化されたインフラでは現実的になる。ACME は管理コストを減らしただけでなく、頻繁な再検証と交換に基づくリスクモデルを可能にした。

ISRG の2025年度年次報告書は、保護されたウェブサイトの数がその年に約4億9,200万から7億6,200万に増え、発行件数が一部の日には約1,000万枚に達したと述べた。これらは独立した国勢調査ではなく、組織が定義した指標であり、証明書は固有のウェブサイト、サービス、利用者と同じではない。その限界を踏まえても、証明書管理が専門的な購入物から、ホスティングとアプリケーション展開の背景機能へ移ったことを示している。

Boulder はインターネット接続側の処理と署名権限を分離する

Let’s Encrypt の背後にあるソフトウェアは Boulder と呼ばれる。ACME 認証局のオープンソース実装だが、それをウェブアプリケーションと表現するのはセキュリティ問題を過小評価している。公開 CA はインターネットから信頼できないリクエストを受け取る一方、リクエスト処理コードの侵害が署名鍵への直接アクセスにならないようにしなければならない。Boulder はしたがって、発行経路を権限と責任の異なる構成要素に分割する。

簡略化したフローは ACME ウェブフロントエンドから始まり、登録と注文処理を経て、検証機関を呼び出し、ポリシーと認証局認証（CAA）のチェックを実行し、Certificate Transparency の約束を取得し、CA 層に署名を要求する。ストレージ、失効、レート制限、監査ログ、ACME Renewal Information、証明書失効リストの生成などの補助機能は別のままである。これらの境界は、インターネット接続側のコード、意思決定サービス、暗号署名を要求できるシステムを分離する。

ルート鍵素材はオフラインのままである。オンライン発行中間証明書はハードウェアセキュリティモジュールで保護された鍵を使用する。オフラインのルートが長期信頼を確立し、中間証明書が日々の発行負荷を担い、ルート全体を交換せずに交換または失効できる。ISRG の2019年の技術解説は、過去にはサイト信頼性エンジニアだけが証明書発行システムへの直接アクセスを持っていたと述べており、組織的なアクセス制御がソフトウェアアーキテクチャを補完する様子を示している。

オープンソースはレビューと再利用を提供するが、安全な運用に取って代わるものではない。別の組織が Boulder を検査したり一部を使ったりできるが、Let’s Encrypt のセキュリティは、鍵の儀式、物理的統制、HSM 設定、デプロイ慣行、データセンター冗長性、監視、スタッフ手順、監査証跡にも依存する。コードは仕組みを記述し、信頼された地位はその周囲のより広いシステムに依存する。

2025年7月の完全な ACME 停止は、コンポーネント分離の限界を示した。リゾルバー更新スクリプトがデータセンター間で循環的または利用不能な転送依存関係を作り出し、同じ DNS 問題が監視と診断を妨げた。停止は約8時間続いた。署名鍵は侵害されなかったが、共有依存関係が地理的冗長性を無効化し、回復力には、同じサービスを経由して失敗しない統制、可観測性、回復経路が必要であることを示した。

ドメイン検証は正当性ではなく管理権を証明する

Let’s Encrypt はドメイン検証型（DV）証明書を発行する。証明書は、申請者がドメイン名、または新しい短期プロファイルでは適用可能な検証規則に基づく IPv4 または IPv6 アドレスの管理権を示したことを確認する。運営者が正当な企業であること、サイトが無害であること、商標が証明書保有者に属すること、発行後に管理権が変わらないことを立証するものではない。

この区別は、HTTPS が普遍に近づくにつれて重要になった。利用者はブラウザの鍵アイコンを安全性の判断と解釈することが多いが、Transport Layer Security は主に接続を保護し、エンドポイントの識別子を認証する。フィッシングサイトはドメインを管理し、有効な DV 証明書を取得できる。Let’s Encrypt の使命は暗号化のコストと摩擦をなくすことであり、グローバルな事業者身元確認やコンテンツモデレーションのシステムを作ることではない。

一般的な ACME チャレンジは異なるデプロイ環境を反映する。HTTP-01 は申請者が定義されたウェブパスにトークンを置くことを要求する。DNS-01 は_acme-challengeの下の TXT レコードを使用し、ワイルドカード発行を可能にするが、強力な DNS 資格情報へのアクセスを必要とすることが多い。TLS-ALPN-01 は TLS ハンドシェイク中に特別な証明書を使用する。IP アドレス証明書はリテラルアドレスに承認された方法を適用し、短期プロファイルに限定される。DNS-PERSIST-01 は、発行のたびに新しいトークンを求めるのではなく、アカウントに紐づく恒久的な DNS 認可を確立する新興モデルである。

各方法はリスクを移す。ウェブ検証はルーティング、ホスティング、リクエスト処理に依存し、DNS 検証は権威 DNS、API 資格情報、伝播に依存し、TLS 検証は正しいサービス分離に依存する。永続的な認可は更新システムから日常的な DNS API アクセスをなくす可能性があるが、ACME アカウント鍵と恒久的な記録の重要性を高める。CA は定義されたプロトコルの下で管理権を証明する。その証明を取り巻くすべての侵害経路を排除することはできない。

この狭い範囲は、Let’s Encrypt がグローバル規模で運用できる理由の一つだ。組織検証（OV）と拡張検証（EV）は法人としての身元と権限に関する異なる証拠を必要とし、ISRG はそれらの製品を提供しないことを選んだ。結果としてのサービスは意図的に限定的だが、非常にアクセスしやすく、膨大な人口の通信を保護する一方、評判、事業者身元、アプリケーションの安全性は他のシステムに委ねる。

検証は単一のネットワーク視点を超えた

単一のネットワーク位置から検証する認証局は、攻撃者がその BGP 経路を迂回させたり、その経路上の DNS を操作したりすると欺かれる可能性がある。Let’s Encrypt は2020年、プリンストン大学に関連する研究支援を得て多視点検証を開始した。単一の観測を信頼する代わりに、CA は異なるネットワーク位置の検証者に発行前に管理権を裏付けてもらう。

業界要件は後にこのアプローチを正式化した。2026年6月から、CA/Browser Forum の規則は少なくとも4つのリモート視点を要求し、裏付けとなる視点は少なくとも2つの地域インターネットレジストリ（RIR）サービス地域にまたがることが求められた。Let’s Encrypt の検証システムは、設計だけでなく方針によっても地理的・トポロジ的に分散することになった。

多視点検証は攻撃者の問題を変える。なぜなら、ある視点を欺く局所的な経路ハイジャックは、リモートネットワークを欺けないかもしれないからだ。不正な検証を不可能にするわけではない。広範なルーティング攻撃、権威 DNS の侵害、相関したクラウド障害、チャレンジ実装の欠陥は、依然として複数の視点に影響を与え得る。多様性は、検証者が隠れた依存関係を共有しない場合にのみ役立つ。

CAA と DNSSEC は別の統制を加える。CAA レコードはドメインがどの認証局に発行を許可するかを示すことができ、DNSSEC は署名付き DNS 応答の整合性を提供できる。2026年3月15日から、公開 CA 要件は、プライマリ視点のドメイン検証と CAA ルックアップに DNSSEC 検証を必須とし、DNSSEC の失敗を続行の許可として扱うことはできなくなった。

2020年の CAA インシデントは、統制の価値が正しい実装にかかっていることを示した。Boulder は特定の複数名注文で、必要なすべての名前をチェックする代わりに、1つの名前を繰り返し再チェックした。約300万枚の証明書が影響を受ける可能性があると特定された。この失敗は CAA を無効化しなかった。規則の適用方法のソフトウェア欠陥を露呈させたのだ。ウェブ規模では、小さなインデックス上の誤りやループの誤りが、大量の置き換えとコンプライアンス事象になり得る。

証明書のセキュリティはしたがって CA 自体を超える。ネットワーク間で識別子の一貫したビューを提示するインターネットの能力と、CA が不一致を認識する能力に依存する。Let’s Encrypt の検証アーキテクチャは、PKI をルーティング、DNS、より広いインターネットの運用多様性に直接接続する。

Generation Y は別の互換層を通じて信頼を再構築した

Let’s Encrypt の階層はルートと発行中間証明書を分離し、RSA と ECDSA の両方の系統を使用する。確立されたルートには ISRG Root X1 と ISRG Root X2 がある。2025年9月、ISRG は新しい Generation Y ルート YE と YR を生成し、後に別のグループの中間証明書を発表した。2026年7月までに、YE1 と YE2 が稼働中の ECDSA 中間証明書、YR1 と YR2 が稼働中の RSA 中間証明書となり、YE3 と YR3 がバックアップとして保持された。

2026年7月8日の時点で、新しいルートは主要なトラストストアに広く存在していなかった。デフォルトのチェーンはしたがって、クロス証明書を使って確立された ISRG X ルートを通り続けた。これにより、独立した信頼配布が続く間も新しい階層を運用できたが、それぞれのクロス証明書が、拡張子、有効性、失効、パス構築の挙動が正しくなければならない別のポリシーオブジェクトになった。

世代交代は避けられない。ルートと中間証明書の寿命は有限であり、暗号の好みは進化し、鍵儀式や運用境界の更新が必要になる。新しい階層は更新されたアルゴリズム、プロファイル、より長い計画期間を導入できる。また、ブラウザポリシー、OS ストア、組み込み機器、代替チェーン選択の挙動の違いも露呈させる。

したがって階層は、静的な証明書リストではなく互換性戦略である。最新のクライアントはより短い ECDSA チェーンを好むかもしれないが、古いプラットフォームは広くインストールされた RSA ルートを通るパスを必要とするかもしれない。ACME クライアントとサーバーは、異なる結果を持つ代替チェーンに遭遇し得る。CA は、暗号の近代化と、有効なチェーンが相当数の機器で失敗する可能性とのバランスを取らなければならない。

ISRG のチェーン文書は、歴史的な参考資料ではなく、現在の運用情報源として機能する。中間証明書を固定したり、固定されたチェーン長を仮定したりする運用者は、移行中に破綻し得る。意図されたモデルは、適切なルートを信頼し、通常のパス構築を許可することだが、組み込みソフトウェアと古いプラットフォームは常に理想的に動作するとは限らない。Generation Y は、長期にわたる公共信頼が、より短期の運用上の決定によって繰り返し再構築される様子を示している。

1つの欠落した制約が公的なコンプライアンス事故になった

Generation Y の展開は2026年5月にコンプライアンス上の失敗を生んだ。クロス署名された下位 CA 証明書が、必要なserverAuth拡張鍵用途の制約なしに作成された。この欠落は、新しい階層と既存の信頼済みルートを結ぶ証明書に影響し、加入者鍵の暗号強度には影響しなかった。

Let’s Encrypt は影響を受ける発行を停止し、代替クロス証明書を作成し、欠陥のあるものを失効させた。また、ACME Renewal Information（ARI）を使って、影響を受ける可能性のあるチェーンを持つ加入者に、代替のエンドエンティティ証明書の取得を促した。同組織は、欠陥が下位クロス署名プロファイルにあり、チェーン置き換えで対処できるため、加入者証明書自体の失効は必要ないと結論づけた。

この事故は、1つの拡張子の欠落以上に重要である。互換性メカニズムがコンプライアンスの対象範囲を拡大することを示すからだ。ルート証明書、中間鍵、自己署名証明書、いくつかのクロス署名形式は、関連する暗号アイデンティティを表すが、異なるポリシー制約を持つ。あるパス位置に適したプロファイルが、別の位置では非準拠になり得る。

対応はまた、事故前に開発された自動化の価値を示した。ARI は早期更新を通知でき、ACME クライアントは別の購入プロセスなしに代替証明書を取得でき、新しいチェーンを迅速に配布できた。エラーを重大にしたのと同じ運用規模が、広範な技術的救済も可能にした。

自動化は判断の必要性をなくせなかった。Let’s Encrypt は依然として、どのオブジェクトを失効させるか、依存者がどのようにパスを構築するか、加入者証明書が許容可能かどうか、移行をどの程度の速度で行うかを決定しなければならなかった。包括的な対応は不必要な停止を生み、不十分な対応は非準拠チェーンを運用状態に残す可能性があった。この層の事故対応には、暗号学的有効性、形式的規則、ブラウザの挙動、サービス継続性のバランスが必要だ。

有用な結論は、Generation Y が失敗したとか、クロス署名が本質的に安全でないとかいうことではない。公的な信頼の移行は、段階的な発行、代替チェーンのテスト、ARI の準備、明示的な完了の証拠、すべての証明書形式がどのように制約されているかの明確な説明を伴う運用プログラムとして管理されなければならない、ということだ。

短期証明書はリスクを自動化へ移す

Let’s Encrypt は2026年1月15日に、6日間の証明書と IPv4・IPv6 アドレス用証明書を一般提供した。短期プロファイルの有効期間は160時間で、IP アドレス証明書はこれを使用しなければならない。アドレスは多くのドメイン名よりも容易に再割り当てされたり運用管理が変わったりするためだ。頻繁な検証は、古い管理権が認証されたままになる期間を短くする。

より短い証明書は、盗まれた鍵や誤った発行による最大露出を減らすが、より多くのリスクを更新システムに移す。90日の証明書は、壊れたワークフローを検出するために数週間の猶予を運用者に与える。6日の証明書は、数日以内にサービスの停止になり得る。したがって関連するセキュリティシステムには、クライアントのスケジューリング、アカウント鍵の保護、チャレンジの可用性、レート制限計画、インストール、サービスのリロード、実際にユーザーに提示される証明書の監視が含まれる。

オプションのtlsserverプロファイルは2026年5月に45日証明書へ移行し、デフォルトのclassicプロファイルは調査時点で90日のままだった。Let’s Encrypt はデフォルトを2027年2月に64日、2028年2月に45日へ減らす計画だ。別途、CA/Browser Forum の要件は2029年3月15日から公開信頼 TLS 証明書の最大有効期間を47日に減らす。これらはすべての証明書で完了した事実ではなく、予定された移行である。

この変更は CA と加入者の関係を変える。更新はもはや各クライアントが独立して選ぶ定期的な行動ではない。CA が時間をかけて配布し、事故の際に方向転換する必要のある継続的な流れになる。加入者システムはしたがって、ACME アカウント状態、更新ロジック、証明書デプロイを本番の制御プレーンとして扱わなければならない。

IP 証明書は自動化された公共信頼の有用性を広げる。安定した DNS 名を持たないインフラエンドポイント、ネットワーク機器、特定のサービスディスカバリ環境は、リテラルアドレスを認証できる。この機能は直接性を提供するが、アドレスは管理され続け、検証を通じて繰り返し到達可能でなければならない。運用管理が変わるにつれてアイデンティティを更新すべきという原則を強化しつつ、公開 PKI をインフラ運用者にとってより有用にする。

ARI は更新を統制された制御システムに変える

ACME Renewal Information（ARI）は2025年9月に RFC 9773として公開され、認証局がクライアントにいつ更新すべきかを推奨する方法を提供する。CA は開始と終了のウィンドウを公開し、日常的な更新負荷を配布し、影響を受ける証明書を失効前に早期に交換すべきことを示すことができる。Let’s Encrypt はドラフト版をサーバー側で実装済みで、運用経験を使って最終標準の形成を支援した。

ARI は更新をクライアント専用のタイマーから共有制御プレーンに変える。これがなければ、何百万ものクライアントがすべて証明書有効期間の固定割合で更新し、予測可能なスパイクを生む。事故の際、CA は証明書を失効できるが、すべての加入者が先に交換することを保証できない。ARI 対応クライアントは、新しい証明書を取得し、展開し、検証し、その後古い証明書の失効または失効期限を許可するという順序だった対応を可能にする。

この拡張は最終的な展開経路を完了しない。クライアントは代替を要求しても、ファイルの書き込み、ロードバランサーの更新、ウェブサーバーのリロード、旧ノードが運用中のままであることの検出に失敗し得る。採用もクライアントごとに異なる。ARI の実用的価値はしたがって、CA API のサポートだけでなく、加入者システム全体での実装に依存する。

DNS-PERSIST-01 は別の自動化リスクに対処する。従来の DNS-01 更新は、多くの場合、ACME クライアントに権威 DNS を変更できる資格情報を与えるため、更新ホストの侵害がドメインの侵害になる可能性がある。提案された恒久チャレンジは、CA 識別子と特定の ACME アカウントに紐づく恒久レコードを使用し、オプションでワイルドカード範囲と失効期限を持つ。日常的な更新は、広範な DNS API 資格情報を繰り返し露出させずに進められる。

このアプローチは信頼を排除するのではなく移す。ACME アカウント鍵はより強力になり、恒久レコードは正しく維持されなければならない。調査時点では、この方式は IETF ドラフトのままだ。Pebble は実験をサポートし、Let’s Encrypt はステージングと本番の計画を説明していたが、本番展開の完了に関する決定的な公式発表は確認されなかった。したがって、これは普遍的な現在の機能ではなく、新興の統制として扱うべきだ。

ARI と DNS-PERSIST-01 を合わせると、証明書管理が発行を超えて継続的な認可へ移行していることが分かる。難しい問題は、誰が更新できるか、更新がいつ発生すべきか、資格情報がどのように保護されるか、CA が事故の際に分散したクライアント群をどのように誘導できるか、そしてすべての加入者の展開システムに責任を持つことなくそれをどう行うか、である。

OCSP 終了は一つの層を簡素化し、別の層を拡大した

Let’s Encrypt は2025年8月6日に Online Certificate Status Protocol（OCSP）サービスを終了した。ピーク時には月間約3,400億リクエストを処理していた。この規模は相当なインフラコストを生み、各照会はクライアントの IP アドレスと、証明書がチェックされているサイトを明らかにし得た。ISRG は、運用上およびプライバシー上の負担はもはや正当化されないと結論づけた。

サービスは現在、証明書失効情報を証明書失効リスト（CRL）を通じて公開する。CRL はキャッシュされ、一括で配布でき、訪問者ごとの CA への照会を避ける。発行者側のオンラインアーキテクチャを簡素化し、プラットフォームベンダーが独自のシステムを通じて失効データを集約または配布することが増えているブラウザエコシステムに適合する。

トレードオフは鮮度と依存者の挙動に関する。リストは大きくなり得、クライアントはそれを取得して処理しなければならず、プラットフォームは異なる間隔で更新し得る。OCSP の終了は失効を不要にしなかった。配布メカニズムを変え、リストを消費するブラウザと OS により多くの責任を移した。

Let’s Encrypt のより広い戦略は、短期の有効期間と迅速な更新を通じて失効への依存も減らす。侵害された6日証明書は、90日証明書よりも自然な露出期間が短く、ARI は失効前に交換を促すことができる。失効期限切れは依然として即時の対応ではなく、待てない事故もある。したがって失効は不完全な層であっても、今後も必要だ。

過去の大量事象は、形式的な期限とサービス継続性の間の衝突を示した。2020年には CAA バグが約300万枚の証明書に影響する可能性があり、Let’s Encrypt は多数のサイトを突然壊すのではなく、残る100万枚以上の証明書の即時失効を延期した。2022年1月には TLS-ALPN 検証エラーにより約270万件の失効が起きた。適合性、リスク低減、可用性は単純な一つの答えを指し示さなかった。

OCSP の終了は、ステータス管理の終わりではなく、アーキテクチャの簡素化として理解されるべきだ。システムは現在、CRL 配布、プラットフォーム統合、短期有効期間、協調的な更新に、より大きく依存している。それがより良く機能するかどうかは、CA の減少したリクエスト量だけではなく、完全な依存者エコシステムに依存する。

Sunlight は透明性の運用コストを下げる

Certificate Transparency（CT）は、公開信頼証明書を追記専用ログに提出することを要求する。ログにより、ドメイン所有者は発行を監視でき、ブラウザは証明書がログに記録された証拠を要求でき、研究者は誤発行と PKI の挙動を調べるための公開データセットを得る。Let’s Encrypt は2019年から公開 CT ログを運営しており、ISRG は主要な証明書発行者であると同時に、別の信頼インフラ層の運営者でもある。

従来の CT システムは、多くの場合、データベースを使用する読み取り API に依存し、ストレージ、クエリ容量、一貫性制御、相当な運用支援を必要とする。Let’s Encrypt は2024年3月に Sunlight を静的タイル構成として導入した。マークルツリーは、オブジェクトストレージに置けるファイルまたはオブジェクトで表現され、CDN でキャッシュされ、圧縮され、独立してミラーリングできる。

書き込み経路は意図的に単純である。単一のライターが compare-and-swap 保護を使ってチェックポイントを進める。Let’s Encrypt の設計論は、CT はすでに証明書を複数の独立したログに提出することを要求しており、エコシステムレベルの冗長性はすべてのログを複雑な分散データベースにすることの代替になり得る、というものだ。一つのログが失敗しても、他は包含を提供し続け、失敗したサービスはより単純な状態から回復できる。

これは ISRG のエンジニアリング手法の特徴である。暗号データ構造と独立した運用者を使って、各サービスの複雑さを減らす。この設計は、すべての静的タイルログがすべてのブラウザプログラムに受け入れられることや、すべての障害モードが消えることを保証しない。ログプログラムは依然として鍵管理、運用者の挙動、最大マージ遅延、監視、可用性を評価する。

Sunlight はまた、組織の経済的制約に対処する。無料の認証局は、サービス群を拡大し続けるのではなく、隣接する公共インフラを簡素化することでコストを削減できる。静的オブジェクトはキャッシュ、ミラーリング、検査が容易だ。この設計が Let’s Encrypt を超えて採用されれば、追加のログ運用者の参入障壁を下げ、多様性を高める可能性がある。

したがって戦略的な試練は、アーキテクチャの優雅さではなく採用である。Sunlight は、ブラウザプログラム、他の CA、監視者、独立運用者が、別の隠れた中央依存を再現せずに本番で使用して初めて公共インフラになる。

マークルツリー証明書は異なる耐量子経路を提案する

耐量子署名はウェブ PKI にサイズ問題を生む。将来の量子攻撃に耐えるよう設計されたアルゴリズムは、一般的に現在の ECDSA や RSA システムよりも大きな公開鍵と署名を使用するからだ。従来の X.509 チェーンのすべての署名を置き換えると、TLS ハンドシェイクが大きくなり、何十億もの接続で帯域幅と遅延が増加する可能性がある。

2026年6月、Let’s Encrypt はマークルツリー証明書（Merkle Tree Certificates）を中心とするプログラムを発表した。個々の証明書すべてに大きな耐量子署名を付ける代わりに、発行者は多数の証明書をマークルツリーに入れ、共通のチェックポイントに署名し、各証明書にコンパクトな包含証明を提供できる。このモデルは、繰り返される署名のオーバーヘッドを減らし、透明性を発行構造に統合できる。

ロードマップは2026年後半のステージングと2027年の本番対応環境を目標としていた。これらは完了した展開ではなく計画だった。調査時点で、通常の加入者は従来の証明書を受け取り続け、ブラウザサポート、プロトコル標準化、クライアントの挙動、相互運用性は外部依存のままだ。

MTC は、ISRG が既存の CA の内部のアルゴリズムを置き換えるだけでなく、その周囲の形式自体に疑問を投げかける用意があることを示す。直接の耐量子置換は従来の X.509 意味論を維持できるが、永続的なサイズコストを課す。ツリーベースのシステムは発行、証明配布、依存者の検証を変え、より困難な移行を要求するが、ネットワーク経済性はより良い可能性がある。

主なリスクは調整である。証明書形式が有用であるのは、サーバーがそれを取得して提示でき、ブラウザが検証でき、標準化団体が仕様化でき、フォールバックの挙動がダウングレードや互換性の問題を導入しない場合だけだ。従来の X.509 と新しいメカニズムは何年も共存する必要があるかもしれず、すでに複雑な信頼システムに別のデプロイとチェーン選択の問題を追加する。

ISRG の運用規模は、実発行パターンに対して提案をテストし、ステージングインフラを構築できるため、利点を与える。その権限は、発表によってウェブに MTC を採用させられないため、限定的だ。このプログラムは、ブラウザ、サーバー、標準化、暗号コミュニティ間の独立した収束に依存する。

事故は規模と学習モデルの両方を明らかにする

Let’s Encrypt の歴史には、その成長と同じくらい明確に限界を定義するいくつかの事故がある。TLS-SNI-01 は、共有ホスティングの挙動が不正な検証経路を作ったため、2018年1月に無効化された。2020年2月の CAA 再チェックバグは、大規模な置き換えと失効プログラムにつながった。2022年1月の TLS-ALPN 検証エラーは約270万件の失効を引き起こした。2025年7月には DNS 依存関係がデータセンター全体で約8時間の完全な API 停止を引き起こした。Generation Y のクロス証明書は、EKU 制約の欠落のため2026年5月に交換されなければならなかった。

これらの出来事は、それ自体では Let’s Encrypt が特別に信頼性に欠けることを立証しない。この規模で発行するサービスは、まれな相互作用を露呈し、ルートプログラムとセキュリティ研究者による厳しい監視に直面する。より適切な試練は、組織が失敗を検出し、開示し、封じ込め、そこから学ぶ方法だ。

記録は、事故詳細の繰り返しの公開、影響を受ける発行の停止、交換ツール、アーキテクチャまたは手順の変更を示している。また、形式的な適合性と運用継続性が衝突し得ることも示す。即時失効は期限を満たすかもしれないが、更新していない運用者のサービスを壊す。遅延失効は可用性を維持するかもしれないが、影響を受ける可能性のある証明書を有効なままにし、監視を招く。

自動化は結果と回復の両方を増幅する。一つの欠陥が何百万枚もの証明書に影響し得る一方、同じ自動化が手動システムよりも速く証明書を交換できる。ARI は部分的に、大規模な交換を調整する必要性から発展した。多視点検証と DNSSEC 要件は、ネットワーク経路と DNS の挙動が証明書検証を損なう可能性があるという認識を反映している。

専門の利用者はしたがって、CA だけが責任当事者だと見なすのを避けるべきだ。運用者には更新監視、最新のクライアント、テスト済みのフェイルオーバー、信頼できる連絡先、インシデントチャネルの認識が必要だ。ルートプログラムには比例した規則と証拠が必要であり、ISRG には共有依存関係が失敗したときも使用可能な監視と回復システムが必要だ。公共信頼は、事故を排除できるという想定ではなく、目に見える失敗と再発の低減によって支えられる。

Prossimo は安全なコードから採用までの困難な道のりに資金を供給する

Prossimo は別の種類のインフラリスク、すなわちメモリ安全性を強制しない言語で書かれたソフトウェアのメモリ破壊に対処する。解放後使用、バッファオーバーフロー、無効なポインタアクセスは、何十年にもわたり TLS ライブラリ、DNS ソフトウェア、オペレーティングシステム、特権管理ツール、コーデックに影響を与えてきた。重要コンポーネントの書き直しはこのカテゴリの欠陥を減らせるが、作業は高価で、共有される受益者には単独で資金を出そうとするインセンティブがないことが多い。

ISRG 理事会は2020年12月9日にメモリ安全プロジェクトを承認し、Prossimo は2021年に公に確立された。このプログラムは、インターネットを書き直すための単一の中央チームを雇うものではない。重要なコンポーネントを特定し、イニシアチブを定義し、専用資金を集め、保守者や専門エンジニアリング企業と契約し、監査とツールの費用を支払い、パッケージングと互換性を支援し、結果を実際の展開に移そうとする。

技術的な完成は採用と同じではないため、運営モデルが重要だ。Rust 実装はメモリ安全かもしれないが、既存アプリケーションが必要とする API を欠いているかもしれない。性能が異なり、C インターフェースが必要で、パッケージングが必要か、制約された環境で失敗するかもしれない。Prossimo はしたがって、プロトタイプとデフォルトインフラの間にある地味な作業、すなわち互換層、ベンチマーク、セキュリティ監査、no_std動作、配布統合、保守者の引き継ぎに資金を供給する。

このプログラムは広いネットワークを通じて機能する。資金提供者には AWS、Sovereign Tech Agency、Alpha-Omega、Google、Cisco、Cloudflare、Shopify、ICANN などが含まれてきた。請負業者とパートナーには Ferrous Systems、Tweede Golf、Rust Foundation、Trifecta Tech Foundation が含まれてきた。これらの関係は、ISRG をすべての成果プロジェクトの所有者にするものではない。著作権、ガバナンス、保守は独立したコミュニティに残るか、専門財団に移ることがある。

Prossimo は何よりも採用エンジンとして理解するのが最善だ。断片化した受益者が共通インフラに容易に資金を出せないところに資本と調整を集中させる。その成功は、発表されたイニシアチブの数ではなく、実装が監査され、パッケージ化され、展開され、維持され、最終的に普通の選択肢として扱われるかどうかで測られるべきだ。

Rustls は安全なコードにも互換性エンジニアリングが必要な理由を示す

Rustls は Prossimo の最も発展したイニシアチブの一つだ。Rust で書かれた TLS 実装であり、メモリ安全性を提供しつつ、現代の暗号要件と運用要件を満たすよう設計されている。ネイティブの Rust API だけでは成熟したライブラリを置き換えるのに十分ではないため、作業には C インターフェース、OpenSSL 互換層、非同期サポート、no_stdおよび no-allocation モード、FIPS 対応の暗号オプション、耐量子鍵交換が含まれてきた。

各機能は異なる採用障壁に対処する。C 互換性により、既存ソフトウェアは Rust で書き直さずにライブラリを使用できる。OpenSSL 互換性は、見慣れた API を仮定するアプリケーションを対象とする。no_stdは完全な OS 標準ライブラリを持たない環境をサポートし、no-allocation 作業は制約のあるシステムに役立つ。FIPS サポートは規制された展開で重要であり、性能エンジニアリングは、理論的な安全性と引き換えに実質的なインフラペナルティを受け入れたくない運用者に対応する。

Prossimo は好意的なベンチマークを公表してきたが、その結果は普遍的な証拠としてではなく、帰属されたものとして留まるべきだ。TLS 性能は、アルゴリズム選択、ハードウェア、レコードサイズ、並行性、セッション再利用、アプリケーション統合に依存する。あるライブラリがあるテストでリードしても、別の場所で互換性や運用上の限界に遭遇し得る。

ガバナンスの移行はコードと同じくらい重要だ。2025年、Rustls は Rust Foundation の Innovation Lab で最初のホスト型プロジェクトになった。この動きは、一連の ISRG 契約を超えた永続的な居場所を提供し得る。これは望ましい Prossimo ライフサイクルを反映している。不足している作業に資金を供給し、採用障壁を下げ、保守者と利用者が継続できる場所に管理を移す。

Rustls は、メモリ安全性が言語の選択と同じくらい制度上の問題である理由を示す。実装は信頼できなければならないが、周囲のエコシステムがそれを採用できなければならない。Prossimo は、より安全なライブラリを実用的なインフラオプションにするインターフェース、監査、組織関係、展開の証拠に資金を供給する。

本番採用は成熟した作業と資金提供された野心を分ける

最も明確な Prossimo の成果は、開発から本番へ移行したプロジェクトだ。ntpd-rsイニシアチブは、サーバー、クライアント、Network Time Security（NTS）サポートを備えたメモリ安全な Network Time Protocol 実装に資金を供給した。外部監査を受け、Trifecta Tech Foundation に管理が移り、Fedora と Ubuntu のパッケージを獲得し、2024年6月に Let’s Encrypt のインフラに入った。

この順序は、時刻同期が証明書、ログ、認証、分散システムにとって隠れた依存関係であるため重要だ。新しいデーモンは、運用者がその精度を信頼し、通常のパッケージでインストールでき、実行する意思があるときにのみ有用になる。ntpd-rsを展開することで、ISRG は資金を提供したセキュリティ作業の単なる助成金管理者ではなく、採用者になった。

sudo-rsは配布レベルの例を提供する。Canonical は Ubuntu 26.04 LTS でそれをデフォルトの sudo 実装にし、元の実装を互換性フォールバックとして保持した。これは採用の強い証拠だが、完全な機能パリティの証明ではない。フォールバックは、成熟したツールが、置換がまだ再現しないかもしれないプラグイン、ワークフロー、文書化されていないエッジケースを蓄積することを認識している。

2022年にマージされ、関連資金に支えられた Linux カーネルの Rust サポートは、より広いエコシステムの節目だ。選択されたドライバとモジュールが、既存の C コードを置き換えずにメモリ安全言語で書けるようにする。利益は将来に向けたものだ。新しいコンポーネントは、大きなレガシーシステムの一部でありながら、一部の種類のメモリエラーを避けることができる。

Hickory DNS はより慎重なケースのままである。このプロジェクトは、DNSSEC、NSEC3、機会暗号化、監査、本番対応作業を備えた高性能な再帰リゾルバを Rust で開発している。Prossimo は Let’s Encrypt のクエリ量への準備を説明してきたが、完了した移行は調査時点で確認されていなかった。資金提供された実装、監査、展開計画、運用サービスは別々の証拠段階のままである。

これらのプロジェクトは一緒に、Prossimo が標準化しようとしている採用のはしごを定義する。構築し、監査し、パッケージ化し、要求の厳しい環境に展開し、管理を移転し、制御されたフォールバック付きで安全なコンポーネントをデフォルトにする。プログラムの長期的価値は、新しい書き直しを発表するよりも、この進展をより頻繁に繰り返すことに依存する。

メモリ安全性はある種の障害を狭める

メモリ安全言語は、通常のコードで安全でない状態を表現しにくくまたは不可能にすることで、多くの無効アクセス、解放後使用、バッファエラーを防ぐことができる。この削減は、攻撃者が制御する入力を日常的に処理するインフラのパーサーとプロトコルエンジンで貴重だ。

メモリ安全性は完全なソフトウェアセキュリティではない。Rust 実装にも、ロジックエラー、暗号の誤用、サービス拒否の弱点、unsafe ブロック、依存関係の選択ミス、特権の誤り、相互運用性の欠陥が含まれ得る。書き直しは古い種類のバグを除くと同時に新しい挙動を導入し得る。レビュー、ファジング、監査、再現可能ビルド、依存関係ガバナンス、慎重な移行が依然として必要だ。

互換性は別のリスク源を作る。成熟した C コンポーネントは、形式インターフェースに完全には文書化されていない何十年もの挙動を露呈することが多い。アプリケーションは、置換が再現しないエラーコード、タイミング、設定構文、プラグイン規約に依存し得る。理論的には正しいが運用上互換性のないメモリ安全実装は、採用に失敗するか、移行中に停止を引き起こすかもしれない。

Prossimo のプログラム設計は、C API、OpenSSL 互換性、パッケージング、段階的デフォルトに資金を供給することでこれを認識する。また経済的疑問も提起する。エコシステムは既存コードの強化を続ける代わりに、いつ書き直しに資金を出すべきか。答えは脆弱性の履歴、保守者の容量、インターフェースの安定性、新しい実装が永続的な管理を引き付けられるかどうかに依存する。

ポートフォリオには Rustls、Hickory DNS、sudo-rs、su-rs、ntpd-rs、rav1dAV1 デコーダ、メモリ安全な zlib 作業、Rust for Linux、River リバースプロキシ、Apachemod_tls、選択された curl 作業が含まれる。成熟度は大きく異なり、プロジェクトをまとめて列挙することは、すべてが本番対応であるとか、ISRG が統治しているという意味ではない。

擁護できる評価は、Prossimo が繰り返し可能な資金供給と採用の方法を構築したことであり、メモリ安全でないインフラが消える保証ではない。その貢献は、一般的な政策選好を、保守者、監査、インターフェース、展開目標を持つプロジェクトに変換することだ。最終的な結果は、数年にわたるデフォルト、パッケージ使用、継続性、脆弱性の露出に見えてくるだろう。

Divvi Up は不要な平文を収集しない

Divvi Up は従来のテレメトリのプライバシーコストに対処する。ほとんどの分析システムは個々のイベントを一つの組織に送り、その組織は平文レコードを保存し、後で集計する。望ましい結果が単純なカウントや合計であっても、収集者は最終的な質問が必要とするよりも豊かなデータセットを受け取ることが多い。

Divvi Up はそのアーキテクチャを変える。クライアントは Verifiable Distributed Aggregation Function（VDAF）を使用して測定値を暗号化されたシェアに分割する。一つのシェアはリーダーアグリゲーターへ、もう一つはヘルパーへ送られる。どちらのサーバーも元の測定値を平文で受け取らない。各サーバーは部分集計を計算し、コレクターが部分結果を組み合わせて人口全体の統計を得る。

プライバシー保証は制度的分離に依存する。少なくとも一つのアグリゲーターが正直に行動し、両方が共謀しなければ、どちらもシェアから個々の測定値を再構成できない。両方が共謀するか、一つの組織が実質的に両方を支配すれば、主要な前提は崩れる。Divvi Up はしたがって、組織的独立を暗号設計の一部にする。

ISRG は2020年10月にプロジェクトを承認し、11月に ISRG Prio Services を発表した。最初の実運用は2020年12月、COVID 曝露通知システムのプライベート分析を支援した。サービスは2021年12月に Divvi Up と改名され、後にブラウザ、人権、アプリケーションのテレメトリへ拡大した。

このモデルは Let’s Encrypt とは異なる。証明書加入者は ISRG に支払わないが、Divvi Up は組織に有償パイロットと本番サービスを検討するよう勧める。この製品は、オープンプロトコル、オープンソース実装の Janus、非営利運営のアグリゲーターを商業関係と組み合わせる。その収益はミッションを支え得るが、信頼性、データガバナンス、サービスレベル、カスタマーサポートに関する期待も生む。

Divvi Up の主な提案は、データ収集がリスクなしになるということではない。アプリケーションが事前にどの集計を必要とするかを決め、個々の平文測定値の中央ストアを構築しないようにできる、ということだ。その制約は将来の分析的柔軟性を減らすが、プライバシーと漏えいリスクの重要な源泉も取り除く。

プライバシーは単一のプロトコルではなく全体の展開に依存する

Divvi Up は異なる問題を解決するいくつかの層を組み合わせる。Verifiable Distributed Aggregation Functions は、測定値がどのように分割され、検証され、集計されるかを定義する。Prio3 は一般的なカウント、合計、ヒストグラムをサポートし、他のファミリーはより専門的なタスクを対象とする。検証は、悪意のあるクライアントが最終集計を壊す不正な値を提出できないようにするために重要だ。

Distributed Aggregation Protocol（DAP）は、レポートのアップロード、集計ジョブ、リーダーとヘルパー間の通信、収集、エラー処理を調整する。調査時点では、DAP は2026年7月6日付の Internet-Draft 19であり、VDAF は2026年6月24日付の IRTF ドラフトバージョン20だった。これらは最終 RFC ではなく進行中の標準化作業であり、ワイヤ形式と意味論は今後も変わり得る。

Janus は ISRG の DAP の Rust 実装で、Divvi Up を支えている。それは活発に開発中であり、Prio3 を含む自明な集計パラメータを持つ VDAF をサポートしていた。Mastic など、非自明なパラメータを持つすべてのスキームをサポートするわけではなかった。したがって組織は、必要な正確な測定に対して実装を評価しなければならない。

DAP は集計中にレポート内容を保護するが、ネットワークメタデータを自動的に隠すわけではない。アグリゲーターは依然としてクライアント IP アドレス、リクエストタイミング、タスク参加を見るかもしれない。Oblivious HTTP はクライアントとアグリゲーターの間に独立したリレーを置き、リレーは接続を見るが暗号化された宛先内容は見ず、アグリゲーターは元のネットワークアイデンティティなしでレポートを見る。リレーとアグリゲーターは運用上分離されたままでなければならない。

分散集計も、結果からのあらゆる推論を防げない。非常に小さなグループに対するクエリや、繰り返される重複クエリは、個々のレポートが公開されなくても情報を明らかにし得る。差分プライバシーは制御されたノイズを加え、クエリを制限し、プライバシー予算を追跡できるが、統計精度を犠牲にする。

これらの統制は一つの主張にまとめるべきではない。展開は OHTTP なしで DAP を使用するか、差分プライバシーなしで非公開集計を使用するかもしれない。最終的なプライバシー特性は、プロトコルバージョン、アグリゲーターの独立、リレー分離、バッチサイズ、クエリポリシー、暗号実装、組織的統制に依存する。Divvi Up はアーキテクチャとサービスを提供するが、各顧客は対処しようとする脅威モデルを定義しなければならない。

本番の証拠は存在するが、市場は依然として狭い

Divvi Up の最初の運用段階は曝露通知分析に結びついていた。ISRG は2022年までにサービスが400億以上の指標を処理したと報告した。この数字は組織報告だが、分散集計が実験室のプロトタイプを超えて運用されたことを示す。

後の展開はより示唆的だ。Horizontal は最初に公表された本番加入者となり、人権と機密通信に関連するアプリケーションでサービスを使用している。Mozilla は Firefox テレメトリに、Mozilla 運営のアグリゲーターと並んで ISRG 運営のアグリゲーターを使用する。この構成は非結託モデルを反映する。2つの組織が別々のシェアを処理し、どちらも元の測定値を受け取らないべきだからだ。

ISRG はまた Tinfoil と、Flower フェデレーテッドラーニングエコシステムとのプロトタイプ統合を挙げている。Flower の作業は、ローカルデータを中央集権化せずに人口レベルの情報を必要とする機械学習システムでの潜在的な役割を示唆する。それは成熟した本番市場の証拠というよりは、依然としてプロトタイプだ。

これらの例は、従来のテレメトリが例外的な信頼リスクを生むところで、非公開測定が最も魅力的な理由を示す。ブラウザは機密のユーザー行動を観測し、人権アプリケーションはデータが公開されるとユーザーを危険にさらし、公衆衛生システムは中央の移動記録を作らずに人口統計を必要とする。フェデレーテッドラーニングは生の例を収集せずに集約シグナルの恩恵を受けるかもしれない。

このアーキテクチャは製品管理も変える。従来の分析チームは詳細なイベントを収集し、後でどのクエリを実行するか決められる。Divvi Up は、チームが集計関数を選び、バッチを定義し、プライバシー閾値を設定し、収集されなかった詳細は回復できないことを受け入れることを要求する。したがって技術はデータを保護するのと同じくらい、組織の好奇心も制限する。

公開された顧客の証拠は依然として不完全だ。ISRG は完全な加入者一覧、トラフィック量、サービスレベル記録、各展開の詳細なケーススタディを公開していない。Firefox と Horizontal は意味のある本番シグナルだが、広範な市場採用を確立しない。次の段階は、より多くの組織がデータ露出を減らす代わりに統合コストを受け入れるかどうかで決まる。

有償のプライバシー基盤はまだその経済性を証明していない

Divvi Up は ISRG を完全に寄付支援型と説明するのを複雑にする。そのウェブサイトは有償パイロットと本番サービスを提供し、価格は非公開のままである。ISRG の監査前2025年1月～10月の数字では、Divvi Up は収益の9%、支出の19.2%を占めた。

これらの割合は収益性を確立しない。報告書は基礎となるドル配分、共有間接費の扱い、顧客集中、プロジェクトを支援する制限付き助成金の額を開示しなかった。9%の収益シェアは有用な多様化を示すかもしれないが、サービスの運用・開発コスト全体をカバーするわけではない。

商業モデルには実用的な利点がある。支払いはサービス容量を顧客需要と一致させ、年間助成金への依存を減らすことができる。本番契約は信頼性、統合、サポートに関する直接のフィードバックを生み、オープンエコシステムに利益をもたらすプロトコルエンジニアリングに資金を供給する。

また緊張も生む。非営利組織は、どの機能が支払う顧客に役立ち、どれが公開標準を前進させるかを決めなければならない。非公開価格は市場アクセスを評価しにくくし、少数の大口加入者が運営上または財務上影響力を持つようになるかもしれない。2アグリゲーター設計はまた、別の信頼できるプロバイダーとの協力を必要とし、単一ベンダーソリューションとして販売するのを難しくするかもしれない。

Divvi Up はしたがって、プライバシーが後付けのコンプライアンス機能ではなくインフラ特性として売れるかどうかの試練だ。その代替には、中央集権的分析、内部の安全計算システム、ローカル差分プライバシー、指標をまったく収集しないという決定が含まれる。

財務的に意味のあるサービスは、ISRG に直接的な顧客価値に結びついた経常収益を与えるかもしれない。補助金依存のままの専門サービスは、標準を前進させ、高リスクアプリケーションを可能にすれば、戦略的に有用であり続けるかもしれない。現在の証拠はそれらの結果の間の選択を支持しない。関連する尺度は、有償の本番ユーザー、プロトコル安定性、独立したプライバシーレビュー、運用信頼性、収益がより広いミッションをどのように支えるかの明確な会計だ。

デジタルアイデンティティはまだ運用サービスではなく研究段階

ISRG の現在の研究は、そのプライバシーへの関心を機械テレメトリから人間のクレデンシャルへ広げる。同組織は Google に関連するゼロ知識証明システム Longfellow のオープンソース Rust 実装を開発している。作業は SIROS Foundation と共同で進められ、wwWallet として知られる欧州デジタルアイデンティティ構想の PKI バックエンドを支援することを意図している。

目的は選択的開示だ。ユーザーは、年齢の閾値以上であるとか、ライセンスを保持しているなど、既存のクレデンシャルに関する命題を、クレデンシャルのすべてのフィールドを提示せずに証明できる。ゼロ知識証明は、検証者が受け取り保持する個人データの量を減らせる。

これは成熟した ISRG アイデンティティサービスというより、依然として研究と実装作業だ。システムは、組織外のクレデンシャル発行者、ウォレット、検証者ソフトウェア、信頼レジストリ、失効システム、標準に依存する。暗号証明は署名付きクレデンシャルが特性を含むことを確立できるが、元の発行者が健全なアイデンティティプロセスを実施したかどうかは確立できない。

この作業はまた、クレデンシャルの寿命がウェブ証明書を超える可能性があるため、耐量子の考慮を導入する。ISRG のマークルツリー証明書プログラムと Longfellow 研究はしたがって、より広い移行の異なる部分に対処する。一つはインターネット規模でのサーバー認証、もう一つは人間のクレデンシャルからの最小限の開示だ。

アイデンティティは最終的に別の運用プロジェクトになるかもしれないが、利用可能な証拠はその決定がなされたことを示さない。慎重な説明は、概念実証実装と計画された統合関係を持つ新興研究分野である。その関連性は、それが反映する制度的テーゼにある。信頼インフラが過剰なデータを収集したり不必要なコストを課したりする場合、オープンな暗号システムと公益運営者がデフォルトを変えられるかもしれない。

小規模な理事会がいくつかの影響の大きいシステムを監督する

ISRG の現在の公開理事会は8人の理事を記載している。Josh Aas、Vicky Chin、Jennifer Granick、J. Alex Halderman、Pascal Jaillon、David Nalley、Erica Portnoy、Christine Runnegar だ。彼らの所属は、組織を ISRG 自体、Mozilla、ミシガン大学、OVHcloud、Amazon、EFF、独立した法律または政策専門知識と結びつける。Christine Runnegar は2025年度年次報告書で理事会議長とされ、現在の理事会ページは役職名を再記載せずに理事として彼女を保持している。

年次報告書の後に名簿は変わった。Cisco の Richard Barnes と Aanchal Gupta は報告書に記載された10人の理事のうちにいたが、ライブページにはもはや表示されなかった。公開された退任発表や正確な発効日は確認されなかった。その不在は不正行為を意味しないが、透明性のギャップを示す。現在の構成員は見える一方、移行の時期と理由は明らかにされないかもしれない。

Josh Aas は事務局長のままである。2025年報告書はまた、財務、法務、発展、人事、エンジニアリングのリーダーシップを特定したが、多くの職員は名のみで提示された。ISRG はリモート・分散型であり、サンフランシスコとミネアポリスの住所は法務または郵便の機能を果たし、大規模な中央運営拠点を示すものではない。

外部の統制が内部ガバナンスを補強する。Let’s Encrypt は証明書ポリシーと運用声明を公開し、WebTrust 監査を受け、事故を報告し、ルートプログラム要件の下で運用する。オープンソースソフトウェアと標準参加は技術的決定を見えるようにする。これらのメカニズムは理事会の説明責任を置き換えないが、誤りに異議を唱えられる独立した監視者を作る。

小規模チームモデルは依然として重大なリスクだ。CA 運用、HSM、暗号、標準、信頼性の専門知識は比較的少数の人に集中している可能性がある。ポートフォリオの成長はまた、法務、エンジニアリング、財務、運用容量を異なる方向に引っ張り得る。理事会の監督はしたがって、組織が隠れた一人依存や共有サービス依存を作らずに、いくつかの影響の大きいシステムを支えられるかどうかを評価しなければならない。

ISRG はエコシステムを所有せずに関係を調整する

ISRG の関係ネットワークは広範だが、メカニズムは異なる。Mozilla、EFF、ミシガン大学は設立連合に属した。Cisco と Akamai は初期の資金またはインフラを供給し、IdenTrust はクロス署名を提供した。Apple、Google、Microsoft を含むブラウザおよび OS 企業は、ルートプログラムまたは依存者関係者として行動する。誰も ISRG を所有しない。

標準関係も分散している。Internet Engineering Task Force（IETF）は ACME を RFC 8555、ARI を RFC 9773として作成し、DNS-PERSIST-01 はドラフトのままだった。IETF の Privacy Preserving Measurement ワーキンググループは DAP を開発し、Internet Research Task Force（IRTF）は VDAF を開発し、CA/Browser Forum は公開 TLS 証明書のベースライン要件を定める。ISRG は参加し実装するが、これらの団体を一方的に支配しない。

Prossimo は資金提供者、請負業者、下流の管理者を通じて機能する。AWS、Sovereign Tech Agency、Alpha-Omega、Google、Cisco、Cloudflare、Shopify、ICANN がイニシアチブを支援し、Ferrous Systems と Tweede Golf がエンジニアリング作業を請け負ってきた。Rust Foundation は Rustls をホストし、Trifecta Tech Foundation はntpd-rsを管理する。Canonical のsudo-rs採用は、ISRG への買収や支配移転ではなく、配布関係だ。

Divvi Up は別の一連の機関に依存する。Mozilla は2番目の Firefox アグリゲーターの加入者かつ運営者であり、Cloudflare は関連プロトコル作業に貢献する。Open Technology Fund、Ford Foundation、Internet Society Foundation、Meta などの支援者がプライバシー計測に資金を提供してきた。Horizontal は本番ユーザーであり、SIROS と wwWallet は新興アイデンティティ研究を欧州デジタルアイデンティティエコシステムにつなぐ。

ISRG の制度的スキルは、所有権を主張せずに調整することだ。別の主体がブラウザ、DNS ゾーン、配布、ソフトウェアプロジェクト、または2番目のアグリゲーターを制御する一方で、同組織は法的容量、資金調達、エンジニアリング、サービス運用、標準参加を提供し得る。これは垂直統合を減らすが、継続的な整合に依存する。したがってすべての関係は、資金、信頼決定、実装、ガバナンス、サービス利用、標準権限というメカニズムによって理解されなければならない。

財務回復は資金変動をなくさない

ISRG の収益は2014年の約100,400ドルから2024年の9,563,960ドルへ成長した。2024年 Form 990は支出7,925,896ドル、増加1,638,064ドル、年末純資産5,110,071ドルを報告した。総資産は6,887,136ドル、負債は1,777,065ドルだった。準備金は小規模非営利組織としては重要だが、運営するサービスの結果に比べれば控えめだ。

年間パターンは不均一だ。収益は2022年まで増加し約808万ドルに達した後、2023年に516万ドルへ落ち込み、支出は781万ドルに達した。結果として生じた265万1,888ドルの赤字は純資産を339万ドルに減らした。収益は2024年に力強く回復し、組織を黒字に戻した。

この変動は、Let’s Encrypt の利用料ではなく、スポンサーシップ、寄付、助成金に基づくモデルを反映する。ISRG の監査前2025年1月～10月のチャートは、収益の40%をスポンサーシップ、24%を助成金、23%を寄付、9%を Divvi Up、4%を利息と配当に帰した。支出は Let’s Encrypt に50.8%、Divvi Up に19.2%、発展に12.3%、運営・管理に11%、Prossimo に6.8%配分された。

これらの数字は、資金調達が裁量的な間接費ではなくインフラ運用の一部であることを示す。無料証明書サービスには加入者向け請求関係がないため、発展はリソースを消費する。また、より混在した収益モデルを示す。慈善支援が中心だが、Divvi Up と投資収入は、ISRG が会計上、寛大さだけで資金提供されているという主張を単純すぎるものにする。

2024年の提出書類は、事務局長 Joshua Aas に対し、報告対象報酬352,850ドルとその他の報酬44,856ドルを報告した。これらの規制カテゴリは基本給与と同一ではなく、Form 990の開示規則の範囲で解釈されるべきだ。その関連性は、個々のプロジェクト予算があまり明確でない組織における報酬の公開可能性にある。

最大の未解決の財務問題は集中と配分に関するものだ。ISRG はスポンサー集中、各プロジェクトの監査済み独立勘定、2025年の割合チャートの背後にある正確なドル価値を公開していない。グローバルなサービスは組織レベルでは健全に見えても、一つのプロジェクトが過小資金のままであるか、一つのスポンサーが異常に重要であるかもしれない。したがって回復力は、最新年度が黒字かどうかだけでなく、代替コスト、事故対応能力、現物支援への依存に対して判断されなければならない。

ポートフォリオは一つの機関が複数の公共財を支えられるかを試す

プロジェクト全体で、ISRG は一貫した方法に従う。従来の製品インセンティブが解決していないセキュリティまたはプライバシーの問題を特定し、オープン標準とオープンソース実装を通じて作業し、ミッションに沿った資金を集め、中立的なサービスが必要な場所でインフラを運用し、組織を超えた採用を求める。

Let’s Encrypt はこのモデルの成熟した形態だ。公開ルート、監査、オープンプロトコル、広範なクライアントエコシステムを持つ無料のグローバルサービス。Prossimo は資金供給と採用の形態だ。ISRG は結果のすべてのコンポーネントを運用するのではなく、安全なコードから実際の展開への道に資金を供給する。Divvi Up はハイブリッドで、オープンな暗号プロトコルとソフトウェアを有償サービスと組み合わせる。デジタルアイデンティティは探索段階のままである。

このアプローチは調整と資金調達のギャップに対処できる。アクセス障壁を下げ、専有的ロックインを減らし、市場がデータを中央集権化したり基本的な信頼機能に課金したりする場所で信頼できる運用者を提供できる。また、複数の互換性のない私的実装を促進する代わりに、資金提供者を共有インフラの周りに整合させられる。

依存をなくすことはできない。Let’s Encrypt はルートプログラム、DNS、BGP、Certificate Transparency、データセンター、加入者自動化に依存する。Prossimo は保守者、ソフトウェア配布、長期的なプロジェクトの居場所に依存する。Divvi Up は独立したアグリゲーター、進化する標準、リレー、顧客統合、クエリガバナンスに依存する。アイデンティティ作業は発行者、ウォレット、検証者システムに依存する。

公益の地位も規模の規律を置き換えることはできない。追加プロジェクトごとに、法務、財務、エンジニアリング、ガバナンス容量への要求が生じる。小規模組織は自動化によってインフラを効率的に立ち上げるかもしれないが、障害対応、知識移転、後継は日常的なトラフィックほど安価にはスケールしない。ISRG は、すべての有望な公益技術を別の恒久サービスを運営する委任と解釈すれば、過度に拡大するリスクがある。

したがって、この組織の長期的な重要性は選択性に依存する。ISRG が運営するサービスを必要とするプロジェクトと、助成金、標準作業、別の財団への移転によってより良く支援されるプロジェクトを区別しなければならない。このモデルの最強の形は、拡大し続ける非営利コングロマリットではなく、いつ運営し、いつ資金を提供し、いつ責任を他に委ねるかを知っている機関だ。

公益インフラは依然として集中した権力を作る

ISRG はいくつかのインフラ層を取り巻く前提を変えた。Let’s Encrypt は暗号化をプレミアム製品ではなく期待されるデフォルトにした。ACME は証明書ライフサイクルの自動化を通常のソフトウェア運用の一部にした。多視点検証は証明書発行をルーティング多様性に接続し、Sunlight は検証可能な静的データを複雑なログシステムの代替として扱い、Prossimo はメモリ安全の提唱を資金提供された採用に変え、Divvi Up は非中央集権型テレメトリをサービスとして利用可能にした。

共通の糸は、不必要な信頼の集中を減らすことだ。ウェブサイト運用者は暗号化に手動の商業関係を必要とすべきではない。より安全な実装は、各受益者が互いの資金提供を待つために失敗すべきではない。分析サービスは、集計だけが必要なときにすべての個別測定値を受け取るべきではない。クレデンシャル検証者は、一つの述語で十分なときにすべての個人フィールドを受け取るべきではない。

それでも ISRG 自身は集中点になる。その CA は膨大な人口のために証明書に署名し、そのサービス選択は運用慣行に影響を与え、その資金決定はどのオープンソースの置き換えが進むかに影響し得る。公益インフラは権力を排除しない。権力が行使されるインセンティブ、統制、レビューメカニズムを変える。

運用者はしたがって、ISRG サービスを背景の便利さではなく本番依存関係として扱うべきだ。ACME アカウント鍵、更新クライアント、DNS レコード、証明書インストール、CRL 消費、事故監視は通常のリスク管理に属する。Divvi Up は明示的なプライバシーモデルと真に分離された処理者を必要とする。Prossimo が資金を提供した置き換えには、他のインフラコンポーネントと同じ技術的・運用上の評価が必要だ。

政策立案者と資金提供者にとって、ISRG は小規模非営利組織が、ソフトウェア、標準、自動化がてこを生むときにグローバルな公共財を作り出せることを示す。その便益は広く共有されるため、このモデルは支援に値する。支援には、プロジェクトコスト、準備金、スポンサー集中、理事会の後継、事故対応容量のより明確な開示が伴うべきだ。

この組織の最も重要な成果は、発行された証明書の数や資金提供されたイニシアチブの数ではない。インフラが日常的になりつつ、オープンで、信頼でき、交換可能で、回復力のあるままでいられるかどうかだ。ISRG のサービスが日常使用で目立たなくなるほど、背後にある機関の重要性は増す。

Internet Security Research Group と公共信頼を担う重責

なぜ重要か

概要