一文了解 ZKWasm 最新發展

作者：Louis Song，SevenX

編譯：GWEI Research

WebAssembly（WASM）是一種廣泛採用的虛擬機，它徹底改變了 Web 開發。其卓越的效率、可移植性以及與流行編程語言的兼容性使其深受全球開發者喜愛。

WASM 由谷歌、Mozilla、微軟和蘋果共同開發，已經成為構建高性能 Web 應用程序的熱門技術。通過編譯並直接在硬件上執行，WASM 提供了顯著的性能提升。

ZKWasm 是一項創新技術，使開發者能夠使用自己喜歡的編程語言構建零知識應用，並將其部署到支持 WebAssembly（wasm）的環境中。

ZKWasm 使開發者無需重新執行便能驗證已執行計算的正確性。通過利用 ZKWasm，開發者可以靈活地使用各種編程語言構建 ZKP 應用程序。

這些應用程序可以無縫地在 Web 瀏覽器中執行。zkWASM 提供了各種用例，如預言機、鏈下計算、自動化、連接 Web2 和 Web3，以及為機器學習和數據處理生成證明。

隨著採用率的提高，zkWASM 將擴展 Web3 的可能性，並將 Web2 開發者納入這個變革性的格局。

@DelphinusLab 正在領導一個開源的 ZKWasm 實現。他們為通用應用提供了一個 WASM 零知識虛擬機，以無縫替換當前的 WASM 運行時。

通過 Delphinus Lab 的 ZKWasm 實現，開發者可以利用零知識證明的力量來增強其應用程序的安全性和隱私性，為更值得信賴和去中心化的數字格局鋪平道路。

Delphinuslab zkWASM 是迄今為止唯一支持 WASM 字節碼的完全實現和開源的 WASM zkVM。V1 已在 https://github.com/DelphinusLab/zkWasm 上發布。

他們在 halo2 中為 zkWASM 的精煉算術設計提供了前面的解釋：https://twitter.com/DelphinusLab/status/1654305520466161664。

已經有幾個團隊正在使用 ZKWasm 構建創新應用。例如，@HyperOracle ‌正在使用它構建一個可編程的 zkOracle 網絡。

在#ZKSummit9 期間，@DelphinusLab 的創始人@sinka2022‌ 分享了如何將 ZK VM 和 WASM 結合起來，為創新的 web3 應用程序（如鏈上遊戲）提供支持。https://www.youtube.com/watch?v=dLZbfTWLGNI

@zkwasm‌ 是一個新的 L2，利用 zkWASM 虛擬機為所有鏈提供一個可信賴的、通用的多鏈執行層。它將 WASM 環境複製為一個 rollup，並允許開發者像在 EVM 鏈上一樣在其上構建。https://medium.com/@0xwasm/wasm0-zkwasm-a-new-blockchain-environment-for-mass-adoption-15aab385a7ee

儘管 ZKWasm 具有巨大的潛力，但仍然面臨挑戰。一個關鍵障礙是性能，因為 ZKP 方案必須針對客戶端應用程序進行優化。通過提高效率，ZKWasm 可以成為開發者的實際選擇。

@icmeapp 正在嘗試優化 ZKWasm 中的性能挑戰。他們正在探索替代 ZKP 方案，如 SuperNova（一種折疊 ZKP 方案），以提高效率。他們的創始人@wyattbenno 撰寫了一個很棒的線程來解釋折疊方案。https://twitter.com/wyatt_benno/status/1650620615991373824

@icme_app ‌還深入研究了遞歸 ZKP 方案和對 CPU 友好的領域，如 Plonky2 與 FRI，以使 ZKWasm 足夠高效，適用於客戶端應用程序。

總之，zkWASM 有可能成為引領區塊鏈大規模採用的技術創新，通過構建高性能、互操作性應用程序，為 Web3 開啟新世界。讓我們一起解鎖新時代的可能性！