The Internet Computer Community Adopts 25 Proposals for Future Crypto Innovationの日本語翻訳

Published in

DfinityJP

22 min readDec 25, 2021

Dfinityによるmediumに投稿されたThe Internet Computer Community Adopts 25 Proposals for Future Crypto Innovationの日本語翻訳（DeepLで自動翻訳）記事になります。

今後のDfinityの技術的な進化をもたらす可能性の高い提案です。ロードマップとしてご覧になると面白いと思います。

なお、オリジナルには投票結果が貼り付けられていますが、省略しました。全て賛成が上回り実行されています。

Network Nervous System (NNS)は、Internet Computerブロックチェーンを完全にオープン、パーミッションレス、分散型でコントロールする、自律的なトークンによるガバナンスシステムです。NNSでは、ICPユーティリティトークンを投票ニューロンにステークすることで、世界中の誰もがネットワークへの提案を提出し、投票することができます。採択された場合、提案は自動的に実行され、ネットワークがリアルタイムに適応できるようになります。
今週、インターネットコンピュータコミュニティは、DFINITY Foundationの今後数年間の研究開発計画を示す25の提案を採択しました。開発者フォーラムでの数週間にわたる意見やフィードバックに続き、NNSのニューロン保有者は、12月20日（月）からNNSのfrontend Dappで提案を検討し、投票を行いました。
提案内容と投票結果は以下の通りです。なお、DFINITY財団は、コミュニティの意思を反映させるため、投票を棄権しました。
DFINITY Foundationは、インターネットコンピュータのエコシステムに研究開発資源を技術的な貢献という形で提供しており、これらはNNSプロポーザルを通じてコミュニティの議論、投票、採用の対象となります。提案のライフサイクルの各段階で、ニューロン保有者は、インターネットコンピュータをより効率的に、より速く、より使いやすくするための財団の努力を指示することができます。どのようなアップグレードに着手し、どのようなコードを採用するかは、コミュニティが決定します。
以下の提案は、暗号、ネットワーク、分散システム、言語、仮想マシン、オペレーティング・システムの深い研究を含む、研究開発の活発な分野にわたる幅広い方向性と範囲を持っています。これらの提案は、当財団の技術的専門性の強みが最も発揮される分野に対応しています。
インターネット・コンピュータ・コミュニティがこれらの技術的イニシアチブに対する共通の理解を持つために、この活動では、専門知識を持つ研究者や技術者を公募し、コミュニティとの話し合いを行います。それぞれのテーマについては、作業が進み、小さなマイルストーンやタスクが定義された時点で、多くのフォローアップの議論や提案がなされるでしょう。

プロポーザル一覧
・イーサリアムとの統合
・一般的な統合
・非中央集権的なCAとDNS
・信頼できる実行-強化されたIC
・Dappsガバナンス(SNS)
・DeFiの強化
・ノードパフォーマンス
・スケーラビリティ
・ストレージサブネットブロックチェーン
・セキュアOS
・トークノミクス
・SDK
・Motoko
・ポストクオンタムセキュリティ
・インターネット・アイデンティティ
・プライバシー：マルチ・パーティ・コンピューテーション（MPC）
・形式的検証
・セキュリティ証明
・悪意のあるノードのセキュリティ
・Virtual People Parties
・分散型ノード管理
・Boundaryノード
・サブネットブロックチェーンの分割
・キャニスターマイグレーション
・サブネットブロックチェーンの復旧

・イーサリアムとの統合

この動議は、インターネットコンピュータ（IC）とイーサリアムの統合の取り組みについてのもので、以下の項目から構成されています。

ethereumブロックチェーンの統合。インターネットコンピュータのブロックチェーンとEthereumのブロックチェーンを、ブリッジなどの信頼できる仲介者を使わずに、トラストレスで統合すること。これにより、インターネットコンピュータ上のスマートコントラクトがEthereum上のスマートコントラクトを呼び出したり、逆にEthereum上のスマートコントラクトを呼び出したりすることが可能になります。
IC上のEVMサポート。
インターネットコンピュータ上にEthereumの実行環境（EVM）を提供し、IC上でSolidity/EVMベースのスマートコントラクトを実行する。

**この提案については、Developer Forumで詳細を読み、会話に参加してください…**。

・一般的な統合

