RISC Zero Launch、DApps開発用のZkVM 1.0

ブロックチェーンテクノロジーとゼロ知識証明の背景を持つ研究者として、私はこの分野の最近の発展、特に RISC Zero の zkVM 1.0 と Space and Time の Proof of SQL の発表に興奮しています。

zk-STARK 主導のゼロ知識検証可能コンピューティングの先駆的なプラットフォームである RISC Zero は、実稼働対応の zkVM 1.0 を発表しました。 The Blockのレポートによると、この新しい汎用zkVMは、ゼロ知識証明を使用してさまざまなブロックチェーン上で分散型金融（DeFi）アプリを作成する際のアプリケーションのおかげで、既存の代替手段より際立っています。

RISC Zero の zkVM 1.0 の機能

zkVM 1.0 の費用対効果の高い証明プロセスは、とりわけその重要な機能の 1 つとして宣伝されています。プラットフォームの背後にあるチームは、追加の利点としてパフォーマンス指標が優れていることも強調しました。注目すべき点は、zkVM 1.0 には、Rust で開発されているのと同じくらい、さまざまなプログラムのプルーフを生成する能力があります。

RISC Zero の革新的なプラットフォームでは、サイズやガス費用に関連する従来の制約を克服して、複雑な推論を繁栄させることができます。私たちの目的は、計算負荷のかなりの部分をオンチェーンの分散型アプリケーション (DApps) から移行することです。ゼロ知識証明を通じて、計算を圧縮し、驚異的な速度で真に検証します。この検証プロセスは、検証者が個人的に計算を実行する必要なしに行われます。

アナリストとして、このメカニズムにより、オンチェーンでの検証を確保しながらオフチェーンでの複雑なトランザクションの処理が可能になり、ブロックチェーンアプリケーションのスケーラビリティが大幅に向上すると断言できます。そのアプリケーションは、レイヤー 2 ブロックチェーン、クロスチェーンブリッジ、および効率的で検証可能なコンピューティングを必要とする領域にまで拡張されています。

通常の状況では、zkEVM はイーサリアム仮想マシン (ETH-VM) エコシステム専用に設計されています。ただし、zkVM は、ゼロ知識 (ZK) 証明を利用して分散型アプリケーション (DApp) を強化する、異なる種類の仮想マシンを表します。最近デビューした zkVM 1.0 のほかに、注目すべき代替案には、Nexus zkVM、Andreessen Horowitz の暗号化チームの Jolt、Succinct Labs の SPI が含まれます。後者の 2 つは、それぞれ Polygon と AggLayer のコラボレーションに統合されました。

それほど遠くない将来、zkVM 1.0 により、RISC ZERO Verifier を備えたブロックチェーンを介して DApp が相互に通信できるようになります。その結果、これらのアプリケーションは、Ethereum、Basis、Optimism、Wanchain、Arbitrum、Starknet などの複数のプラットフォーム上でシームレスに機能できます。

zkVM 1.0 のデビューを開始するために、RISC Zero は信頼できるセットアップイベントを開催しました。プロジェクトによって確認されたように、コードは外部監査会社による徹底的な検査を受けています。

SQL の空間と時間の起動証明

カリフォルニアの暗号通貨会社スペースアンドタイム (SXT) は、Proof of SQL という名前の 1 秒未満の ZK 証明システムを発表しました。

GitHub 上のこの高性能ゼロ知識証明者は、ユーザーがアクセスできるように作成されました。革新的なゼロナレッジ (ZK) 証明である Proof of SQL は、暗号化手段を通じて未変更のデータに対する SQL データベースクエリの確実な実行を保証します。

ZK モデルアナリストとして、ゼロ知識 (ZK) モデルの大きな利点の 1 つは、機密情報を開示することなく、特定のデータまたはトランザクションの正確性または真実性を認証できることであることを強調したいと思います。この特性により、市場の代替ソリューションとは一線を画します。

2024-06-18 11:51