摘要
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身份？”；這篇文章介紹“如何實現”。
——《 實現可用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
