瀏覽器裏裝上零知識證明會怎樣？速覽zCloak裏程碑進展

原標題 | 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時代讓用戶真正控製自己的數據主權，無需向外發送數據即可完成對數據的分析、計算和證明，從而真正保護用戶的數據隱私。項目未來將采用“零知識證明即服務”的商業模式，打造一站式的多公鏈隱私計算基礎設施。