Internet Computer のロードマップガイド：暗号イノベーションの新領域の概要を説明する 25 の動議の提案（日本語訳）
Medium の DFINITY 公式の記事 Internet Computer Roadmap Guide: 25 Motion Proposals Outlining New Areas for Crypto Innovation(2021/12/18) の日本語訳です。
DFINITY Foundation は、将来の R&D 計画を示す一連の主要な動議の提案について、コミュニティのフィードバックと承認を募集しています。
Internet Computer のブロックチェーンは、分裂的なハードフォークとネットワークの分裂を必要とせず、常に自身をアップグレードしています。Network Nervous System (NNS) は、これを可能にする自律的なトークン型統治システムであり、完全にオープンでパーミッションレス、かつ非中央集権的な方法で Internet Computer を制御しています。ICP ユーティリティトークンを投票ニューロンにステーキングすることで、NNS は世界中の誰もがネットワークに提案を提出し、投票できるようにします。採用されれば、その提案は自動的に実行され、ネットワークはリアルタイムに適応できます。
DFINITY Foundation は、Internet Computer のエコシステムに対して、技術的な貢献という形で R&D リソースを投入しています。これらのリソースは、NNS への提案を通じて、コミュニティの議論、投票、採択の対象となります。提案のライフサイクルの各段階で、ニューロンホルダーは、Internet Computer をより効率的、より高速、かつ開発者にとってより使いやすくするための Foundation の取り組みを指示できます。どのようなアップグレードが開始され、どのようなコードが採択されるかは、コミュニティによって決定されます。
2021 年の終わりを迎えるにあたり、Foundation は今後数年間の R&D の計画の概要を説明し、ここ数週間、これらの計画に対するコミュニティの意見とフィードバックを求めています。(詳細な説明は開発者フォーラムをご覧ください。) 各提案の投票を何日もかけて展開するのではなく、12月20日月曜日からすべての提案を含む単一の投票期間を設け、ニューロンホルダーが NNS フロントエンド dapp 内で便利に提案を確認し、すべての投票を記録できるようにする予定です。
投票受付中: 提案に対する投票へのリンクは下記をご覧ください。DFINITY は投票を控えさせていただきますので、投票を記録し、報酬を受け取るために、必ず参加してください。
主要なアップグレードと新機能の概要を説明する 25 の動議提案の詳細は以下の通りであり、コミュニティがブロックチェーンの将来の方向性について投票するためのオンチェーンメカニズムを提供するものです。これまでの動議提案は、特定の機能を中心に展開され、明確で有限な目標を持ち、それを提供及び完成させる傾向がありました。また、数日、数週間、数か月かかる傾向がありました。以下の提案は、暗号技術、ネットワーク、分散システム、言語、仮想マシン、オペレーティングシステムなどの深い研究を含み、R&D の活発な分野をまたがって、より広い方向性・スコープとなっています。これらにおいて、DFINITY Foundation の技術的専門知識の強みは最も発揮されます。
注：これらの長期的な R&D プロジェクトのいずれかを他のものより優先させるために、”否決” に投票しないでください。これらの新たな取り組みの優先順位は、コミュニティでの議論を通じて決定できます。
これらの主要な技術的イニシアチブに対する共通の理解に基づいて、Internet Computer コミュニティと調整するために、この取り組みでは、専門知識を持つ研究者やエンジニアを公募し、コミュニティと議論します。また、作業が進行し、より小さなマイルストーンやタスクが定義された際に、各トピックについて多くのフォローアップな議論と提案が行われるでしょう。
提案への投票は以下
- Integration with Ethereum
- General Integration
- Decentralized CA and DNS
- Trusted Execution-Enhanced IC
- Dapp Governance (SNS)
- DeFi Enhancements
- Node Performance
- Scalability
- Storage Subnet Blockchains
- Secure OS
- Tokenomics
- SDK
- Motoko
- Post-Quantum Security
- Internet Identity
- Privacy: Multi-Party Computation
- Formal Verification
- Security Proofs
- Malicious Node Security
- People Parties
- Decentralized Node Management
- Boundary Nodes
- Subnet Blockchain Splitting
- Canister Migration
- Subnet Blockchain Recovery
- Integration with Ethereum (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
この動議提案は、Internet Computer（IC）と Ethereum の統合の取り組みについてであり、以下の項目で構成されています。
• Ethereum ブロックチェーンの統合: Internet Computer のブロックチェーンと Ethereum のブロックチェーンをトラストレスで、つまりブリッジのような信頼できる仲介者を使わずに統合すること。これにより、Internet Computer 上のスマートコントラクトがイーサリアム上のスマートコントラクトを呼び出したり、その逆が可能になります。
•IC での EVM 対応: IC 上で Solidity/EVM ベースのスマートコントラクトを実行できるように、Internet Computer 上で Ethereum実行環境（EVM）を提供します。
** Developer Forum でこの提案の詳細を読み、話し合いに参加しましょう…** - General Integration (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
この構想の目的は、IC と外部システムとの統合です。私たちは、この領域で関心のある外部システムの複数のクラスを特定しました。Web 2.0、すなわちHTTP(S) やその他の標準的なプロトコル、他のブロックチェーン、そしてエンドユーザーのデバイスです。このように、この動議提案では、全く異なる統合を一括して行っています。究極的には、IC とそのようなシステムを統合する目的は、ICと統合するシステムの両方に、より大きな価値を提供することです。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - Decentralized CA and DNS (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
IC により、開発者は、あらゆるブラウザでエンドツーエンドで完全にオンチェーンに提供される Web dapp を構築し、ホストできます。そのようなコンテンツのエンドツーエンドのセキュリティと検証可能性を確保するには、非中央集権型ブロックチェーンベースの認証を、ビルトインのブラウザツールおよび検証メカニズムと互換性を持たせる必要があります。このプロジェクトでは、Internet Computer のブロックチェーンから任意のブラウザに提供されるコンテンツの検証をシームレスに行い、追加のツールなしで、ビルトインツールのみを使用してエンドツーエンドのセキュリティを保証するメカニズムを提供することを目指します。これには、IC を非中央集権型認証局とすること、IC上 で分散型 DNS を提供することが含まれます。
**Developer Forum でこの提案の詳細を読み、話し合いに参加しましょう…** - Trusted Execution-Enhanced IC (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
IC は、ユーザー中心の個人情報から金融のデジタル資産まで、セキュリティに敏感なあらゆるデータを処理する多様なアプリケーションの汎用インフラです。現在、ICはすでに高いレベルの耐障害性とセキュリティを提供しているが、そのセキュリティと耐障害性を向上させるために利用可能なあらゆる技術的手段を検討する必要があります。ハードウェアベースの trusted execution の普及に伴い、不正なデータセンタープロバイダーやホストレベルでの侵入などの攻撃に対する IC の保護は、さらに強化され強固なものになる可能性があります。この提案は、Trusted Execution Harnessed IC を考案し、特権的なローカルアタッカーに対する 完全性とプライバシー に関するセキュリティをさらに高めるとともに、ユーザーが IC の完全性を検証するための手段を追加することを目的としています。これにより、IC および IC がホストするすべての資産とデータのセキュリティは大幅に向上するでしょう。
**Developer Forum でこの提案の詳細を読み、話し合いに参加しましょう…** - Dapp Governance (SNS) (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
トークン化により dapp は、従来のアプリケーションとは異なる強力なインセンティブシステムを可能にします。トークン化された dapp は、世界中の誰もがトークンを購入することができ、アプリの資金調達に貢献できます。また、アーリーアダプターやアクティブユーザーに対してトークンを支払うことができるため、より多くのユーザーを集めることができるようになります。（ロックされた）トークンを持つユーザーに投票権を与えることで、オープンで非中央集権型のガバナンスが確立されます。このプロジェクトでは、dapp 開発者が非中央集権型かつオープンなガバナンスシステムを運用するための構成部品を提供し、dapp に統合していく予定です。具体的には、この構成部品を多段階に提供し、コミュニティが中間成果物を活用しながら、システムを継続的に進化・改善できるようにする予定です。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - DeFi Enhancements (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
Decentralized finance は、ブロックチェーン領域における主要なユースケースです。DeFi dapps は、Internet Computer のブロックチェーン上にキャニスタースマートコントラクトとしてデプロイされ、スケーラビリティとオンチェーンWebサポートを含む IC の特徴を生かすことができます。この提案では、Internet Computer とそのエコシステムが DeFi アプリケーションをさらにサポートすることを推奨し、有能な DeFi dapps の開発とデプロイと DeFi エコシステムへの参加をできるだけ容易にすることを目標としています。
**Developer Forum でこの提案の詳細を読み、話し合いに参加しましょう…**。 - Node Performance (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
現在の IC プロトコルの設計と実装は、シンプルでエンジニアリングの手間がかからないことに重点を置いています。これは、キャニスタースマートコントラクトの可能性を示すには十分ですが、IC の能力を最大限に引き出すには、高性能な設計と実装が必要です。このプロジェクトの目標は、ボトルネックに対処して個々の IC ノードの性能を向上させ、同じ時間でより多くのクエリーとアップデートの要求を実行できるようにすることです。これには、直交永続化メカニズム、NIC の仮想化、OS と Canister のスケジューリング、キャッシング、の改善 と 計算負荷の高いタスクのための HW アクセラレータの調査が含まれます。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - Scalability (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
数百万のスマートコントラクトに対応するために、Internet Computer プロトコルと実装のスケーラビリティを向上させ、サブネットあたりのノード数を増やし、より多くの悪意のあるノードに対応できるようにし、スループットをより高め、ユーザーとネットワークオペレーションのオーバーヘッドを低減させます。より正確には、以下の事項を調査し、適切なメカニズムを設計、分析、実装、テストします。
• 異なるサブネット間でのキャニスター間通話が頻繁に発生する、より多くのサブネット。異なるサブネット上で動作する2つのキャニスターの通信オーバヘッドを最小限に抑え、新しいノードがホストするキャニスターのステートが巨大であっても、サブネットに高速に参加できるようにする必要があります。
• 数百のノードを持つ大規模なサブネットでは、より多くの欠陥ノードを許容しますが、アップデートコールの低レイテンシーと高スループットを示します。
• キャニスター間メッセージだけでなく、キャニスターに大きなメッセージを送信する開発者とユーザー。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - Storage Subnet Blockchains (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
現在、Internet Computer には、system（複製度が高い）と application（複製度が中程度）という２つのタイプのサブネットブロックチェーンがあります。この動議提案では、DFINITY がエンジニアリングリソースを投入し、さらにサブネットのタイプを研究開発することを提案します。より具体的には、storage サブネットのコンセプトを検討することを提案します。このサブネットの核となる機能は、以下の通りです。1）ストレージ容量がより大きいノードマシンを使用する、2）他のサブネットよりも少ないノード数で運用する（レプリケーション率がより低い）。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - Secure OS (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
このプロジェクトは、IC が提供する仮想マシンと関連するホスト OS に着目することで、IC のセキュリティを補完することを目的としています。この提案の2つの主な目的は、攻撃表面を減らすことと、IC ノードレベルで攻撃が成功した場合の影響を軽減することです。これは、IC のソフトウェアを区分けし、きめ細かいセキュリティポリシーを確立することで、すべてのシステムアクターのアクセスと実行権限を制限・制御することで達成されます。また、前者に基づいて、仮想マシンとホスト OS レベルで IC の耐障害性を向上させる階層化されたセキュリティアーキテクチャを確立します。また、攻撃が成功した場合、根本的な原因や影響を分析し、対策を講じることができるよう、早期発見を支援する必要があります。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - Tokenomics (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
このプロジェクトは、IC のエコシステムの経済性を監視、設計、および対応することを目的としています。その目的は、ICP のユーティリティトークンをロックして投票活動に参加する人と、トークンを使ってサイクルを購入したり様々な市場活動をサポートする人の両方に対して、最適なインセンティブを与えるために IC のトークノミクスを発展させることにあります。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - SDK (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
DFINITY Canister SDK は、開発者が IC 上で開発を行う際に使用する主要なツールであり、インターフェイスです。このプロジェクトでは、開発者のエクスペリエンスに大きな投資を行うことを提案しています。SDK は、より良いデバッグとテスト環境を提供し、Dapps のプロファイリングを可能にし、信頼性の高いキャニスターのアップグレードとキャニスターのステートの取得も保証します。SDK は、より多くのユースケース、フレームワーク、言語に対応した改善されたドキュメントとサンプルコードを提供します。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - Motoko (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
この提案の目的は、IC 上でのキャニスタースマートコントラクト開発のための魅力的で実現可能なオプションとして Motoko を拡張し維持する DFINITY の計画について、コミュニティの承認を得ることです。これには、IDE 統合の改善、パッケージマネージャ、ロギングとモニタリングのサポート、ガベージコレクションとアップグレードのスケーラビリティの改善、ハートビートメッセージなどの新しい IC 機能との同等性の維持が含まれます。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - Post-Quantum Security (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
将来的に、攻撃者は量子コンピュータの助けを借りることになるかもしれません。量子アルゴリズムは、IC が依存する暗号化の前提条件、特に離散対数の計算の難しさを破ることができます。そのため、量子コンピュータを利用できる敵対者は、IC で使用されている署名を偽造できます。量子コンピュータが離散対数問題を解くのに十分な性能を持つようになる時期については、様々な予測がなされていますが、今後 5 年以内とする専門家は少数派です。量子コンピュータのような敵対者に対して IC を強化することは、非常に重要な取り組みです。攻撃者が後に量子コンピュータで復号するための暗号文を採取することが既に知られているので、IC のポスト量子的なセキュリティの確保に早い段階から着手することは理にかなっています。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - Internet Identity (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
Internet Identity は、Internet Computer のために、Internet Computer 上で構築されたブロックチェーン認証システムです。Internet Identity は、ユーザーが匿名の ID で各 Dapp を認証することを可能にします。これは、複数のユーザーデバイスをまたがった一貫性がありますが、異なる Dapps 間ではリンクされません。現在の Internet Identity は、Web 認証（クライアント端末でのセキュアな鍵の保存）と Internet Computer の閾値暗号（複数デバイスをサポート）の両方を基盤として、すでにセキュアな認証と複数のユーザーデバイスをまたがってシームレスな動作を提供していますが、いくつかの重要な機能はまだ改善できます。この動議では、次の年の R&D を下記のトピックに集中させることを提案します。
• II キャニスターでのリカバリー方法の管理のセキュリティを改善する。
• より弱い信頼性であるという仮定において、より強力な暗号によるリンクできない保証を提供する。
• 委任を生成する際のパフォーマンスの向上。
• 外部の ID 検証プロバイダー を利用したセキュアなアカウントのリカバリー。
• 非中央集権型匿名クレデンシャルベースの認証。
• ボットに対するより良いメカニズム、例えば Web 認証の証明に基づくもの。
• Web 認証のないデバイスのサポート。
• ネイティブアプリでのInternet Identity の利用をサポート。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - Privacy: Multi-Party Computation (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
計算が多くのノードで重複して行われるため、いずれかのノードから情報が漏洩する危険性があります。マルチパーティ計算（multi-party computation, MPC）のための暗号化プロトコルは、複数のノードが入力または中間データを明かすことなく、機密データに対して共同で関数を計算することを可能にします。理論的には、MPC を用いるとあらゆる関数をセキュアに評価できますが、ユーザは大きな性能のオーバーヘッドを負担することになります。本研究では、強力なプライバシー保証を必要とするユーザのために、IC 上で MPC の機能を提供します。
**Developer Forum でこの提案の詳細を読み、話し合いに参加しましょう…** - Formal Verification (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
このプロジェクトは、IC の特性をマシンチェックで検証するものです。IC は、その上で実行されるキャニスタースマートコントラクトにセキュアな環境を提供します。しかし、他のソフトウェアスタックと同様に、IC は、テストやコードレビューなどのベストプラクティスを行っても、バグを含む可能性があります。バグは、キャニスターのセキュリティを直接的に侵害し、キャニスターを利用できなくしたり、キャニスターのデータを消失または破損させたりします（例えば、台帳キャニスターの残高を変更するなど）。IC はオープンでパーミッションレスであるため、このようなバグは内発的に発生するだけでなく、悪意のある者によって悪用される可能性があります。形式的検証は、セキュリティ脆弱性を含むシステムのバグのリスクを劇的に低減させます。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - Security Proofs (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
IC は、その強力なセキュリティを保証するために、いくつかの非標準的な暗号プリミティブが組み合わされた複雑な獣です。証明可能安全性(provable security)は、還元論的安全性(reductionist security)とも呼ばれ、理論暗号学の技法であり、新しいスキーマ、プロトコル、システム が、正確に記述された難度の仮定(hardness assumption)が成り立つ限り、セキュアであることを数学的に証明するものです。DFINITY Foundation では、キーチェーン暗号のベースである non-interactive distributed key generation、ビットコインと IC の統合を支える threshold ECDSA、コンセンサスプロトコルなどの主要な暗号コンポーネントの検証に、すでにこの技術を利用しています。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - Malicious Node Security (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
このプロジェクトは、サブネット内のノードからの悪意ある行動を IC が監視し、反応し、ハンドリングすることに関するものです。例えば、曖昧な言葉を使うブロックメーカーをより効率的に処理したり、悪意のある行動を検知して対処したりします。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - People Parties (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
この R&D の動議の提案の目的は、現在取り組んでいる初期の people party（personhood/humanity、人であることの証明）の実装を改良し、近々リリースすることです。これらの改善には、とりわけ、personhood 検証プロセスの強化、実装の非中央集権化の改善、以前のラウンドからの検証済み参加者に基づく検証戦略の拡張、および よりスケーラブルなシステムの設計という目標があります。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - Decentralized Node Management (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
IC は、誰でもノードプロバイダーになれるように設計されています。IC のガバナンスシステムである NNS は、ノードを追加することで IC のキャパシティを拡張します。追加するノードの要件は、ある時点における IC の望ましいキャパシティ（および場所の要件）に依存します。ネットワークは、今後数年間で数千のデータセンターから稼働する数百万のノードに成長すると予想されています。非中央集権化は IC のミッションの鍵であるため、その成長をサポートするために多くの新しい独立したノードプロバイダーが必要になります。本提案は、そのロードマップの概要を示すものです。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - Boundary Nodes (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
バウンダリーノードは、IC のゲートウェイです。その主な目的は、ユーザーからの HTTP リクエストを IC 上のキャニスタースマートコントラクトの呼び出しに変換し、対応するサブネット上のノードに呼び出しをルーティングすることです。さらに、バウンダリーノードは、負荷分散、キャッシュ、レート制限、IPv4-IPv6 変換（IC のノードはすべて IPv6 を使用するため）、ユーザーに提供するコンテンツの完全性検証を提供します。この動議提案は、バウンダリノードの将来のロードマップを決めるものです。バウンダリノードの設計と実装をいくつかの側面から強化し、そのデプロイと運用をより分散化し、デプロイとアップグレードを容易にし、セキュリティを高めることを提案します。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - Subnet Blockchain Splitting (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
Internet Computer は、異なるサブネットのブロックチェーンにスケールアウトすることで、無限の容量を持つように設計されています。しかし、各サブネットのキャパシティには限りがあり、異なるサブネットの負荷は大きく違います。現状では、サブネット間の負荷をバランスさせる便利な方法はありません。この提案では、サブネットを2つのサブネットに「分割」します。レプリカ（複数）は 2 つのグループに分けられ、それぞれが独立したサブネットになります。キャニスター（複数）は 2 つのサブネットに同じように分散され、2つの「子」サブネットはそれぞれ分割前の半分の負荷しか持たないようにします。すべてのレプリカはすでにサブネット上にあったすべてのキャニスターのステートを持っているので、ステートの遅れての転送は必要なく、分割によるサブネットのダウンタイムは最小になるはずです。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…** - Canister Migration (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
この動議の提案は、IC の異なるサブネットブロックチェーン間でキャニスタースマートコントラクトの移行を可能にすることに関連する取り組みについてです。キャニスターの移行の目的は、開発者がキャニスターまたはキャニスターのグループをあるサブネットから別のサブネットに移動できるようにすることで、IC の負荷分散のためのツールを提供することです。例えば、人気のあるキャニスターを負荷の高いサブネットから移動させ、人気のある dapp が再びサービスレベル目標を達成できるようにすることが想定されます。
**Developer Forumでこの提案の詳細を読み、会話に参加しましょう…**（リンク切れ） - Subnet Blockchain Recovery (VOTE ON THE PROPOSAL HERE)（提案への投票はここから）
この提案は、サブネットのステートを明らかにすることなく、すべての NNS の提案が検証可能であることを保証するためのものです。Internet Computer は、ロバストに動作すべきサブネットで構成されています。つまり、サブネットのレプリカの 1/3 未満が悪意を持っていたり、利用できなかったりしても、サブネットは進行できます。一度にそれ以上のレプリカが利用できなくなった場合、サブネットは停止し、キャニスターは更新メッセージを進行できなくなります。このようなシナリオのために、IC はサブネットのリカバリー操作をサポートします。NNS のプロポーザルを通じて、ガバナンスシステムは他のレプリカにサブネットの責任を直ちに引き継ぐように指示できます。
**Developer Forumでこの提案の詳細を読み、話し合いに参加しましょう…**
____