この取り組みの目的は、ICと外部システムを統合することです。私たちは、この領域で関心のある複数のクラスの外部システムを特定しました。Web 2.0、つまりHTTP(S)やその他の標準プロトコル、他のブロックチェーン、そしてエンドユーザーのデバイスです。観察できるように、これらの統合は、このモーションの提案にまとめられると、かなり異なる統合になります。最終的には、ICとそのようなシステムを統合することで、ICと統合するシステムの両方に大きな価値を提供することを目的としています。
**この提案については、Developer Forumに掲載されていますので、そちらをご覧ください。

・非中央集権的なCAとDNS

このICを利用することで、開発者は、どのようなブラウザでもエンド・ツー・エンドで完全にオン・チェーンで提供されるWeb Dappsを構築し、ホストすることができます。このようなコンテンツのエンド・ツー・エンドのセキュリティと検証可能性を確保するためには、ブロックチェーンを用いた分散型の認証を、ブラウザに組み込まれたツールや検証メカニズムと互換性を持たせる必要があります。本プロジェクトでは、インターネットコンピュータのブロックチェーンから任意のブラウザに提供されるコンテンツのシームレスな検証を保証し、追加のツールを必要とせず、組み込みのツールのみでエンドツーエンドのセキュリティを保証するメカニズムを提供することを目的としています。これには、ICを分散型の認証局とし、IC上で分散型のDNSを提供することも含まれます。
**この提案については、開発者フォーラムで詳細を読み、会話に参加してください…**。

・信頼できる実行-強化されたIC

ICは、ユーザーの個人情報から金融機関のデジタル資産に至るまで、あらゆる種類のセキュリティ上重要なデータを処理する、多種多様なアプリケーションのための一般的なインフラです。現在、ICはすでに高い耐障害性とセキュリティを提供していますが、セキュリティと回復力を向上させるために利用可能なあらゆる技術的手段を検討する必要があります。ハードウェアベースの信頼性の高い実行機能が広く普及することで、不正なデータセンタープロバイダーやホストレベルでの侵入などの攻撃に対するICの現在の保護は、さらに強化され、強固なものになります。本提案は、信頼された実行を利用したICを考案し、ローカルの特権的な攻撃者に対する完全性とプライバシーの面でセキュリティをさらに高めるとともに、ユーザーがICの完全性を検証する手段を追加することを目的としています。また、ユーザーがICの整合性を検証するための追加手段も提供します。これにより、ICと、そのホストとなるすべての資産やデータのセキュリティが大幅に向上します。
**この提案については、開発者フォーラムで詳細をご覧いただき、会話に参加してください。

・Dappsガバナンス(SNS)

トークン化により、dappsが従来のアプリケーションとは異なる強力なインセンティブシステムを実現します。トークン化されたdappでは、世界中の誰もがトークンを購入することができ、それによってdappの資金調達に貢献することができます。さらに、トークンをアーリーアダプターやアクティブユーザーに支払うことで、より多くのユーザーを惹きつけることができます。（ロックされた）トークンを持っているユーザーに投票権を与えることで、オープンで分散化されたガバナンスが確立されます。本プロジェクトでは、アプリ開発者が分散型でオープンなガバナンスシステムを運用するためのビルディングブロック（？）を提供し、それをアプリに統合することを計画しています。具体的には、複数の段階に分けて提供することで、中間的な成果物をコミュニティが利用できるようにするとともに、システムを継続的に進化・改善していくことを計画しています。
**この提案についての詳細は、Developer Forumに掲載されています。

・DeFiの強化

分散型金融は、ブロックチェーン空間における主要なユースケースです。DeFi dappsは、インターネットコンピュータのブロックチェーン上にキャニスター・スマートコントラクトとして展開することで、スケーラビリティやオンチェーン・ウェブサポートなどのICの機能を利用することができます。この提案では、DeFiアプリケーションをさらにサポートするために、Internet Computerとそのエコシステムを適応させることを推奨しています。その目的は、有能なDeFi dappsを開発・展開し、DeFiエコシステムに参加することを可能な限り容易にすることです。
**この提案については、開発者フォーラムで詳細を読み、会話に参加してください…**。

・ノードパフォーマンス

現在のICプロトコルの設計と実装は、シンプルでエンジニアリングの手間がかからないことを重視しています。これは、キャニスター・スマートコントラクトの可能性を示すには十分ですが、ICの能力を最大限に発揮させるには、高性能な設計と実装が必要です。このプロジェクトの目標は、ボトルネックに対処して個々のICノードの性能を向上させ、同じ時間内でより多くの問い合わせや更新要求を実行できるようにすることです。これには、直交型パーシスタンス・メカニズムの改善、NICの仮想化、OSとCanisterのスケジューリング、キャッシング、そして計算負荷の高いタスクのためのハードウェア・アクセラレータの検討が含まれます。
**この提案については、開発者フォーラムで詳細を読み、会話に参加してください…**。

