a16z crypto出過一系列經典文獻,從去年的DAO經典到更早的NFT經典(以及在此之前是最初的加密經典)。
本文, a16z crypto為那些尋求理解、深入和構建零知識的人挑選了一組資源:強大的基礎技術,這些基礎技術掌握著區塊鏈可擴展性的關鍵,代表著隱私應用程序的未來,包括加密/web3中的應用程序,以及無數其他創新。
這些創新由來已久:Shafi Goldwasser、Silvio Micali和Charles Rackoff于1985年引入了零知識證明系統,并對密碼學領域產生了變革性的影響;他們因此獲得了2012年ACM圖靈獎。由于這項工作已經醞釀了數十年,尤其是在從理論到實踐的過程中,我們還首次在我們的經典系列中分享了第二部分,由Justin Thaler按主題和年表組織注釋的閱讀清單。
本文為第一部分。
其中一些論文也更多地涉及一般的密碼學(并非都是零知識本身),包括概述當今零知識證明解決的問題或關鍵進展:如何確保開放網絡中的隱私和身份驗證。
New directions in cryptography (1976)——密碼學新方向 (1976)
作者:Whitfield Diffie和Martin Hellman
https://ee.stanford.edu/~hellman/publications/24.pdf
A method for obtaining digital signatures and public-key cryptosystems——一個獲得數字簽名和公鑰密碼系統的方法
作者:Ronald Rivest、Adi Shamir、Leonard Adelman
https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=856E21BC2F75800D37FD611032C30B9C?doi=10.1.1.40.5588&rep=rep1&type= pdf
Protocols for public key cryptosystems (1980)——公鑰密碼系統協議 (1980)
作者:Ralph Merkle
http://www.merkle.com/papers/Protocols.pdf
Secure communications over insecure channels (1978)——通過不安全通道進行安全通信 (1978)
https://www.merkle.com/1974/PuzzlesAsPublished.pdf
Use of elliptic curves in cryptography (1988)——在密碼學中使用橢圓曲線 (1988)
作者:Victor Miller
https://link.springer.com/content/pdf/10.1007%2F3-540-39799-X_31.pdf
The knowledge complexity of interactive proof-systems (1985)——交互式證明系統的知識復雜性 (1985)
金色晚報 | 11月22日晚間重要動態一覽:12:00-21:00關鍵詞:俄羅斯、安永、薩爾瓦多、國務院
1.俄羅斯聯邦稅務局局長:加密貨幣可能會侵蝕國家稅收利潤;
2.安永:近三分之一的對沖基金經理計劃投資加密貨幣;
3.Celsius Network向其在北美的比特幣挖礦業務追加3億美元投資;
4.薩爾瓦多總統:完善比特幣城市的基礎設施預計需要耗資約30萬比特幣;
5.福建發改委:堅決有力實現虛擬貨幣“挖礦”“清零”目標;
6.國務院:支持金融機構深化運用區塊鏈等技術手段,改進授信審批和風險管理模型;
7.摩根大通:NFT市值升至70億美元;
8.世界經濟論壇組織:加密貨幣用戶群體存在嚴重性別差異;
9.澳大利亞監管機構正與立法者合作制定數字貨幣規則。[2021/11/22 7:04:44]
作者:Shafi Goldwasser、Silvio Micali、Charles Rackof
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.419.8132&rep=rep1&type=pdf
Computationally sound proofs (2000)——計算健全證明 (2000)
作者:Silvio Micali
https://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/Computationally_Sound_Proofs.pdf
From extractable collision resistance to succinct non-interactive arguments of knowledge [SNARKs], and back again (2011)——從可提取的抗碰撞性到簡潔的非交互式知識證明 [SNARKs],然后再返回(2011 年)
作者:Nir Bitansky、Ran Canetti、Alessandro Chiesa、Eran Tromer
https://eprint.iacr.org/2011/443.pdf
Efficient zero-knowledge argument for correctness of a shuffle (2012)——對洗牌正確性的有效零知識論證(2012)
作者:Stephanie Bayer、Jens Groth http://www0.cs.ucl.ac.uk/staff/J.Groth/MinimalShuffle.pdf
Succinct non-interactive zero knowledge for a von Neumann Architecture (2013)——為von Neumann架構提供簡潔非交互式零知識(2013 年)
作者:Eli Ben-Sasson、Alessandro Chiesa、Eran Tromer、Madars Virza
https://eprint.iacr.org/2013/879.pdf
金色財經CEO安鑫鑫:挖礦要走得更長遠需要遵循五個核心原則:金色財經現場報道,4月25日,2021新基建區塊鏈峰會在成都舉辦。在分布式存儲新時代分會場上,金色財經CEO安鑫鑫以《換個角度 看待區塊鏈挖礦產業》為題進行分享。他指出,區塊鏈的世界是絕對公平的是萬物互鏈利益共享的,基于此,挖礦項目走得更長遠,需要遵循這五個核心原則,包括平等共識、代幣擴散、生態共建、行為引導、正循環。[2021/4/25 20:55:58]
Scalable, transparent, and post-quantum secure computational integrity (2018)——可擴展、透明和后量子安全計算完整性(2018 年)
作者:Eli Ben-Sasson、Iddo Bentov、Yinon Horesh、Michael Riabzev
https://eprint.iacr.org/2018/046.pdf
Public-coin zero-knowledge arguments with (almost) minimal time and space overheads (2020)——具有(幾乎)最小時間和空間開銷的公共代幣零知識論證(2020)
作者:Alexander Block、Justin Holmgren、Alon Rosen、Ron Rothblum、Pratik Soni
https://www.iacr.org/cryptodb/data/paper .php?pubkey=30645
Proofs, arguments, and zero-knowledge——證明、論證和零知識
本文綜述了可驗證計算和交互式證明和論證,使證明者能夠向驗證者保證證明者正確執行了請求計算的加密協議,包括零知識(證明,除了他們自己的有效性之外不揭示任何其他信息)。Zk論證在密碼學中有無數的應用,并且在過去十年中已經從理論躍升到實踐。
作者:Justin Thaler
https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf
An evolution of models for zero-knowledge proofs——零知識證明模型的演化
對零知識證明的回顧,Meiklejohn(倫敦大學學院,谷歌)著眼于推動其發展的應用程序,為捕捉這些新交互而出現的不同模型,我們可以實現的結構,以及其他工作。
作者:Sarah Meiklejohn
https://www.youtube.com/watch?v=HO97kVMI3SE
ZK whiteboard sessions——ZK白板會議:介紹性文章
作者Dan Boneh 等
https://zkhack.dev/whiteboard/
Security and privacy for crypto with zkps——zkps加密的安全性和隱私性
在實踐中領先的零知識證明;zkps是什么以及它們是如何工作的……包括現場“演示”
金色財經行情播報丨BTC跌破頸線位 關注MA5是否能形成有效支撐:據火幣行情顯示,截至10:00,BTC價格在4月8日晚上8點沖高后開始回調。從1小時圖上看形成M頂形態,并跌破頸線位,局部行情在7050-7100USDT價格區間獲得支撐。從日線圖看,上升趨勢暫時未變。這一輪上升楔形突破依托均線MA5啟動,故目前需關注MA5能否構成有效支撐。[2020/4/8]
作者:Zooko Wilcox
https://a16z.com/2019/08/29/security-and-privacy-for-crypto-with-zero-knowledge-proofs/
Top tech topics, explained——頂級技術主題解釋
包括零知識的一般定義和含義
作者:Joe Bonneau、Tim Roughgarden、Scott Kominers、Ali Yahya、Chris Dixon
https://web3-with-a16z.simplecast.com/episodes/hot-research-summer-blockchain-crypto-tech-topics-explainers-overviews-seminar-videos
零知識解釋—— 5級別難度
作者:Amit Sahai from Wired
https://youtu.be/fOGdb1CTu5c
How the coming privacy layer will fix a broken web——即將到來的隱私層將如何修復損壞的互聯網
作者:Howard Wu
https://future.com/a-privacy-layer-for-the-web-can-change-everything/
Introduction to zkSNARKs——zkSNARKs介紹
作者:Howard Wu、Anna Rose
https://zeroknowledge.fm/38-2/
Why and how zk-SNARK Works: a definitive explanation——zk-SNARK機制以及如何工作:一個權威解釋
作者:Maksym Petkus
https://arxiv.org/pdf/1906.07221.pdf
An introduction to zero-knowledge proofs——零知識證明簡介
作者:Fredrik Harrysson、Anna Rose
https://www.zeroknowledge.fm/21
[以及其他地方的總結文章https://blog.goodaudience.com/understanding-zero-knowledge-proofs-through-simple-examples-df673f796d99]
Zk-SNARKs: under the hood——Zk-SNARKs:本質
金色晚報 | 1月14日晚間重要動態一覽:12:00-21:00關鍵詞:央行、發改委、姚前、日本金融廳、比特幣?
1. 央行:6個創新應用主要聚焦區塊鏈等前沿技術在金融領域的應用。
2. 北京發改委新聞發言人:區塊鏈在不動產登記領域應用,單筆材料核驗時間降至2分鐘。
3. 北京金融科技創新監管試點聚焦區塊鏈等前沿技術在金融領域的應用。
4. 姚前:需加強鏈上和鏈下數據治理 建立區塊鏈數字治理體系。
5. 日本金融廳公布關于虛擬貨幣的《修訂后的資金清算法》。
6. 度小滿、京東、銀聯等機構項目進入北京金融局監管沙盒。
7. 金融穩定委員會(FSB)召開會議討論關于穩定幣的國際合作方案。
8. 印度最高法院準備審理“印度儲備銀行加密貨幣相關聽證會”。
9. 俄羅斯國家杜馬官員:數字資產的新法律極有可能將于今年春季獲得通過。
10. 比特幣日內漲幅超6%,最高漲至8622.34美元。[2020/1/14]
作者:Vitalik Buterin
https://medium.com/@VitalikButerin/zk-snarks-under-the-hood-b33151a013f6
https://vitalik.ca/general/2016/12/10/qap.html
https://vitalik.ca/general/2017/01/14/exploring_ecp.html
https://vitalik.ca/general/2017/02/01/zk_snarks.html
Decentralized speed——去中心化速度
關于零知識證明、去中心化硬件的進展
作者:Elena Burger
https://a16z.com/2022/04/15/zero-knowledge-proofs-hardware-decentralization-innovation/
Cutting edge zk research——zk前沿研究
來自以太坊基金會zk研究員Mary Maller、Anna Rose、Kobi Gurkan
https://zeroknowledge.fm/232-2/
Exploring zk research——探索 zk 研究
嘉賓:DFINITY研究主管;以及來自Groth16的Jens Groth、Anna Rose、Kobi Gurkan
https://zeroknowledge.fm/237-2/
SNARK research & pedagogy——SNARK研究與教學法
來自ZCash和Starkware聯合創始人之一以及Alessandro Chiesa, Anna Rose
https://zeroknowledge.fm/episode-200-snark-research-pedagogy-with-alessandro-chiesa/
Foundations of probabilistic proofs——概率證明的基礎
金色晨訊 | Tether在以太坊網絡新增發1億枚USDT 比特幣日活躍地址數量年內首次突破100萬:1.Morgan Creek創始人:比特幣回報率已經接近今年股市回報率的10倍。
2.6月16日晚間Tether在以太坊網絡新增發1億枚USDT。
3.印度加密貨幣社區請愿政府監管。
4.內華達州州長已簽署法案SB 161 系本月簽署的第四項區塊鏈相關法案。
5.幣安被盜BTC中第三個關鍵地址異動,黑客連續三天密集洗錢。
6.央行支付結算司司長:央行有專門的負責ICU和虛擬貨幣的整治領導小組。
7.Blockstream首席戰略官:以太坊 2.0類似于硬分叉。
8.比特幣日活躍地址數量年內首次突破100萬。[2019/6/17]
包含5個單元的交互式證明課程以及更多內容
作者:Alessandro Chiesa
https://www.youtube.com/playlist?list=PLGkwtcB-DfpzST-medFVvrKhinZisfluC
9th BIU Winter School on Cryptography——第9屆BIU密碼學冬季學校
來自應用密碼學和網絡安全研究中心
作者:Yehuda Lindell、Benny Pinkas、Eli Ben-Sasson、Jens Groth、Carmit Hazay、Yuval Ishai、Alon Rosen、Ron Rothblum
https://cyber.biu.ac.il/event/the-9th-biu-winter-school-on-cryptography/
Interactive proofs and zero knowledge——交互式證明和零知識
來自斯坦福CSS 355密碼學主題 (2018)
作者:Henry Corrigan-Gibbs、Sam Kim、David Wu
https://crypto.stanford.edu/cs355/18sp/lec3.pdf
Interactive demonstration of the zero knowledge proof protocol for 3-colorable graphs——3色圖的零知識證明協議的交互式演示
允許一個人說服驗證者相信一個事實的真實性(即,一個圖是3色的),而無需透露該圖的實際三種顏色
http://web.mit.edu/~ezyang/Public/graph/svg.html [更多信息參見https://www.cs.cmu.edu/~goyal/s18/15503/scribe_notes/lecture23.pdf]
SNARK design, part 1 ——SNARK設計,第1部分
調查,在Rollup中使用及更多
https://www.youtube.com/watch?v=tg6lKPdR_e4
SNARK design, part 2——SNARK設計,第2部分
Rollup、性能、安全性
https://www.youtube.com/watch?v=cMAI7g3UcoI
STARKs:part I, II, III——STARKs:第一、二、三部分
作者Vitalik Buterin
https://vitalik.ca/general/2017/11/09/starks_part_1.html
https://vitalik.ca/general/2017/11/22/starks_part_2.html
https ://vitalik.ca/general/2018/07/21/starks_part_3.html
Anatomy of a STARK——STARK剖析
六部分教程,解釋了STARK證明系統機制
作者:Alan Szepieniec
https://aszepieniec.github.io/stark-anatomy/
Measuring SNARK performance——測量SNARK性能
前端、后端,更多內容
https://a16zcrypto.com/measuring-snark-performance-frontends-backends-and-the-future/
Understanding PLONK——了解PLONK
https://vitalik.ca/general/2019/09/22/plonk.html
The PLONK zero-knowledge proof system——PLONK零知識證明系統
12個關于PLONK如何工作的短視頻系列
作者:David Wong
https://www.youtube.com/playlist?list=PLBJMt6zV1c7Gh9Utg-Vng2V6EYVidTFCC
From AIRs to RAPs ——從AIRs到RAPs
PLONK風格的算法如何工作
作者:Ariel Gabizon
https://hackmd.io/@aztec-network/plonk-arithmetiization-air
Multiset checks in PLONK and Plookup——PLONK和Plookup中的多集檢查
https://hackmd.io/@arielg/ByFgSDA7D
Halo2 design——Halo2設計
來自ECC
https://zcash.github.io/halo2/design.html
Plonky2
https://github.com/mir-protocol/plonky2/blob/main/plonky2/plonky2.pdf
Applied zk
學習資源,為沒有正式數學背景的工程師提供材料,以加快對基礎理論的扎實理解
作者:0xPARC
https://learn.0xparc.org/materials/intro
An online development environment for zkSNARKs——zkSNARKs的在線開發環境zkREPL
zkREPL是一組新的工具,用于與瀏覽器內的Circom工具棧進行交互
作者:Kevin Kwok
https://zkrepl.dev
Quadratic arithmetic programs from zero to hero——二次算術程序:從0到精通
https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649
On zkEVMs——論zkEVM
嘉賓:Alex Gluchowski、Anna Rose
https://zeroknowledge.fm/175-2/
Different types of zkEVMs——不同類型的zkEVM
https://vitalik.ca/general/2022/08/04/zkevm.html
ZK machine learning——ZK機器學習
將神經網絡引入SNARK的教程和演示
作者:Horace Pan、Francis Ho 、Henri Palacci
https://0xparc.org/blog/zk-mnist
On ZK languages——討論ZK語言
嘉賓:Alex Ozdemir 和 Anna Rose
https://zeroknowledge.fm/172-2/
Arkworks—使用zkSNARKs開發和編程的Rust生態系統
https://github.com/arkworks-rs
Dark Forest — applying zk cryptography to games:Dark Forest,將zk密碼學應用于游戲
完全去中心化且持久的RTS(實時策略)游戲
https://blog.zkga.me/announcing-darkforest
ZKPs for engineers——面向工程師的ZKP
Dark Forest ZKP研究
https://blog.zkga.me/df-init-circuit
A dive into zero knowledge——深入了解零知識
嘉賓:Elena Nadolinkski、Anna Rose、James Prestwich
https://zeroknowledge.fm/182-2/
zkDocs: Zero-knowledge information sharing——zkDocs: 零知識信息共享
作者:Sam Ragsdale、Dan Boneh
https://a16zcrypto.com/zkdocs-zero-knowledge-information-sharing/
Privacy-protecting crypto airdrops with zero knowledge proofs——零知識證明的隱私保護加密空投
作者:Sam Ragsdale的
https://a16z.com/2022/03/27/crypto-airdrop-privacy-tool-zero-knowledge-proofs/
ZK Hack — 謎題,更多
https://zkhack.dev/events/mini.html#puzzles
On-chain trusted setup ceremonies——鏈上可信設置儀式
作者:Valeria Nikolaenko、Sam Ragsdale
https://a16zcrypto.com/on-chain-trusted-setup-ceremony/
Crypto regulations, illicit finance, privacy, and beyond——加密法規、非法金融、隱私等
包括監管/合規環境中的零知識部分;“隱私保護”與混淆技術之間的區別
嘉賓:Michele Korver、Jai Ramaswamy、Sonal Chokshi
https://web3-with-a16z.simplecast.com/episodes/crypto-regulations-sanctions-compliance-aml-ofac-news-explained
zkMesh通訊
每月通訊,分享最新的去中心化隱私保護技術、隱私協議開發和零知識系統
https://zkmesh.substack.com/
Zero Knowledge podcast——零知識播客
關于最新的zk研究和zk應用程序以及一起構建加密隱私技術的專家
嘉賓:Anna Rose
財經法學
成都鏈安
金色早8點
Bress
鏈捕手
PANews
Odaily星球日報
作者:Inal Tomaev從創建的那一刻起,關于 ETH 性質的爭論就不能被簡單歸結。在最近協議向“權益證明”(PoS)交易驗證機制完成過渡時,爭議只會更甚.
1900/1/1 0:00:00文/Ali Yahya,a16zcrypto以太坊合并——周四一早發生的以太坊重要升級——將成為開源歷史上一個最重要的時刻.
1900/1/1 0:00:00本文來自 Medium ,原文作者:Mohamed Fouda,由 Odaily星球日報譯者 Katie 辜編譯.
1900/1/1 0:00:00作者:北辰 Crypto/Web3/幣圈/區塊鏈(不管具體怎么稱呼,總之你知道我說的是哪個領域),營銷幾乎占據了成功的絕對因素,甚至還能再極端一點——項目的視覺設計才是第一生產力.
1900/1/1 0:00:00上個月某頭部交易所X2**在社交平臺上表示,將推出“版稅選擇”功能,具言之,該平臺試圖賦予買家自行選擇是否支付NFT數藏版稅的權利.
1900/1/1 0:00:00文/Donovan Choy, Liberalism Unveiled作者如今的數字身份識別系統存在一些突出問題:中心化的實體控制著訪問群體和訪問方式,我們有太多的賬戶要跟蹤.
1900/1/1 0:00:00