摘要
ZK不是为Web3而生，但决定性的推动了Web3的发展。理清ZK的脉络，不仅是对神奇数学，密码学，隐私计算，心理学，社会科学的总结，更是对其改变扩容、跨链桥、链上游戏、NFT、隐私DID、隐私DeFi，隐私治理等领域的未来的期待。
ZK就像打开Web3百宝箱的“万能金钥匙”，为整个行业的各类垂直赛道提供无穷设计可能的隐私性、安全性和可扩展性。
策展点：持续探讨ZK为行业带来的隐私性、安全性和可扩展性。
策展人：ZK project, Enthusiasts, Practitioners, Researchers
更多探讨：加入Discord Curation-ZK 频道
策展集阅读：
https://daorayaki.org/topic/6425d97d86f1621ca0370cae
精彩观点
01
Vitalik
ZK-SNARKs正在朝着更快、更高效、更安全的方向前进。
——《Halo以及未来：探索无需pairings的增量验证以及SNARKs技术》https://daorayaki.org/post/63ed1a7bea54bf18a68d3c59
02
Kobi Gurkan
zkSNARKs是一种创建零知识证明的方法。具体来说，是简洁的、非交互式的创建零知识证明的方法。
——《创建假的zkSNARK证明》
https://daorayaki.org/post/63ed2813ea54bf18a68d4095
03
Killari
在以太坊上执行复杂的函数一直是一个大忌，永远不应该这么做。区块链计算是非常昂贵的，因为需要所有节点执行相同的计算来验证其正确性。
StarkWare 是以太坊扩展服务之一，它试图使用 STARK（可扩展的透明知识论证）证明来扩展以太坊。在这篇文章中，我不会太深入于 STARK 是如何工作的，但我将对它在实践中的应用做一个实际的概述。
——《zk-STARK: 在以太坊上验证复杂的自动对战计算》
https://daorayaki.org/post/64195a7e27181aefa35ffbe3
04
姚翔
零知识证明对于整个行业的未来发展起到至关重要的作用，本期一起聊一聊如何看待并理解零知识证明。
——《DAOrayaki Podcast ｜对话姚翔：解读零知识证明（ZKP）的前世今生》
https://daorayaki.org/post/63ec77b7d8c1277f21f6a8b1
05
Jonathan W., Vincent H., and Yi Sun
配对是许多加密协议的核心组成部分。本文我们介绍circom-pairing，一种在 Circom 用于椭圆曲线配对的 zkSNARK 电路的概念验证实现。
——《zkPairing：椭圆曲线配对的 zkSNARKs》
https://daorayaki.org/post/63f3a273950f95cf0fe7d904
06
A16z
我们目前正处于零知识证明方案的一系列进展的早期阶段——但就在过去十年中，速度、效率、用户友好性和去中心化方面的改进令人震惊。
——《去中心化的速度：零知识证明的进步》
https://daorayaki.org/post/63eb7c33b57d753532bd03f8
07
姚翔
在上一期播客中，我们对零知识证明进行了详细的溯源，本期将就ZKP在实际场景中的用例进行探讨。
——《DAOrayaki Podcast ｜对话姚翔：零知识证明（ZKP）的应用场景》
https://daorayaki.org/post/63ec79ccd8c1277f21f6a99e
08
PaulRBerg
让非技术人员可以从案例中了解ZKP的隐私保护、透明度、分布式计算。
https://daorayaki.org/post/63e3a9e13dda0e75d27eb38d
09
0xPARC
这篇文章是作为系列文章中的第一篇，介绍了为什么密码学的进步对于实现新的身份基元非常重要。在这篇文章中涵盖了“为什么”；下篇文章将解释“如何做”。
——《为什么Web3需要ZK身份？》
https://daorayaki.org/post/63ee2150b20cb778625d2480
10
0xPARC
关于为什么密码学的新进展可能对数字身份基元很重要。上一篇DAOrayaki介绍了“DAOrayaki ｜为什么Web3需要ZK身份？”；这篇文章介绍“如何实现”。
https://daorayaki.org/post/63ee2231b20cb778625d2555
11
Ethereum
在这篇文章中，将提出 Collaborative Rollup，一种新型的 Rollup，它基于从执行分片方案派生的多委员会，因此具有相同的安全模型。
——《Collaborative Rollup：无需 ZK EVM的更快确定性提案》
https://daorayaki.org/post/63ee3dcf6285b6bdf963acc5
12
Aztec Team
由于ZK堆栈的复杂性，导致ZK开发者数量很少。为了突破这一困局，Noir应运而生。该语言由Aztec团队开发，致力于成为编写与任何证明系统兼容的 zk 应用程序的最简单方法。
https://daorayaki.org/post/63eb7c33b57d753532bd03f8