・スケーラビリティ

何百万ものスマートコントラクトに対応するために、インターネットコンピュータプロトコルと実装のスケーラビリティを向上させ、サブネットあたりのノード数を増やして、より多くの悪意のあるノードに耐えられるようにし、より高いスループットを実現し、ユーザーやネットワーク運用のオーバーヘッドを低減します。具体的には、以下の点を調査し、適切なメカニズムを設計、分析、実装、テストします。

異なるサブネット間で頻繁にキャニスター間通話が行われる多くのサブネット。異なるサブネット上で動作する2つのキャニスターの通信オーバーヘッドは最小限に抑え、新しいノードは、ホストするキャニスターの状態が巨大であっても、サブネットに高速で参加できるようにする必要があります。
数百のノードを持つ大規模なサブネットでは、より多くの故障ノードを許容しながらも、更新コールの低レイテンシーと高スループットを実現します。
開発者やユーザーがキャニスターに大規模なメッセージを送信したり、キャニスター間のメッセージを送信したりする場合。

**開発者フォーラムでこの提案についての詳細を読み、会話に参加してください…**。

・ストレージサブネットブロックチェーン

現在、インターネットコンピュータには、システム（replicationが高い）とアプリケーション（replicationが中程度）の2種類のサブネットブロックチェーンがあります。本動議では、DFINITY組織がエンジニアリングリソースを投入して、追加の種類のサブネットを研究・開発することを提案します。具体的には、ストレージサブネットという概念を検討することを提案します。このサブネットタイプの特徴は以下の通りです。このサブネットタイプの主な特徴は、

1）ストレージ容量の大きいノードマシンを使用する

2）他のサブネットタイプよりも少ないノード数で運用する（レプリケーションファクターを小さくする）ことです
**この提案については、開発者フォーラムで詳細を読み、会話に参加してください。

・セキュアOS

このプロジェクトは、ICが提供する仮想マシンと、それに関連するホストOSに焦点を当てて、ICのセキュリティを補完することを目的としています。このプロジェクトの主な目的は、ICのノードレベルで攻撃対象を減らし、攻撃が成功した場合の影響を軽減することです。これを達成するために、ICのソフトウェアを区分けし、きめ細かなセキュリティポリシーを確立することで、すべてのシステムアクターのアクセスと実行権限を制限・制御します。前者に基づき、仮想マシンおよびホストOSレベルでICの耐障害性を向上させるための層状のセキュリティアーキテクチャを確立します。また、攻撃が成功した場合には、早期の検知をサポートすることで、根本原因と影響を即座に分析し、対策を講じることができるようにします。
**この提案についての詳細は、デベロッパーフォーラムでご覧いただけます。**

・トークノミクス

このプロジェクトは、ICのエコシステムの経済性を監視し、設計し、対応することを目的としています。このプロジェクトの目的は、投票活動に参加するためにICPユーティリティトークンをロックしている人と、サイクルの購入や様々な市場活動をサポートするためにトークンを使用する人の両方にとって、参加のインセンティブが最も高くなるように、IC上のトークノミクスを進化させることです。
**この提案について、開発者フォーラムで詳細を読み、会話に参加してください…**。

・SDK

DFINITY Canister SDKは、開発者がICをベースに開発を行う際に使用する主要なツールおよびインターフェースです。今回のプロジェクトでは、開発者の体験に多大な投資を行うことを提案します。このSDKは、より優れたデバッグおよびテスト環境を提供し、dappsのプロファイリングを可能にするだけでなく、信頼性の高いキャニスターのアップグレードとキャニスターの状態の取得を保証します。このSDKは、より多くのユースケース、フレームワーク、言語に対応したドキュメントやサンプルコードを提供するものです。
**この提案については、Developer Forumで詳細を読み、会話に参加してください。**

・Motoko

本提案の目的は、IC上でキャニスター・スマートコントラクトを開発するための魅力的で実現可能な選択肢として、Motokoを拡張・維持するというDFINITYの計画について、コミュニティの承認を得ることです。これには、IDE統合の改善、パッケージマネージャ、ロギングとモニタリングのサポート、ガベージコレクションとアップグレードのスケーラビリティの改善、ハートビートメッセージなどのICの新機能との同等性の維持などが含まれます。
**この提案については、Developer Forumで詳細を読み、会話に参加してください。**

・ポストクオンタムセキュリティ

