曼谷Devcon見聞：ZK掀起「Prove anythings」大敘事

這兩天參與了@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 layer2 只是 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，出於對世界互聯網大廠的精神朝聖，參加這個活動著實有點激動。

Google的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」等正在肢解重構的區塊鏈開發大環境下，你一定懂得這句話背後張揚、鼓譟著什麼。

原文連結