一文讀懂ZKWasm及其最新進展

原文作者:Louis Song

原文編譯: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 上釋出。

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

已經有幾個團隊正在使用 ZKWasm 構建創新應用。例如,@HyperOracle 正在使用它構建一個可程式設計的 zkOracle 網路。

在#ZKSummit 9 期間,@DelphinusLab 的創始人@sinka 2022  分享瞭如何將 ZK VM 和 WASM 結合起來,為創新的 web3 應用程序(如鏈上游戲)提供支援。https://www.youtube.com/watch? v=dLZbfTWLGNI

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

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

@icme_app 正在嘗試最佳化 ZKWasm 中的效能挑戰。他們正在探索替代 ZKP 方案,如 SuperNova(一種摺疊 ZKP 方案),以提高效率。他們的創始人@wyatt_benno 撰寫了一個很棒的執行緒來解釋摺疊方案。https://twitter.com/wyatt_benno/status/1650620615991373824 

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

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

發佈留言

發佈留言必須填寫的電子郵件地址不會公開。 必填欄位標示為 *