原標題 | zCloak 里程碑: 瀏覽器里的零知識證明來了!
zCloak Network 團隊很高興宣布重大技術進展,我們已經成功實現在瀏覽器插件內生成 STARK 零知識證明,
在以上演示中,我們以一個簡單的算法為例來展示相關概念,該算法要判斷用戶的年齡是否大于20歲。如果大于20,計算結果就是 true,否則就是 false。如 Alice 目前是26歲,算法就生成了 “true” 的結果,同時生成一個證明計算過程正確的 STARK 零知識證明,用戶把計算結果和零知識證明發送給第三方,就可以在不出示自己具體年齡的情況下,證明自己大于20歲,
以上過程是如何實現的呢?
我們的技術團隊成功地將基于 Rust 編程語言的零知識證明虛擬機編譯成了 一個 wasm 庫,從而使其可以在瀏覽器內進行運行,這樣任何基于網頁的應用程式以及各種瀏覽器插件錢包都可以使用我們的零知識證明虛擬機進行證明生成與驗證工作了,值得注意的是,使用零知識證明虛擬機技術,就不再需要為每種算法都生成固定的證明電路,這樣可以極大地降低零知識證明算法的開發難度并提高其使用效率。
本項工作的重要意義在于從已有的云計算到“隱形計算”(Cloaked Computation)的計算范式轉移,在Web 3.0 時代,我們主張由用戶控制自己的數據主權,但是如果完全不對外分享自己的數據,又無法享受互聯網時代的種種便利服務,這就造成了一種困境:分享數據,則隱私會被泄露;不分享數據,則無法獲得服務,這也是個人數據隱私遲遲無法得到充分保護的主要原因。
zCloak Network 項目創造性地提出了“隱形數字空間”(Cloaking Space)的概念,將用戶數據加密存儲在用戶自己可以完全控制的存儲空間里,如本地的瀏覽器插件或者行動電話 APP 內,配合 zCloak 的隱形計算技術,對用戶數據和分析和計算將在用戶本地進行,并用零知識證明來保證計算的正確性,而不再需要把用戶數據發送至在中心化的第三方服務器里去,這樣,用戶無需將個人數據發送給互聯網平臺,也可以獲得各種服務;政府機構無需對外共享數據,也能將本部門數據用于業務辦理;銀行無需對外公布企業的賬務資訊,也可以證明企業的經營狀況……可以預見的是,各種在目前技術條件下完全無法實現的數據應用場景將被解鎖,各種的新型的、完全保護用戶數據隱私的互聯網應用將快速到來,
2021年6月10日,全國人大常委會表決通過了《中華人民共和國數據安全法》,為數據隱私保護提供了堅實的法律基礎,zCloak Network 的隱形計算技術將積極為其提供有效的技術支撐。通過數據“不發送,也能用”的隱形計算服務模式,從根本上解決目前困擾業界的數據隱私泄露問題,
關于 zCloak Network
zCloak Network 是基于波卡 Substrate 技術開發的隱私計算服務平臺,使用獨創的 zk-STARK 虛擬機技術為通用計算進行零知識證明的生成與驗證。項目創造性地提出了“隱形數字空間”和“隱形計算”的概念,可以在 Web3.0 時代讓用戶真正控制自己的數據主權,無需向外發送數據即可完成對數據的分析、計算和證明,從而真正保護用戶的數據隱私。項目未來將采用“零知識證明即服務”的商業模式,打造一站式的多公鏈隱私計算基礎設施。
原文鏈接:https://mp.weixin.qq.com/s/MHpaogyK1w6cvxVnRYB4fQ