将来的には、攻撃者は量子コンピュータの助けを借りることになるかもしれません。量子アルゴリズムは、離散対数の計算の難しさなど、ICが採用している暗号の前提条件を破ることができます。そのため、量子コンピュータを使った攻撃者は、ICで使われている署名を偽造することができます。量子コンピュータが離散対数の問題を解決できるほど強力になる時期については様々な予測がありますが、少数の専門家は5年以内に実現できると考えています。量子コンピュータに対抗してICを強化することは、非常に大きな課題です。攻撃者は、後に量子コンピュータで復号化するために暗号文を採取することがすでに知られているため、ポスト量子のICを安全にするために早い段階で着手することは理にかなっています。
**この提案については、開発者フォーラムで詳細をご覧いただき、会話に参加してください。**

・インターネット・アイデンティティ

インターネットアイデンティティは、インターネットコンピュータのために、またインターネットコンピュータ上に構築されたブロックチェーン認証システムです。インターネットアイデンティティでは、ユーザーは、複数のユーザーデバイス間で一貫しているが、異なるdapps間ではリンクできない別のアイデンティティで、各dappを（別IDで）認証することができます。現在の Internet Identity は、Web 認証（クライアントデバイス上の安全な鍵の保存）とインターネットコンピュータの閾値暗号（複数のデバイスのサポート）の両方に基づいて、安全な認証を提供し、複数のユーザデバイス間でシームレスに動作しているが、いくつかの重要な機能はまだ改善可能である。本動議では、次年度の研究開発努力を以下のテーマに集中することを提案します。

II(internet identity)キャニスターにおける回復方法管理のセキュリティを向上させる。
より弱い信頼を前提とした、より強力な暗号的な連結不可能性の保証。
デリゲーションの生成におけるパフォーマンスの向上。
外部の ID 検証プロバイダを使用した安全なアカウント回復。
匿名のクレデンシャルベースの認証の分散化。
ウェブ認証の証明書に基づくボット対策の強化
ウェブ認証のないデバイスのサポート
ネイティブアプリでのインターネットIDの使用をサポートする。

**この提案については、Developer Forumで詳細を読み、会話に参加してください。**

・プライバシー：マルチ・パーティ・コンピューテーション（MPC）

計算は多くのノードに複製されるため、ユーザーはノードの1つが情報を漏らす危険性があります。マルチパーティ計算（MPC）のための暗号プロトコルは，複数のノードが入力データや中間データを明かすことなく，機密データに対して共同で関数を計算することを可能にする。理論的には、MPCを用いてあらゆる関数を安全に評価することができますが、ユーザーは大きな性能オーバーヘッドを支払うことになります。本研究では、強力なプライバシー保証を必要とするユーザーのために、IC上でMPC機能を提供します。
**この提案については、開発者フォーラムで詳細を読み、会話に参加してください…**。

・形式的検証

このプロジェクトでは、ICの特性を機械的にチェックして検証します。ICは、その上で実行されるキャニスタースマートコントラクトに安全な環境を提供します。しかし、他のソフトウェアスタックと同様に、テストやコードレビューなどのベストプラクティスを用いても、ICにはバグが含まれる可能性があります。バグがあると、キャニスターのセキュリティが直接損なわれ、キャニスターが利用できなくなったり、キャニスターのデータが失われたり破損したりします（例えば、台帳キャニスターの残高が変更されるなど）。ICのオープンでパーミッションレスな性質は、このようなバグが自発的に発生するだけでなく、悪意あるアクターによって悪用される可能性があることを意味します。フォーマルな検証は、セキュリティの脆弱性を含むシステムのバグのリスクを劇的に減らします。
**この提案については、Developer Forumで詳細をご覧いただき、会話に参加してください…**。

・セキュリティ証明

ICは、その強力なセキュリティ保証を実現するために、いくつかの非標準的な暗号プリミティブを必要とする複雑なものです。証明可能セキュリティとは，理論暗号学の手法の1つで，正確に述べられた硬さの仮定が成り立つ限り，新しいスキーム，プロトコル，システムが安全であることを数学的に証明するもので，「還元主義セキュリティ」とも呼ばれます．DFINITY Foundationでは、この技術を用いて、chain key暗号の基礎となる非対話型分散鍵生成、ICとビットコインの統合を支える閾値ECDSA、コンセンサスプロトコルなど、DFINITY Foundationのコアとなる暗号コンポーネントを検証しました。
**この提案については、Developer Forumで詳細を読み、会話に参加してください。**

・悪意のあるノードのセキュリティ

