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