Coinspeaker RISC Zero、DApps 開発用の ZkVM 1.0 をリリース
zk-STARKsベースのゼロ知識検証可能汎用コンピューティングプラットフォームであるRISC Zeroは、zkVM 1.0のリリースを正式に発表しました。The Blockの報道によると、この新製品は新しい汎用zkVMであり、開発チームはこれを製品化の準備が整っていると自負しています。これは、さまざまなブロックチェーンにわたる分散型金融（DeFi）ベースのアプリの開発にzk証明を利用している点で、既存のソリューションとはまったく異なります。
RISC ZeroのzkVM 1.0の機能
zkVM 1.0 のコスト効率に優れた証明プロセスは、他の機能の中でも特に重要な機能の 1 つとして宣伝されています。プラットフォームの開発チームは、パフォーマンス メトリックの改良も追加の利点として強調しました。注目すべきは、zkVM 1.0 は Rust で開発されているため、さまざまなプログラムの証明を生成する機能を備えていることです。
この機能により、複雑なロジックを開発する余地が生まれ、サイズやガスコストに通常伴う制限がなくなります。RISC Zero がこの新しいプラットフォームで目指すのは、オンチェーン DApps の計算作業のかなりの割合をオフロードすることです。zk 証明により、計算の圧縮が実現され、高速で検証されます。これらはすべて、検証者が計算を実行することなく実行されます。
全体として、このメカニズムはブロックチェーン アプリのスケーラビリティを向上させる上で重要な役割を果たします。これにより、オフチェーンでの複雑な操作の実行が容易になり、同時にオンチェーン検証も維持されます。これは、レイヤー 2 ブロックチェーン、クロスチェーン ブリッジ、および効率的で検証可能なコンピューティングが重要な領域での潜在的なユース ケースに当てはまります。
通常、zkEVM は Ethereum 仮想マシン (EVM) 環境向けに特別に調整されていますが、一方で zkVM は DApps の ZK 証明を活用する仮想マシンです。新しくリリースされた zkVM 1.0 の他に、既存の zkVM には Nexus zkVM、人気の Andreessen Horowitz (a16z) 暗号の Jolt、最近 Polygon と AggLayer のコラボレーションに参加した Succinct Labs の SPI などがあります。
近い将来、zkVM 1.0 は、RISC ZERO Verifier を統合するあらゆるブロックチェーン間で DApps の相互運用性をサポートする予定です。その結果、アプリケーションは Ethereum、Base、OP、World Chain、Arbitrum、Starknet などのさまざまなチェーンで動作できるようになります。
zkVM 1.0 のリリースを記念して、RISC Zero は信頼できるセットアップ セレモニーを実施しました。プロジェクトによると、コードは厳格な第三者監査も通過したとのことです。
宇宙と時間のSQLの打ち上げ証明
同様のニュースとして、カリフォルニアを拠点とする暗号通貨スタートアップ企業 Space and Time (SXT) は最近、Proof of SQL と呼ばれる 1 秒未満の ZK 証明スタックをリリースしました。
これは、GitHub 上のこの高性能ゼロ知識証明器へのユーザー アクセスを許可するために作成されました。Proof of SQL は、改ざんされていないデータに対する SQL データベース クエリの正確な計算を暗号的に保証する新しい ZK 証明として設計されています。
ZK モデルの重要な特徴の 1 つは、開発者やユーザーが機密情報を公開することなく、データやトランザクションの有効性や真実性を確認できることです。この機能により、ZK モデルは他のソリューションよりも好まれています。
次
RISC Zero、DApps 開発用の ZkVM 1.0 をリリース