このプロジェクトは、ICがサブネット内のノードからの悪意ある行動を監視し、反応し、処理することを目的としています。このプロジェクトでは、サブネット内のノードからの悪意ある行動を監視し、反応し、処理することを目的としています。
**この提案については、開発者フォーラムで詳細を読み、会話に参加してください…**。

・Virtual People Parties

この研究開発motionの提案の目的は、現在取り組んでいる初期のピープルパーティ（人称/人間性の証明）の実装を改善し、まもなくリリースすることです。これらの改善は、特に、人称検証プロセスの強化、実装の分散化の改善、以前のラウンドで検証された参加者に基づく検証戦略の拡張、およびよりスケーラブルなシステムの設計を目的としています。
**この提案については、開発者フォーラムで詳細を読み、会話に参加してください。**

・分散型ノード管理

ICは、誰もがノードプロバイダになれるように設計されています。ICのガバナンスシステムであるNNSは、ノードを追加することでICのキャパシティを拡大する。追加ノードの要件は、ある時点でのICの希望容量（およびロケーション要件）に依存する。このネットワークは、今後数年間で、数千のデータセンターから稼働する数百万のノードに成長すると予想されています。分散化がICのミッションの鍵であるため、その成長をサポートするためには、多くの新しい独立したノードプロバイダーが必要になります。この提案は、そのロードマップを示しています。
**この提案については、開発者フォーラムで詳細を読み、会話に参加してください…**。

・Boundaryノード

バウンダリノードは、ICへのゲートウェイです。主な目的は、ユーザーからのHTTPリクエストをIC上のスマートコントラクトのキャニスターへの呼び出しに変換し、対応するサブネット上のノードへの呼び出しをルーティングすることです。さらに、バウンダリ・ノードは、ロードバランシング、キャッシング、レート制限、IPv4-IPv6変換（ICのノードはすべてIPv6を使用しているため）、ユーザーに提供するコンテンツの整合性検証を行います。このmotionプロポーザルは、バウンダリノードの将来のロードマップを設定するものです。バウンダリノードの設計と実装をいくつかの側面から強化し、展開と運用の分散化、展開とアップグレードの容易化、セキュリティの向上を図ることが提案されています。
**この提案については、開発者フォーラムで詳細を読み、会話に参加してください…**。

・サブネットブロックチェーンの分割

インターネットのコンピュータは、異なるサブネットのブロックチェーンにスケールアウトすることで、無限の容量を持つように設計されています。しかし、各サブネットの容量は限られており、サブネットごとの負荷は大きく異なります。現状では、サブネット間の負荷をバランスさせる便利な方法はありません。この提案では、サブネットを2つのサブネットに「分割」します。レプリカは2つのグループに分けられ、それぞれが別のサブネットになります。キャニスターは2つのサブネットに同様の方法で分散され、2つの「子」サブネットのそれぞれが分割前の半分の負荷しか持たないようにします。すべてのレプリカは、そのサブネット上にあったすべてのキャニスターの状態をすでに持っているので、状態の低速な転送は必要なく、分割によるサブネットのダウンタイムは最小限に抑えられます。
**この提案については、開発者フォーラムで詳細を読み、会話に参加してください…**。

・キャニスターマイグレーション

この動議は、ICの異なるサブネットのブロックチェーン間でキャニスター・スマートコントラクトの移行を可能にすることに関連した取り組みに関するものです。キャニスターの移行の目的は、開発者がキャニスターやキャニスターのグループをあるサブネットから別のサブネットに移動できるようにすることで、ICの負荷分散のためのツールを提供することです。例えば、人気のあるキャニスターを負荷の高いサブネットから移動させることで、人気のあるDAPが再びサービスレベルの目標を達成できるようにすることが考えられます。
**この提案については、Developer Forumに掲載されていますので、そちらをご覧ください。**

・サブネットブロックチェーンの復旧

この提案は、サブネットの状態を明らかにすることなく、すべてのNNS提案が検証可能であることを保証するものです。インターネットコンピュータは、堅牢な方法で実行されるべきサブネットで構成されています。つまり、あるサブネットのレプリカの1/3以下が悪意を持っていたり、利用できない状態であっても、そのサブネットは進行します。一度に多くのレプリカが利用できない場合、サブネットは停止し、キャニスターは更新メッセージを進行できなくなります。このようなシナリオに対して、ICはサブネットの回復操作をサポートしています。NNSの提案により、ガバナンスシステムは他のレプリカにサブネットの責任を直ちに引き継ぐよう指示することができます。
**この提案については、開発者フォーラムで詳細を読み、会話に参加してください。**