快捷搜索:

浏览器里装上零常识证明会如何?速览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月十日,全国人大常委会表决通过了《中华人民共和国数据安全法》,为数据隐私保护提供了坚实的法律基础。zCloak Network 的隐形计算技术将积极为其提供有效的技术支撑。通过数据“不发送,也可以用”的隐形计算服务模式,从根本上解决现在困扰业界的数据隐私泄露问题。

关于 zCloak Network

zCloak Network 是基于波卡 Substrate 技术开发的隐私计算服务平台,用独创的zk-STARK 虚拟机技术为通用计算进行零常识证明的生成与验证。项目创造性地提出了“隐形数字空间”和“隐形计算”的定义,可以在Web3.0年代让用户真的控制我们的数据主权,不需要向外发送数据即可完成对数据的剖析、计算和证明,从而真的保护用户的数据隐私。项目将来将使用“零常识证明即服务”的商业模式,塑造一站式的多公链隐私计算基础设施。

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

您可能还会对下面的文章感兴趣: