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