zk-SBT 利用 ZKPs 和 zk-STARK VM 来维护隐私、去中心化和去信任，或将改变 Web3 时代的 KYC 格局。

zCloak Network 于北京时间 2023 年 4 月 27 日晚 8 点组织了一场线上沙龙，主题是“Web3 安全信任问题层出不穷，聚焦行业解决新方案”。来自 zCloak 的创始人张晓、香港理工大学数字资产智库的 Tom、LegalDAO 的联合创始人图图以及 SharkTeam 的联合创始人 Adam 出席了本次线上沙龙。

Web3信任基础设施的建设需要全行业的共同努力，Valid ID去中心化的架构设计正是为了把身份的控制权交到每个机构自己手中。

zkEVM 通过生成零知识证明来验证程序的正确性，它以支持零知识技术的方式执行智能合约。 zkEVM 是 zk-rollups 的一部分。zk-rollups 是以太坊 L2 扩展解决方案，它通过将计算和状态存储转移到链外来提高吞吐量，并将交易数据与零知识证明一起提交给以太坊，以验证链外交易批的有效性。 早期的 zk-rollups 无法执行智能合约，只被局限地应用在简单的代币交换和支付之中。随着引入 EVM 兼容的 zkVM，zk-rollups 才开始支持以太坊 dApps。 在这篇文章中，我们将探讨 zkEVM 如何工作，为什么它如此重要，以及目前有哪些类型的 zkEVM。

可移植性、可扩展性和信任是我们要评估的最重要的因素。可移植性允许人们在更换供应商的时候无损社交生活；可扩展性允许人们参与到全局对话中；信任建立则是让人们了解服务对它们的数据执行了什么样的操作，以及通过让人们知道数据是如何在他们的信息流中被推广或被删除 。深入探讨下这三点。

完整性对去中心化技术的未来至关重要

史上优秀行业研究实验室在开创许多现代技术方面都发挥了关键的作用。两个成功的现代研究实验室例子包括 DeepMind 和 OpenAI ，都是在人工智能领域取得根本性进步后成立的。此后，它们都将该领域推向了新的高度。

零知识证明提供了一种方法，在不透露一组信息或数据的具体细节内容的情况下，以加密方式证明对这组特定信息或数据的了解。

可验证数字凭证（Verifiable Credentials: VC）是安全数字身份世界里的下一个前沿领域。它们解决了如今我们在文件和身份方面所面临的许多问题。

以下基于《Anatomy of a STARK》系列，STARK 算法解析第 5 部分: A Rescue-Prime STARK

伴随现实世界和数字世界越来越融合的同时，也出现了许多亟需解决的新挑战，如：侵犯隐私，安全漏洞和数据所有权问题。

什么是 DID 方法？DIDs 是如何工作的？

以下基于《Anatomy of a STARK》系列，STARK 算法解析第 4 部分: STARK Polynomial IOP

以下基于《Anatomy of a STARK》系列，STARK 算法解析第 3 部分: FRI

本文旨在回顾最近 ZKRs 生态的发展，明晰当前 ZK 项目的生态位置，以及了解一些项目 Token 发行的潜在时间线。

此篇将介绍 Polygon Zero，了解 Polygon Zero 是什么，它是如何走到今天的，以及它与其它解决方案的区别。

Polygon Hermez 是一个为帮助在以太坊上进行便宜且安全的转账/支付而优化的 ZK-Rollup。Polygon Nightfall 是一个为企业提供隐私保护的 ZK-Rollup。今天将介绍 Polygon Miden，一个基于 STARK 的 ZK-Rollup 。

以下基于《Anatomy of a STARK》系列，STARK 算法解析第 2 部分:有用的“工具”。

每个 ZK 解决方案有不同的功能侧重点，这篇文章先介绍 Polygon Hermez 。

KYC/AML 政策不仅是为了防止用户的身份被盗取，也是为了防止企业参与非法交易和其他某种形式的恶意的网络活动，这些政策背后的想法归根结底是为了保护组织和其用户。