Source: Solana; Translation: golden finance xiaozou
ソラーナのZK(ゼロ知識)ドメインと検証可能性ドメインはあまり知られていないかもしれないが、間違いなくダークホースだ。はダークホースだ。この記事では、SolanaのZK、検証可能性、プライバシープロジェクトを簡単に紹介します。

全体として、Solanaインフラストラクチャは次のことを支援します:
--アプリ開発者の数千倍のコスト削減
--非同期実行
。
--オンチェーンアプリケーションのプライバシーと機密性
--検証可能性
--分散型証明者ネットワーク
SolanaでもZK-rollupがあります!
1つずつ見ていきましょう:
-- プライバシーと検証可能性
-- 匿名性
-- ZKベースの拡張機能とZKVM
-- ZKネットワーク拡張機能スタック
-- ZKネットワーク拡張機能
-- ZKネットワーク拡張機能-- ZKプロジェクト
注意:これは再分類されており、理解しやすいように以下と重複しているかもしれません。
1.プライバシーと検証可能性
アルキウムは、プライバシーのあるオンチェーンアプリケーションにプライバシーを提供するのに役立ちます。アプリケーションにプライバシーを提供するのに役立ちます。例えば、AIモデルは暗号化されたデータを使ってトレーニングすることができ、DeFiは機密取引に使うことができます。

アナグラムは、開発者が以下を作成できるようにするSolanaネイティブ検証可能コンピューティング・システム、Bonsolを紹介します:
プライベートまたはパブリックデータの完全に検証可能な実行可能ファイル → その妥当性を数学的に保証 → その結果をSolanaスマートコントラクトに統合し、オンチェーンで検証。
2. 匿名性
2.Darklakeは、リアルタイムのMEV耐性注文執行を提供するSolana初の分散型取引所となることを目指す、プライバシースワップ取引AMMを作成しました。Dark Protocolは、ZK-snarksを搭載した市場管理型匿名プロトコルを開発しました。
3.ZKPベースの拡張機能
ZK圧縮はライトプロトコルとヘリウスの共同事業です!ZKプルーフと状態圧縮を備えた新しいSolanaプリミティブで、Solanaアプリ開発者のレンタルコストを1,000分の1に削減します。

チームは以下の分野でZK圧縮を開発しました:
。-- ウォレット(Backpackなど):ユーザーは賃料を支払うことなくトークンを保有できます。
-- コンシューマー向けソーシャルアプリ(Tribe.runなど):クリエイターは低コストでトークンを送ることができます。
-- Helius Airshipのようなエアドロップ・ツール

4、ZKVM。
RISC ZeroおよびSuccinctは、連鎖計算とは独立した任意のオン連鎖計算の証明に役立ちます。
-- ZKベースのSolana Lightクライアント
--合理化されたDePINネットワーキング
--をサポートできます。安全でシームレスなZKログイン

5.align: left;">zkSVMは以下に適用されます:
-- Solforge: このネットワーク拡張スタックは、ZKP手法とLight ProtocolのZK圧縮を使用して、状態更新ストリーミング証明の拡張と、Solanaネットワーク拡張スタックに最適化された証明の生成をサポートします。
-- Termina: 待ち時間を短縮し、プライバシーを向上させ、計算コストを削減する、ユースケースに特化したSVMネットワーク展開プラットフォーム。
-- Sonic SVM: ゲームとアプリ用のSVMスタックで、ハイパーグリッドでZK拡張が進行中。

-- bulletxyz: ZetaMarketsが開発した超低レイテンシーのロールアップで、非常に高いスループットまでスケールします。すべての状態遷移が証明可能。さらに、Aerius LabsなどのチームがZK証明関連の実験を行っています。

6、ZK計画
AnzaのZKトークンプルーフスキームのような他のスキームは、機密転送をサポートし、買掛金のようなユースケースのプライバシーを保護するためにSPLトークンの残高と取引額を暗号化します。
最近リリースされたZK圧縮から、まもなくオンラインになるさまざまなシステムコールまで、Solanaは強力なZKエンジンになりつつあります。この記事は、Solana上でのZKと検証可能性の初期開発について理解していただくための簡単な要約に過ぎません。