計算能力のさらなる高みへ：ZKコプロセッサの概要と最先端プロジェクトの紹介
TechFlow厳選深潮セレクト
計算能力のさらなる高みへ：ZKコプロセッサの概要と最先端プロジェクトの紹介
zk協プロセッサの未来を擁抱し、無限の可能性を開く。
Web3業界の深掘り報道に専念し潮流を洞察執筆：E
編集・翻訳：TechFlow
ブロックチェーンはセキュリティを守るために計算能力に制限をかけており、その結果としてZKコプロセッサ（ZK Coprocessors）が注目され始めています。これは、強力なセキュリティを維持しつつ、計算能力を拡張する技術です。本稿では、Galaxy DigitalのリサーチャーEがZKコプロセッサの概念や役割、および現在開発中のプロジェクトについて解説します。
一般的に、コプロセッサとはCPUを補助し、特定のタスクをより効率的に処理することで、コンピュータシステム全体のパフォーマンスと速度を向上させる専用コンポーネントです。
ZKコプロセッサは相互運用性レイヤーであり、任意の計算を実行した後、「レシート」と呼ばれる数学的に有効な証明を提供します。このレシートは、計算が正しく実行されたことを確認するものです。
各レシートには、どの計算が実行されたかを示す暗号化識別子が含まれており、計算の公開出力をすべて記録しています。
このようなレシートにより、マシンは計算が実際に発生したことを明確に「証明」できます。単に「計算が行われた」と主張するだけでなく、検証可能なトレースを提供するのです。これはまさに、信頼不要で安全な計算監査のようなものです！
なぜZKコプロセッサが必要なのか？
ブロックチェーンは安全性を確保するために計算能力に制限を設けており、L1/L2上で実行できる操作を、本質的に安全な少数の操作に限定しています。ZKコプロセッサは計算能力を拡張し、高いセキュリティを保ちながらより幅広い操作を可能にします。
現在構築されているzkコプロセッサのプロトコルには何があるか？
Axiom
Axiomはイーサリアム向けのZKコプロセッサであり、スマートコントラクトに対してすべてのオンチェーンデータへの信頼不要なアクセスと、それらに対する任意の式の計算機能を提供します。
Axiomは、過去のオンチェーンデータまたは式の計算を扱うあらゆるプロトコルや分散型アプリケーション（dapp）に有用です。これには、信頼不要な会計処理、動的なDeFi、信頼不要なオフチェーンガバナンス、信頼不要なオンチェーンオラクルなどが含まれます。
Axiomの使命は、ゼロ知識証明の機能をオンチェーンアプリケーションで可能な限り簡単に利用できるようにし、より豊かで表現力に富んだ、信頼最小化された分散型アプリの新たな波を開放することです。
Tanuki
TanukiはAxiomを活用して、過去のオンチェーンデータに基づくウォレットスコアリングのための信頼不要かつ透明なシステムを提供しています。このデータは、Karma3labsのような信用スコアリングプロトコルや、SPICYESTのようなNFT価格分析などに利用可能です。
Tanukiのソリューションは、従来中心化されていてあまり透明性がなかったシステムに代わる、分散化された代替手段です。これにより、プロトコルは信頼不要な方法で関連指標を計算でき、公正で透明なインタラクションが促進されます。
Risc Zero
Risc Zeroは、あらゆるプラットフォームで動作可能なzkVMを提供しています。これは仮想マイクロコントローラ／コプロセッサであり、実行するすべてのプログラムに対してレシートを生成します。ちょうど安全な仮想Arduinoのようなものです。
RiscZeroのBonsaiは、汎用的なゼロ知識証明ネットワークです。ブロックチェーンのスマートコントラクトに対してオフチェーンでの計算を実行する能力を提供します。
Herodotus
Herodotusは、スマートコントラクトが他のイーサリアムレイヤーから同期されたオンチェーンデータにアクセスできるようにすることを目指しています。同社は、ストレージ証明によって複数のRollupの状態を統合でき、さらにはイーサリアムレイヤー間での同期読み取りさえ可能になると見ています。
Poseidon ZKP
Poseidon ZKPは、EVMネイティブなzkDAppsの開発におけるギャップを埋めることを目指しています。特にプライバシー重視のzkDApps開発における二つの主要な障壁に対処しています。一つはZKP使用の暗号学的複雑さによるハードルの高さ、もう一つは高コストなオンチェーン検証です。
Poseidon ZKPが開発している機能の一つは、ゼロ知識証明のプリミティブをスマートコントラクトとして作成できるようにすることです。さらに、複数のクライアントが生成した証明を一括して集約し、一つの証明にまとめるZK-ZKアグリゲーターを提供することで、検証コストを大幅に削減します。
Pluto
Devloperが共同創業に関わる、控えめなプロジェクトPlutoもまた、dApp特有のスケーラビリティのためにシームレスな開発者体験をどう実現するかを模索しています。
最後に
あなたのdAppを効率性とセキュリティの新たな高みへと導く準備はできていますか？ZKコプロセッサの未来を受け入れれば、無限の可能性が開かれます。
TechFlow公式コミュニティへようこそ
Telegram購読グループ：https://t.me/TechFlowDaily
Twitter公式アカウント：https://x.com/TechFlowPost
Twitter英語アカウント：https://x.com/BlockFlow_News
E
