zCloak Network 团队非常高兴地宣布，我们刚刚在浏览器扩展中实现了第一个 STARK 证明生成。

演示中有什么？在演示中，我们有一个简单的算法来判断一个人是否超过 20 岁。为 26 岁的 Alice 获得了“真”的结果，并生成了一个 STARK 证明来证明她的计算的正确性（完整性）。如果 Alice 将结果和证明发送给第 3 方，她将能够证明她已超过 20 岁，而无需透露她的确切年龄。

它是如何实现的？我们已经设法将 Rust ZKP 虚拟机变成了一个 wasm 库，并使其可供 js/ts 前端（例如网页或浏览器扩展）访问。现在，用户可以对他们的私人数据进行广泛的计算/分析，并生成一个零知识证明来证明他们的计算完整性。请注意，使用 ZKP 虚拟机，您不必再为每个算法手写电路/空气。

它为什么如此重要？这个实验意味着计算范式的转变——从云计算到隐形计算。我们越来越接近 Web 3.0 的目标——不再需要将您的私人数据发送到集中式服务器。现在您可以在本地空间中使用您的数据，并通过零知识证明证明您的计算是正确的。这对数据隐私保护意义重大。毕竟，如果您不必与任何第三方共享您的数据，那么他们就无法滥用/泄露您的数据。

您可以查看本文以获取有关 zCloak Network 项目的更详细的技术概述。

关于zCloak Network

zCloak Network 是一个基于 Polkadot 的以隐私为中心的计算平台。它使用新颖的 zk-STARK 虚拟机进行通用计算。它启用了一种称为 Cloaking Space 的新计算范式，它为 Web 3.0 提供了一个私有且可扩展的计算环境。借助 zCloak Network，人们可以将他们的真实数据用于 DeFi、NFT 应用程序等，而不会泄露他们的隐私。zCloak Network 将对主要公共区块链采用零知识证明即服务的商业模式。

Twitter | Blog | Website | Github

英文原文链接：https://zcloaknetwork.medium.com/zkp-in-a-browser-you-got-it-52606bc3c976