作者:ソラナ

編集者: Felix、PANews

Solana の ZK (ゼロ知識) と検証可能性の領域は、あなたが知らないかもしれないダークホースです。以下は、Solana の ZK、検証可能性、およびプライバシー プロジェクトの概要です。

Solana ネットワーク上で公式に認められたゼロ知識証明プロジェクトのリスト

全体として、Solana のインフラストラクチャは次のことに役立ちます。

ネットワークパフォーマンスの向上

  • アプリケーション開発者のコ​​ストを 1,000 倍節約
  • 非同期実行
  • ステータス成長ソリューション

セキュリティの向上

  • オンチェーンアプリケーションのプライバシーと機密性
  • 検証可能性
  • 分散型証明者ネットワーク

Solana には zk-rollup も実装されています。

以下でそれぞれについて説明します。

  • プライバシーと検証可能性
  • 匿名
  • ZK ベースの拡張機能と zkVM
  • ZKを使用したネットワーク拡張スタック
  • ZKプログラム

注: これらのカテゴリはわかりやすくするためにグループ化されており、重複する場合があります。

プライバシーと検証可能性:

Arcium: 暗号計算を実行するためのトラストレスで検証可能で効率的なフレームワークを提供することで、オンチェーン アプリケーションの機密性を確保します。

たとえば、AI モデルは暗号化されたデータでトレーニングでき、DeFi はそれを機密取引に使用できます。

Solana ネットワーク上で公式に認められたゼロ知識証明プロジェクトのリスト

Anagram によって構築された Bonsol は、Solana 上でネイティブに検証可能なコンピューティング システムであり、開発者は次のことを行うことができます: プライベートおよびパブリック データ上で完全に検証可能な実行可能ファイル → それらの妥当性を数学的に保証 → 結果を Solana スマート コントラクトに統合し、チェーン上の Proved で使用します。

Solana ネットワーク上で公式に認められたゼロ知識証明プロジェクトのリスト

匿名

Darklake: トランザクションベースの暗号 AMM を構築し、リアルタイムで MEV 耐性のある注文執行を提供する Solana 上の最初の DEX となることを目指しています。

ダーク プロトコル: ZK-snarks を利用した市場ガバナンスの匿名プロトコルを構築します。

ZKP ベースの拡張機能

ZK 圧縮: Light Protocol と Helius によって提供される ZK 証明 + 状態圧縮を備えた新しい Solana アカウント プリミティブにより、Solana アプリケーション開発者のレンタルコストが 1000 分の 1 に削減されます (ゼロ知識証明と圧縮を活用して、チェーンに保存されるデータ量を削減します)。 。

チームは、次の側面から ZK 圧縮の構築を開始しました。

  • ウォレット バックパック - ユーザーは家賃を支払わずにトークンを保持します
  • 消費者向けソーシャル アプリ Tribe.run – クリエイターは低コストでトークンを送信できます
  • Airdrop ツール Airship (Helius によって発売)

ZKVM

RISC Zero と Succinct は、チェーン計算に制限されることなく、チェーン上の任意の計算を証明するのに役立ちます。これは次の方法で実現できます。

  • ZK を搭載した Solana ライトクライアント
  • 合理化された DePIN ネットワーク
  • 安全でシームレスな ZK ログイン

Solana ネットワーク拡張スタック

zkSVM が適用されています:

1. Solforge ネットワーク: ZKP メソッドと ZK 圧縮を使用したネットワーク拡張スタック:

  • ステータス更新の証明をストリーミングするための拡張機能を有効にする
  • LightSVM、プルーフ生成用に最適化

2. Termina: 遅延の削減、プライバシーの向上、計算コストの削減により、特定のユースケースのニーズを満たす SVM ネットワーク展開プラットフォーム。

3. Sonic SVM: ゲームおよびアプリケーション用の SVM スタック。ZK および Hypergrid によっても拡張されています。

Solana ネットワーク上で公式に認められたゼロ知識証明プロジェクトのリスト

Solana ネットワーク上で公式に認められたゼロ知識証明プロジェクトのリスト

4. Bullet は、Zeta Markets によって開始された超低レイテンシーのロールアップで、非常に高いスループットまで拡張でき、すべての状態遷移が証明可能です。

さらに、Aerius Labs のようなチームは ZK 証明を実験しています。

ZKプログラム

その他の取り組みには、Anza が立ち上げた ZK Token Proof イニシアチブが含まれます。これは、買掛金などのユースケースのプライバシーを保護するために暗号化された SPL トークンの残高と取引金額による暗号通貨転送をサポートします。

最近リリースされた ZK 圧縮から今後のさまざまなシステム コールに至るまで、Solana は ZK の強力なエンジンになりつつあります

関連記事: Solana Lianchuang: Solana のステータスを向上させるための解決策は何ですか?