Devcon Bangkok: ZK は「何でも証明する」という大きな物語を打ち立てました。

robot
概要作成中

この数日、@eigenlayer \altlayer などが主催する Provable、@ProjectZKM および @GOATRollup が発起した ZKHub、および ZK Accelerate など、複数のイベントに参加しました。すべてのイベントに参加することはできませんが、参加したすべてのイベントは「ZK の世界」に関連しており、参加したことで ZK の魅力に取り憑かれました。

ICOの時代に戻る:オンチェーンな何でも−−〉何でも証明する

2017 年のICOの時、『すべての産業がチェーンに乗せられる』という繁栄した景気が現れました。たとえば、医療事例データのチェーンへの登録、農産物の生産から食卓までの完全な経緯の追跡チェーン、サプライチェーンの上流と下流の取引金融のチェーン化などです。後に、実際の事実はすべてのシーンがチェーンに乗せられることができるわけではないこと、またすべてがチェーンに乗せる必要があるわけではないことを証明しました。しかし、Onchain anythingの叙事のパラダイムが17年のブル・マーケットの繁栄をもたらしました。

これらのZKの専門イベントを実行すると、ZKは壮大な「何でも証明する」の波を引き起こしているように感じます。

ZK の真の価値は、オフチェーンの計算とオンチェーンの検証の分離を実現し、オフチェーンの計算を最大限に活用してオンチェーンのストレージと実行コストを最小限に抑えることです。ZK Tech は「信頼できる橋」としてすべてをつなぎます。

回顧すると、過去の2つのサイクルはすべて「オンチェーン」の話に向かっており、Rollup layer2 は ZK の価値を発揮する氷山の一角に過ぎない。ZK の大爆発の後、これ以上オンチェーンオフチェーンの区別はなく、今後は「検証可能な計算」の新しい範式だけが存在する。

同時に、Prove Anythingのイノベーションの探求も静かに燃え上がっており、検証可能な計算ゲーム、身分確認、DeFi/RWA、シールドトランザクション、投票ガバナンス、AIモデルの検証、モノのインターネットデバイスの信頼性証明、企業向けサプライチェーンのプライバシー保証など、オフチェーンとオンチェーンの両方をカバーするアプリケーションシナリオが含まれています。

AVSの経済的コンセンサスシステムはZKにとって重要

Proof Summitでは、OP-RollupにZKプルーフ機能を提供するVITAL ZKプルーフシステムを作るための@alt_layerなど、多くの新しいプロジェクトを見ました。 @alignedlayer 大規模なZKプルーフ生成に焦点を当て、OPスタックとの効果的な統合を検討します。 @OpacityNetwork、VDN、zkTLS、MPCなどに基づくデータプライバシーと安全な共有インフラを探ります。 @lagrangedevProver Network は、L1 と L2 の間に専用の構成証明サービスレイヤーを確立し、さまざまな ZK 証明に統一された共有構成証明インフラストラクチャを提供します。

以前、私はEigenlayerとそのAVSサービスパラダイムがETH坊の未来を代表すると分析しましたが、それは単なる展望に過ぎませんでした。この会場で、altlayerがOP Fraud Proofに関して行う進展は、AVSに基づく必要があります。また、Lagrangeが行う統一された証明サービス層のコンセンサスも、AVSに依存する必要があります。

AVSが提供する商品化可能なパッケージ出力の「安全コンセンサス」は、ZKが短期間で複数のミドルウェアプロトコルサービスネットワークを構築するのを支援し、急速に台頭しているZKインフラストラクチャと既存の純粋なチェーン上のVM環境の接続を実現するのに役立ちます。

言わずと知れたように、Eigenlayerによって立ち上げられたこの罠のAVSアクティブ検証サービスシステムには、新興のZK力がたくさん活気づいています。現時点ではまだ初期段階ですが、しばらくは弾丸を飛ばしてみてください。

TEEの可検証実行環境はZKに羽をつける

TEE Salon に関するこの一日中続くイベントは、最後まで聞く時間がありませんが、意外なことに、イベントの場所はバンコクの Google のクールなオフィスで、世界のインターネット大手企業に対するスピリチュアルな巡礼として、このイベントに参加することは少し興奮しています。

GoogleのConfidential Computingクラウド製品ライン、IntelのSGX、TDX技術などは、TEEの新しいストーリーで適切な切り口を見つけたいと考えています。これは、アリババクラウド、ファーウェイクラウド、テンセントクラウドがブロックチェーンに対して常に曖昧な関係を持っていることを見れば明らかです。

私の見解では、ZK+TEEは検証可能な計算の時代の守護者です。ZKは計算の証明と情報の検証を担当し、TEEは信頼できる実行環境とデータのプライバシーを提供します。

例えば、Aztec の dark pool、Fabric が構築する VPU ハードウェアイノベーションチップなど、ますます多くのプロジェクトが同時に ZK と TEE および他の MPC、FHE の暗号化アルゴリズムを統合し、新しい検証可能な計算パラダイムの到来を加速させています。TEE はまだ伝統的すぎると感じさせますが、ZK が人気のある道を歩む中で、TEE は確実に力を発揮するでしょう。

zkVMはZK Techの普及のための大規模プロジェクトを提供します

zkHUBのイベントに参加して、ZKM、RiscZERO、Cysic、MINA、Goat Network、Succinctなど、眩惑的なZKプロジェクトが次々と現れ、私が言う混乱とは「多すぎる」という概念ではなく、上流と下流の解決策の包括的なレイヤーとデプスが驚くほど素晴らしいということです。

多くの人々が @VitalikButerin の記事で Risc-V 仮想マシンが行っているイノベーションを見るでしょうが、ここでは @ProjectZKM のエンジニアが zkMIPS という ZK 開発プロセスを簡素化する汎用 zkVM をシステム的に説明しています。それにより、カスタム ZK 回路の開発時間と複雑さを減らし、ZK アプリケーションの開発に標準化されたプラットフォームを提供しています。

Risc-Vとは異なり、ハードウェア志向のプロセッサアーキテクチャに対し、zkMIPSはソフトウェア志向の簡素な命令セットによって、ゼロ知識証明の生成に必要なシーンを大幅に最適化することができます。

zkVMはモジュール化されたナラティブの背景で非常に特異な存在であり、多くの人々がzkEVMよりも将来性があると知っています。その核となるロジックは、将来的には従来の純粋なチェーン上の接続パラダイムから脱却する必要があることにあります。

したがって、zkVMはAltVMをすべて接続し、ETHやBTCなどを統合的な決済レイヤーとすることができ、技術的な制約を超えた流動性レイヤーを構築することができるため、本当に重要です。

信じていますが、EVM-Compatible の物語の最後に、新しいzkVMがすべてを結びつける検証可能な計算の大規模なインフラストラクチャを展開し、将来数年間の持続的なホットトピックになるでしょう。

上。

最後、RiscZERO VPの言葉で締めくくります。彼は、私たちのいるブロックチェーンが、イーサリアムやソラナを代表とする「サーバー時代」から新たな「クラウドエラ」時代に移行していると述べています。

この言葉を現在の「モジュール化、チェーンの抽象化、zkVM」などの分解再構築中のブロックチェーン開発の大環境に置くと、あなたはこの言葉が何を表しているのかを理解しています。

元のリンク

原文表示
  • 報酬
  • コメント
  • 共有
コメント
コメントなし