Solana ZKプライバシー生態系の黒馬プロジェクト一覧
TechFlow厳選深潮セレクト
Solana ZKプライバシー生態系の黒馬プロジェクト一覧
ZKの圧縮のリリースから将来の各種システムコールの実装まで、SolanaにおけるZKの重要性は軽視できない。
Web3業界の深掘り報道に専念し潮流を洞察執筆：Yash Agarwal & 0xIchigo
翻訳&編集：Pzai、Foresight News
広義に言えば、Solanaインフラはネットワークパフォーマンスにおいて開発者コストの削減、非同期実行およびステート成長ソリューションを提供し、セキュリティ面ではオンチェーンアプリケーションに対してプライバシー・機密性のみならず、検証可能性や分散型証明ネットワークも提供します。以下でそれぞれ詳しく見ていきましょう。
プライバシーと検証可能性
Arciumは、暗号化計算を信頼なし・検証可能かつ効率的に実行できるフレームワークを提供することで、オンチェーンアプリケーションのプライバシーを実現しています。たとえばAIモデルはプライベートデータ上でトレーニングが可能となり、DeFiではプライベート取引に活用できます。
AnagramのBonsolは、Solanaネイティブの検証可能計算システムであり、開発者がプライベートデータおよびパブリックデータに対する完全に検証可能な実行ファイルを作成し、その有効性を数学的に保証して結果をSolanaスマートコントラクトに統合し、オンチェーン上で証明できるようにします。
匿名性とZKベースのスケーリング
Darklakeはプライバシー対応AMM取引アプリを構築しており、MEV（最大可抽出価値）に強くリアルタイム注文執行を実現する、Solana初のDEXを目指しています。
Dark Protocolは、ZK-SNARKSによって支えられた市場主導の匿名プロトコルを構築しています。
ZK証明プロトコルLightProtocolとHeliusが共同開発したZK Compressionは、zk証明とステート圧縮メカニズムを持つ新たなSolanaアカウントプリミティブであり、Solanaアプリ開発者のレンタルコストを削減するとともに、ステート拡張のソリューションを提供します。
ZK圧縮されたステートは「圧縮アカウント」内に保存されます。これらのアカウントは通常のSolanaアカウントに似ていますが、効率性とスケーラビリティを高めるためにいくつかの重要な相違点があります：
-
ハッシュ識別：各圧縮アカウントはそのハッシュ値によって識別できます。
-
書き込み時のハッシュ変更：圧縮アカウントに対するいかなる書き込み操作も、そのハッシュ値を変更します。
-
任意のアドレス設定：アドレスを圧縮アカウントの永続的な一意識別子として設定することが可能です。これはNFTなどの特定ユースケースにおいて有用です。このフィールドはオプションであるため、計算負荷を避けることができ、圧縮アカウントはハッシュ値で参照可能です。
-
スパースステートツリー：すべての圧縮アカウントはMerkleツリー内に格納され、ツリーのステート根（すなわちMerkleルート）のみがオンチェーンのアカウントスペースに保存されます。より具体的には、状態ツリーはPoseidonハッシュに基づく並列Merkleツリーです。
すでに多くのSolanaチームが以下の分野でZK圧縮のユースケースを構築しています：
-
Backpackウォレットのユーザーはガス（レンタル料）を支払うことなくトークンを保有できます。
-
Tribe.funのような消費者向けソーシャルアプリでは、クリエイターが低コストでトークンを送信できるようになります。
-
Helius Airshipなどのエアドロップツールにも利用されています。
ZKVMおよびネットワークスケーリングスタック
RiscZeroおよびSuccinctLabsは、チェーン上の任意の計算を証明可能にし、チェーン上計算の制約を受けません。これにより、ZK駆動型のSolanaライトクライアントの強化、簡素化されたDePINネットワーク、安全でシームレスなZKログインなどが実現します。
また、zkSVMは多くのユースケースで活用されています：
-
Solforge Networkは、ZKPネットワークスケーリングスタックおよびzk圧縮を用いてステート更新の証明を可能にし、LightSVMにより証明生成を最適化しています。
-
SVMネットワーク展開プラットフォームTerminaxyzは、遅延の低減、プライバシー向上、計算コスト削減を通じて特定のユースケース向けにアプリケーションを最適化しています。
-
ゲームおよびアプリケーション向けSVMスタックSonicSVMも、zkおよびHypergridを通じたスケーリングに取り組んでいます。
-
ZetaMarketsのBullet L2は極めて高いスループットを実現しており、すべてのステート遷移が証明可能です。
さらに、Aeriusなどのチームもzk証明の実験を進めています。
その他の取り組みとして、AnzaによるZK Token Proofプログラムがあり、SPLトークンの残高および取引金額を暗号化することで、支払いなどのユースケースにおけるプライバシー保護を実現しています。準同型暗号（Homomorphic Encryption）により、データを復号せずに計算を実行できます。このため、プライベート転送ではTwisted ElGamal暗号を用いて暗号文に対する秘匿された数学的演算を行い、Sigmaプロトコルを使用して機微情報を漏らすことなく転送を検証します。復号鍵を持つアカウント所有者のみが自身の暗号化された残高を確認できます。ただし、Solana上のGlobal Auditor System（グローバル監査システム）では、別の復号鍵を通じた選択的読み取りアクセスが可能となっており、コンプライアンスおよび監査目的に対応しています。
TechFlow公式コミュニティへようこそ
Telegram購読グループ：https://t.me/TechFlowDaily
Twitter公式アカウント：https://x.com/TechFlowPost
Twitter英語アカウント：https://x.com/BlockFlow_News
