DAOrayaki策展｜EP26—ZK，打开Web3百宝箱的 “万能金钥匙”

摘要

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的隐私保护、透明度、分布式计算。

——《Web3 非技术人员的零知识证明（Zk）指南》

https://daorayaki.org/post/63e3a9e13dda0e75d27eb38d

09

0xPARC

这篇文章是作为系列文章中的第一篇，介绍了为什么密码学的进步对于实现新的身份基元非常重要。在这篇文章中涵盖了“为什么”；下篇文章将解释“如何做”。

——《为什么Web3需要ZK身份？》

https://daorayaki.org/post/63ee2150b20cb778625d2480

10

0xPARC

关于为什么密码学的新进展可能对数字身份基元很重要。上一篇DAOrayaki介绍了“DAOrayaki ｜为什么Web3需要ZK身份？”；这篇文章介绍“如何实现”。

——《实现可用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 应用程序的最简单方法。

——《解读Noir：零知识（ZK）的通用语言》

https://daorayaki.org/post/63eb7c33b57d753532bd03f8