曼谷 Devcon 見聞：ZK 正在掀起一輪「Prove anything」的宏大敘事

撰文：Haotian

這兩天參與了 Eigenlayer \ Altlayer 等聯(lián)合 Proof Summit， RiscZero 主辦的 Provable、ProjectZKM 和 @GOATRollup 等發(fā)起的 ZKHub、以及 ZK Accelerate 等等?；顒颖容^多，不可能都參加。但我串的都是「ZK 場」，一圈跑下來，感覺中了 ZK 的毒，很上頭。

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

我記得 2017 年 ICO 的時候，出現(xiàn)了「一切產(chǎn)業(yè)皆可上鏈」的繁華盛景，比如： 醫(yī)療病例數(shù)據(jù)上鏈、農(nóng)產(chǎn)品從種植到餐桌全過程溯源鏈、供應(yīng)鏈上下游交易融資上鏈等等。盡管，后來事實證明并非所有場景都能實現(xiàn)上鏈，也并非都需要上鏈。但，Onchain Anything 的敘事范式成就了 17 年的牛市的繁華。

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

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

回望過去兩輪周期都在趨于講「上鏈」的故事，Rollup layer2 只是 ZK 發(fā)揮價值的冰山一角。ZK 大爆發(fā)后，自此將沒有鏈上鏈下的分界，以后只有「可驗證計算」新范式。

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

AVS 經(jīng)濟共識系統(tǒng)對 ZK 很重要

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

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

AVS 提供的可商品化封裝輸出的「安全共識」將會助力 ZK 快速構(gòu)建若干中間件協(xié)議服務(wù)網(wǎng)絡(luò)，幫助一系列快速崛起的 ZK 基礎(chǔ)設(shè)施和現(xiàn)有的純鏈上的 VM 環(huán)境實現(xiàn)聯(lián)通。

不用多說，大家也能感受到，Eigenlayer 發(fā)起的這套 AVS 主動驗證服務(wù)系統(tǒng)上下游活躍著太多正在崛起的 ZK 力量，盡管現(xiàn)在看起來還很初期，但讓子彈飛一會兒。

TEE 可驗證執(zhí)行環(huán)境為 ZK 插上翅膀

這場關(guān)于 TEE Salon 要持續(xù)一整天，我沒時間聽完，但意外的是，活動地點是 Google 在曼谷的 Cool 炸天的 Office，出于對世界互聯(lián)網(wǎng)大廠的精神朝圣，參加這個活動著實有點激動。

谷歌的 Confidential Computing 云計算產(chǎn)品線，英特爾的 SGX、TDX 技術(shù)等很想在 TEE 新敘事上找到合適切入點，邏輯很簡單，看看阿里云、華為云、騰訊云一直以來對區(qū)塊鏈的曖昧關(guān)系就清楚了。

在我看來，ZK+TEE 是可驗證計算時代的左右護法，ZK 負(fù)責(zé)計算證明和驗證信息傳輸，TEE 則提供可信執(zhí)行環(huán)境和數(shù)據(jù)隱私。

比如，Aztec 的 dark pool，F(xiàn)abric 要構(gòu)造的 VPU 硬件創(chuàng)新芯片等等，越來越多的項目同時集成 ZK 和 TEE 以及其他 MPC、FHE 的加密算法，以加速全新可驗證計算范式的到來，雖然 TEE 給人感覺還是太傳統(tǒng)，但 ZK 走俏的路上，TEE 一定會出一臂之力；

zkVM 為 ZK Tech 普及提供大基建

來到了 zkHUB 專場活動，ZKM、RiscZERO、Cysic、Mina、Goat Network、Succinct 等等應(yīng)接不暇的 ZK 項目讓人有點眼花撩亂，我說的亂并不是「太多」的概念，而是其上下游的解決方案覆蓋層次和深度令人嘆為觀止。

可能很多人從 @VitalikButerin 的文章中看到 Risc-V 虛擬機正在做的一些創(chuàng)新，在這里我看到 @ProjectZKM 的工程師在系統(tǒng)講解 zkMIPS，一種可簡化 ZK 開發(fā)流程的通用型 zkVM，其減少了開發(fā)自定義 ZK 電路的時間和復(fù)雜度，為 ZK 應(yīng)用開發(fā)提供了標(biāo)準(zhǔn)化的平臺。

區(qū)別于 Risc-V 更偏向硬件的處理器架構(gòu)，zkMIPS 這套偏向軟件的精簡的指令子集可極大優(yōu)化生成零知識證明所需的場景。

zkVM 在模塊化敘事背景下很出圈，很多人都知道 zkVM 比 zkEVM 更有前景，其內(nèi)核邏輯就在于未來的 ZK 一定會脫離原先純鏈上的連接范式。

因此 zkVM 這種，能連接一切 AltVM，能讓以太坊比特幣等成為全鏈環(huán)境統(tǒng)一結(jié)算層，能構(gòu)建一個統(tǒng)一跨技術(shù)架構(gòu)限制的流動性層，真的太重要了。

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

以上。

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

把這句話放進當(dāng)前「模塊化、鏈抽象、zkVM」等正在肢解重構(gòu)的區(qū)塊鏈開發(fā)大環(huán)境下，你一定懂得這句話背后張揚、鼓噪著什么。