曼谷Devcon見聞感悟：ZK世界正在「大爆炸」

2024-11-12 16:11:36

這兩天參與了 @eigenlayer \altlayer 等聯合 Proof Summit， @RiscZero 主辦的 Provable、@ProjectZKM 和 @GOATRollup 等發起的 ZKHub、以及 ZK Accelerate 等等。活動比較多，不可能都參加。但我串的都是「ZK 場」，一圈跑下來，感覺中了 ZK 的毒，很上頭。

夢回 ico 時刻：Onchain anything ——>Prove anything

我記得 2017 年 ICO 的時候，出現了「一切產業皆可上鏈」的繁華盛景，比如：醫療病例數據上鏈、農產品從種植到餐桌全過程溯源鏈、供應鏈上下遊交易融資上鏈等等。盡管，後來事實證明並非所有場景都能實現上鏈，也並非都需要上鏈。但，Onchain anything 的敘事範式成就了 17 年的牛市的繁華。

這幾大 ZK 專場活動跑下來也有類似的感覺，ZK 正在掀起一輪「Prove anything」的宏大敘事。

ZK 真正的價值在於實現鏈下計算和鏈上驗證的剝離，讓鏈下計算發揮極致計算效能，才能實現鏈上存儲和執行成本降到最低，ZK Tech 作為「可信橋梁」連接一切。

回望過去兩輪周期都在趨於講「上鏈」的故事，Rollup layer 2 只是 ZK 發揮價值的冰山一角。ZK 大爆發後，自此將沒有鏈上鏈下的分界，以後只有「可驗證計算」新範式。

同時 Prove Anything 的創新探索也正在悄悄燃起，可驗證計算遊戲、身份驗證、 DeFi/RWA、隱私交易、投票治理、AI 模型驗證、物聯網設備可信證明、企業級供應鏈隱私保證等等同時涉及鏈下和鏈上的應用場景，都會被覆蓋。

AVS 經濟共識系統對 ZK 很重要

在 Proof Summit 會上，看到了很多新鮮的項目，比如： @alt_layer 要做一套 VITAL ZK 證明系統，為 OP-Rollup 提供 ZK 證明能力； @alignedlayer 專注於規模化的 ZK 證明生成，探索與 OP Stack 有效集成； @OpacityNetwork 則基於 VDN、zkTLS、MPC 等探索數據隱私和安全共享 infra；@lagrangedevProver Network 則要在 L1 和 L2 之間建立一個專門的證明服務層，為不同的 ZK 證明提供統一共享證明基礎設施。

我之前分析過 Eigenlayer 和其 AVS 服務範式代表以太坊的未來，如果那時只是展望的話。在這個會場上我得到了驗證，altlayer 要為 OP Fraud Proof 做的精進需基於 AVS、Lagrange 要做的統一證明服務層共識需依賴 AVS。

AVS 提供的可商品化封裝輸出的「安全共識」將會助力 ZK 快速構建若幹中間件協議服務網絡，幫助一系列快速崛起的 ZK 基礎設施和現有的純鏈上的 VM 環境實現聯通。

不用多說，大家也能感受到，Eigenlayer 發起的這套 AVS 主動驗證服務系統上下遊活躍着太多正在崛起的 ZK 力量，盡管現在看起來還很初期，但讓子彈飛一會兒。

TEE 可驗證執行環境為 ZK 插上翅膀

這場關於 TEE Salon 要持續一整天，我沒時間聽完，但意外的是，活動地點是 Google 在曼谷的 Cool 炸天的 Office，出於對世界互聯網大廠的精神朝聖，參加這個活動着實有點激動。

谷歌的 Confidential Computing 雲計算產品线，英特爾的 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 在模塊化敘事背景下很出圈，很多人都知道 zkVM 比 zkEVM 更有前景，其內核邏輯就在於未來的 ZK 一定會脫離原先純鏈上的連接範式。

因此 zkVM 這種，能連接一切 AltVM，能讓以太坊比特幣等成為全鏈環境統一結算層，能構建一個統一跨技術架構限制的流動性層，真的太重要了。

相信，在 EVM-Compatible 的敘事尾聲，新的 zkVM 釋放出連接一切的可驗證計算的大基建會是未來多年的持續性熱點。

以上。

最後，就用 RiscZERO VP 的一句話來收尾吧，他說我們所處的區塊鏈正在從以以太坊、Solana 為代表的「服務器時代」進入全新的「Cloud Era 雲時代」。

把這句話放進當前「模塊化、鏈抽象、zkVM」等正在肢解重構的區塊鏈开發大環境下，你一定懂得這句話背後張揚、鼓噪着什么。