摘要
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