原文作者:Haotian(X: @tme l0 211 )
這兩天參與了 @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」等正在肢解重構的區塊鏈開發大環境下,你一定懂得這句話背後張揚、鼓譟著什麼。