jakiro
作者：NingNing ，來源：作者推特@0xNing0x
Pectra升級，是一個比以太坊坎昆升級更大的裡程碑事件。按照當前以太坊開發者會議確定的升級內容，以太坊主網下一次的Pectra升級，將極大地加速以太坊的模塊化進程。
Pertra升級，將直接有利於模塊化、鏈抽象和ZK Prover網絡等賽道的項目。模塊化、鏈抽象我們不再贅述，今天重點聊聊ZK Prover網絡。
ZK技術與區塊鏈技術一樣，都是「創造信任的機器」，不同之處至於它們實現的方法不同。區塊鏈實現信任，依賴的是具有共識機制的分布式帳本系統。而ZK則利用複雜的密碼學工程實現信任。
區塊鏈的實現機制使得區塊鏈存在「不可能三角」，鏈上資源稀缺珍貴，限制了區塊鏈的可擴展性。所以，當前區塊鏈提升可擴展性的兩大趨勢，一個是模塊化讓輕節點負責區塊驗證，另一個就是將信任計算轉移至鏈下用ZK實現。
目前ZK主要應用場景有：ZK Rollup的數據可用性驗證、ZK跨鏈橋中繼層、zkML的計算完整性證明、ZK預言機的價格信息驗證。
此外，Pectra升級的Verkel樹轉型，將引入KZG承諾這一ZK技術，幫助實現以太坊主網的無狀態化。
ZK技術雖然強大，但目前存在ZKP生成耗時過長和Prover中心化的問題。
因此，ZKP生成的硬體加速和去中心化的Prover網絡，在一級市場成了ZK領域繼ZK Rollup之後的新熱門賽道。
近期，這一賽道的Succinct @SuccinctLabs 和 Cysic @cysic_xyz 分別完成了一筆$55M和$12M的融資。
以Cysic @cysic_xyz 為例，團隊具有ZK硬體加速晶片設計能力，在此基礎上推薦ZK證明層Cysic Network。
Cysic Network堆棧由結算層、計算層、Agent（幹員）層三部分組成。
結算層由VC（驗證委員會）和序列器網絡兩部分組成。VC負責檢查計算層的Prover生成證明的有效性。序列器網絡負責執行和更新狀態數據。
計算層是一個無許可的Prover硬體網絡，人們可以使用GPU或者Cysic的Asic硬體加入。
Agent（幹員）層是一個ZK任務市場，由ZK Rollup、ZK跨鏈橋、zkML、ZK預言機等項目構成。
Cysic Network的工作流非常簡明，由Agent層項目發布ZK證明任務，計算層生成ZKP證明，結算層驗證ZKP證明。
由於ZKP生成服務市場目前尚處於早期，產生的收益尚不能覆蓋的Prover的硬體折舊、電力成本、運營維護成本等，所以需要ZK Prover網絡通過發幣的形式向市場融資，再通過PoW的形式將代幣獎勵給Prover節點，以此促進ZKP Prover網絡的採用。
最後展望一下，如坎昆升級催化了一批數十億到數百億FDV的L2，Pertra升級也將催化一批數十億到數百億FDV的ZK Prover網絡。
