原文作者:Louis Song
原文編譯:GWEI Research
原文作者:
原文編譯:GWEI Research
原文作者:
原文編譯:GWEI Research
原文作者:
原文編譯: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 網絡。
