QCon London 2026: Spritely - インターネットの未来のためのインフラストラクチャ

Spritely Institute の執行役員であるクリスティーン・レマー＝ウェバーと、同研究所の CTO であるデビッド・トンプソンは、QCon London 2026 で「Spritity: インターネットの未来のためのインフラストラクチャ」を発表し、ユーザーがコントロールできる新しい基盤技術を用いてインターネットを分散化する Spritely の取り組みについて議論しました。 レマー＝ウェバーはプレゼンテーションを開始する際、現在の立法環境において集中型テクノロジーに何が起きうるか、また分散システムをどのように構築するかを問いかけました。「私たちはどのようにして回復力のあるアプリケーションを構築すればよいのでしょうか？」と彼女は尋ねました。 技術が集中している間は、投資家が投資収益率を求めるまで状況は良好です。その結果、サービスは時間とともに劣化したり、場合によっては消滅したりします。ユーザーには変更に対するコントロール権がありません。 「立法上の濠」とは、集中型プレイヤーを「罰し」、小規模なプレイヤーの参入を事実上阻む可能性がある一連の立法規則のことです。 レマー＝ウェバーは、開発者である私たちが暗号化、フェデレーション（連携）、ローカルファーストソフトウェアを用いてこれらの問題を解決できると主張しましたが、それは時に登り坂のような戦いのように感じられることもあります。 集中型技術は単一の真実の源ですが、脆く、乗っ取られやすいものです。一方、分散型技術は中央サーバーを排除することで回復力とユーザーの自律性を生み出しますが、その分複雑になります。 デッドロック、共有状態、メッセージの順序のために並行処理は困難です。合意形成アルゴリズム、結果整合性、フォールトトレランスのために同期も困難です。クライアント/サーバーネットワークには多くのツールが利用可能である一方、ピアツーピア (P2P) ネットワークには利用可能なツールが少ないため、また業界が集中化のビジネスニーズに焦点を当てているためにインフラストラクチャ構築は困難です。多くのドメインにおける専門知識が必要となるため、断片を組み立てることも困難です。トンプソンが述べたように、「研究論文が多すぎる一方で時間が足りない」のです。 ピアツーピア (P2P) ネットワークでは、新しい開発者がすぐに新しい Web アプリケーションを立ち上げることが容易であり、設定よりも規約を優先する設計哲学を提供します。これがトンプソンに「P2P における Rails はどこにあるのか？」と問わせる要因となりました。 Spritely は、デフォルトで分散型かつ安全な方法でアプリケーションを構築することにコミットしています。しかし、分散型の世界については以下の3つの問いを立てる必要があります： どのようにしてリソースを保護するか？ プロセスはどのように相互に通信するか？ どのようにしてものを名付けるか？ リソースの保護はどう行うか？ 最小権限の原則 (POLA) は、エンティティがそのタスクを実行するために必要なだけの特権を持つべきであり、それ以上持つべきではないと述べています。レマー＝ウェバーとトンプソンは、オンラインゲームを利用するだけでユーザーが自発的に個人情報を一部放棄してしまう事例について議論しました。 アクセス制御リスト（ACL）は、権限の粒度が粗いためリソースを保護する手段としては適切ではなく、特権の付与には管理者が必要となるという集中型の技術です。詳細については「ACLs Don't」というホワイトペーパーをご参照ください。 混同された副官問題（Ambient Authority とも呼ばれます）は、あるエンティティが別のエンティティによってその権限を悪用されることで騙されてしまう現象です。これはゲームアプリケーションにおいて頻繁に発生します。 よく知られたクロスサイトリクエストフォージェリ（CSRF）攻撃では、ユーザーがフォームを通じて悪意のあるリクエストを送信させられ、例えば認証セッションを使用してサーバーに対して実行されてしまいます。これは、フォームに予測不可能なトークンを適用することで防止できます。 キャパビリティとは、指定と権限を結合した、偽造不可能なリソースへの参照です。「もし持っていなければ、使用できない」とトンプソンは述べています。キャパビリティの特性には、細粒度の特権付与、管理者を介さない特権付与、そして必要に応じて特権を取り消す能力が含まれます。 レマー＝ウェバーは、分散型キャパビリティプログラミング環境としてゴブリン（Goblins）を紹介しました。 プロセスはどのように互いに通信するのか？ プロセスは同期および非同期の両方を含む、パラダイムとプロトコルを通じて通信します。 チャンネルベースの通信プロトコルである通信順序プロセス（CSP）は、Go プログラミング言語によって普及しましたが、ロックベースの並行処理よりも使用が容易である一方で、デッドロックに陥りやすいという欠点があります。 アクターは、非同期でのメッセージの受け渡しを可能にし、CSP におけるデッドロックに対して耐性を持ち、キャパビリティへの参照も可能です。 Lemmer-Webber は、以下の Schema コードを用いて、Goblin 内でアクターがどのように相互作用するかを実演しました。 クライアント/サーバーモデルを採用する表現状態転送（Representational State Transfer: REST）プロトコルは集中型であり、アクセス制御リスト（ACLs）を使用します。 双方向通信を提供するリモート手続呼び出し（Remote Procedure Call: RPC）プロトコルは、参照の受け渡しにおいて欠落または不備が生じるという問題を抱えています。 React2Shell（CVE-2025-55182 としても知られる）は、React Server Components のバージョン 19.0.0、19.1.0、19.1.1、および 19.2.0 に存在するリモートコード実行の脆弱性であり、事前認証された攻撃者が HTTP リクエストからサーバー関数エンドポイントへ安全でないペイロードを逆シリアライズすることを可能にします。この CVE の影響を受けるパッケージには、react-server-dom-parcel、react-server-dom-turbopack、および react-server-dom-webpack が含まれます。Carapace のセキュリティ革新責任者である Lachlan Davidson によって作成された、この CVE に対する概念実証（PoC）は、GitHub リポジトリで確認できます。 Lemmer-Webber と Thompson は、相互不信のネットワークにはキャパビリティプロトコルが必要であると主張しました。 オブジェクト・キャパビリティ・ネットワーク（Object Capability Network: OCapN）は、キャパビリティとプロミスに基づく安全なネットワーキングプロトコルであり、トランスポートに依存せず、分散コンピューティングをサポートします。JavaScript、Scheme、Dart による実装が利用可能です。 どのように名付けるか？ Lemmer-Webber と Thompson は、URL は正常に見えるように見えても、文字や数字が置換されているフィッシング詐欺から身を守る方法について議論しました。その例として、paypa1.com と paypal.com の違いが挙げられます。 Zooko の三角形は、Zooko Wilcox-O'Hearn にちなんで名付けられたもので、「ネットワークプロトコルの参加者に名前を与えるためのあらゆるシステムにおける仮説」であり、単一の名前が以下の 3 つの性質のうち 2 つ以上を同時に達成することはできないというものです。 ドメインネーム（Domain Name）の例として qconlondon.com を挙げると、これは人間にとって意味があり安全ですが、分散化されていません。一方、Tor Onion Address は 56 文字の英数字列であり、分散化されており安全ですが、人間が読みやすいものではありません。その例として 2gzyxa5...en53wid.onion が挙げられます。 Lemmer-Webber と Thompson は解決策を提案しました。それは Petnames という技術で、これは人間が読みやすい名前を、安全かつ分散化された名前にマッピングする手法です。 Proposed Names（提案された名前）は自己付与の名前であり、Petnames とは異なる形で表示されますが、名前の衝突の可能性があり、グローバルに一意ではありません。 Edge Names は他の名前空間へのポインタです。例えば、ドメインネームサービス（Domain Name Service）は Edge Name の一種と見なすことができます。 すべてを統合する 一般的に：アクセス制御には Capabilities を使用し、通信には Actors を使用し、命名には Petnames を使用するべきです。 これらのリソースを一般大衆に届けるためには、Web での展開が不可欠です。誰もがブラウザを持っており、主要なプラットフォームは消滅するか、ロックダウンされる傾向にあります。 Lemmer-Webber と Thompson は、Hoot を紹介しました。これは Spritely の WebAssembly (Wasm) コンパイラおよび自己完結型ツールチェーンであり、Wasm 3.0 仕様をサポートし、Scheme から Wasm への変換を行い、主要なすべてのブラウザと NodeJS に対応しています。 Lemmer-Webber と Thompson は最後に、インターネットは公共事業プロジェクトであり、民主主義の存続には立法環境が重要であると結論付けました。 著者について Michael Redlich Michael Redlich は、過去 25 年間にわたり Java コミュニティ内で活発に活動しています。彼は 2001 年に Garden State Java User Group（旧 ACGNJ Java Users Group）を設立し、現在も継続して運営されています。 2016 年以来、Mike は InfoQ の Java コミュニティニュース編集者を務めており、その貢献には月次ニュース記事、技術文書の作成、技術レビューが含まれています。Oracle Code One、Enterprise Emerging Technologies、Trenton Computer Festival (TCF)、TCF IT Professional Conference、および多数の Java User Group などで登壇しています。Mike は Jakarta NoSQL および Jakarta Data の仕様におけるコミッターを務め、Jakarta EE Ambassadors のリーダーシップ評議会にも参加しています。彼は 2023 年 4 月に Java Champion に選出されました。 33年半にわたる勤務の後、マイクはニュージャージー州クリントンにあるエクソンモービル・テクノロジー&エンジニアリングから最近定年退職しました。同社では、カスタム科学実験室用およびウェブアプリケーションの開発に従事していました。また、Ai-Logix, Inc.（現 AudioCodes）のテクニカルサポートエンジニアとしても経験を積んでおり、顧客向けに技術サポートを提供し、電話通話アプリケーションを開発した実績があります。 Show moreShow less

QCon London 2026: Spritely - インターネットの未来のためのインフラストラクチャ

背景や根拠まで確認しますか？

調べる

選ぶ

サイト