浏览器里装上零知识证明会怎样？速览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 时代让用户真正控制自己的数据主权，无需向外发送数据即可完成对数据的分析、计算和证明，从而真正保护用户的数据隐私。项目未来将采用“零知识证明即服务”的商业模式，打造一站式的多公链隐私计算基础设施。

原文链接：https://mp.weixin.qq.com/s/MHpaogyK1w6cvxVnRYB4fQ