?a16zcrypto出过一系列经典文献，从去年的DAO经典到更早的NFT经典。
本文，?a16zcrypto为那些寻求理解、深入和构建零知识的人挑选了一组资源：强大的基础技术，这些基础技术掌握着区块链可扩展性的关键，代表着隐私应用程序的未来，包括加密/web3中的应用程序，以及无数其他创新。
这些创新由来已久：ShafiGoldwasser、SilvioMicali和CharlesRackoff于1985年引入了零知识证明系统，并对密码学领域产生了变革性的影响；他们因此获得了2012年ACM图灵奖。由于这项工作已经酝酿了数十年，尤其是在从理论到实践的过程中，我们还首次在我们的经典系列中分享了第二部分，由JustinThaler按主题和年表组织注释的阅读清单。
本文为第一部分。
基础、背景、演变
其中一些论文也更多地涉及一般的密码学，包括概述当今零知识证明解决的问题或关键进展：如何确保开放网络中的隐私和身份验证。
Newdirectionsincryptography(1976)——密码学新方向(1976)
作者：WhitfieldDiffie和MartinHellman
https://ee.stanford.edu/~hellman/publications/24.pdf
Amethodforobtainingdigitalsignaturesandpublic-keycryptosystems——一个获得数字签名和公钥密码系统的方法
作者：RonaldRivest、AdiShamir、LeonardAdelman
https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=856E21BC2F75800D37FD611032C30B9C?doi=10.1.1.40.5588&rep=rep1&type=pdf
Protocolsforpublickeycryptosystems(1980)——公钥密码系统协议(1980)
作者：RalphMerkle
http://www.merkle.com/papers/Protocols.pdf
Securecommunicationsoverinsecurechannels(1978)——通过不安全通道进行安全通信(1978)
作者：RalphMerkle
https://www.merkle.com/1974/PuzzlesAsPublished.pdf
Useofellipticcurvesincryptography(1988)——在密码学中使用椭圆曲线(1988)
作者：VictorMiller
https://link.springer.com/content/pdf/10.1007%2F3-540-39799-X_31.pdf
金色晨讯 | 7月28日隔夜重要动态一览:21:00-7:00关键词：11000美元、USDT增发、以太坊基金
1.CME比特币期货7月合约收涨13.31%
2.现货黄金上破1950美元关口 再创历史新高
3.美股三大股指收盘均上涨 美股区块链概念股全线收涨
4.Bitfinex黑客再次转移超2018枚比特币
5.北京通过区块链调用11个部门数据实现全流程网上办理
6.加拿大比特币矿场Bitfarms或难以偿还债务
7.Tether在以太坊网络增发1.2亿枚USDT（已授权未发行）
8.以太坊2.0上线eth2验证器launchpad测试版
9.3iq公司的以太坊基金正申请在加拿大证券交易所上市
10.比特币大幅上涨，日内最高报11386美元，最低报10297.59美元。[2020/7/28]
Theknowledgecomplexityofinteractiveproof-systems(1985)——交互式证明系统的知识复杂性(1985)
作者：ShafiGoldwasser、SilvioMicali、CharlesRackof
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.419.8132&rep=rep1&type=pdf
Computationallysoundproofs(2000)——计算健全证明(2000)
作者：SilvioMicali
https://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/Computationally_Sound_Proofs.pdf
Fromextractablecollisionresistancetosuccinctnon-interactiveargumentsofknowledge,andbackagain(2011)——从可提取的抗碰撞性到简洁的非交互式知识证明，然后再返回
作者：NirBitansky、RanCanetti、AlessandroChiesa、EranTromer
https://eprint.iacr.org/2011/443.pdf
Efficientzero-knowledgeargumentforcorrectnessofashuffle(2012)——对洗牌正确性的有效零知识论证
作者：StephanieBayer、JensGrothhttp://www0.cs.ucl.ac.uk/staff/J.Groth/MinimalShuffle.pdf
Succinctnon-interactivezeroknowledgeforavonNeumannArchitecture(2013)——为vonNeumann架构提供简洁非交互式零知识
作者：EliBen-Sasson、AlessandroChiesa、EranTromer、MadarsVirza
NFT项目Invisible Friends将推出首款基于NFT的实体藏品:金色财经报道，NFT 项目Invisible Friends在社交媒体宣布将推出首款基于NFT的实体藏品，该实体藏品将有两种尺寸，分别是24英寸和8英寸 ，对应的NFT将在OpenSea Drops提供，售价分别为0.6 ETH和0.18 ETH。Invisible Friends将采取三阶段发布策略，第一阶段定于美国东部时间5月18日上午11点举行，仅限2D和3D Invisible Friends NFT持有者参与，此阶段将提供250个24英寸实体藏品，快照拍摄将于美国东部时间5月17日上午11点截止；第二阶段将于美国东部时间5月18日下午2:00开始，藏家将有机会铸造8英寸版本的实物收藏品，第三阶段从美国东部时间下午6:00开始。据悉，本次推出的实体藏品将提供给全球藏家，美国和国际订单均包含运费和关税。[2023/5/17 15:07:40]
https://eprint.iacr.org/2013/879.pdf
Scalable,transparent,andpost-quantumsecurecomputationalintegrity(2018)——可扩展、透明和后量子安全计算完整性
作者：EliBen-Sasson、IddoBentov、YinonHoresh、MichaelRiabzev
https://eprint.iacr.org/2018/046.pdf
Public-coinzero-knowledgeargumentswith(almost)minimaltimeandspaceoverheads(2020)——具有最小时间和空间开销的公共代币零知识论证
作者：AlexanderBlock、JustinHolmgren、AlonRosen、RonRothblum、PratikSoni
https://www.iacr.org/cryptodb/data/paper.php?pubkey=30645
综述和介绍
Proofs,arguments,andzero-knowledge——证明、论证和零知识
本文综述了可验证计算和交互式证明和论证，使证明者能够向验证者保证证明者正确执行了请求计算的加密协议，包括零知识。Zk论证在密码学中有无数的应用，并且在过去十年中已经从理论跃升到实践。
作者：JustinThaler
https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf
Anevolutionofmodelsforzero-knowledgeproofs——零知识证明模型的演化
对零知识证明的回顾，Meiklejohn着眼于推动其发展的应用程序，为捕捉这些新交互而出现的不同模型，我们可以实现的结构，以及其他工作。
作者：SarahMeiklejohn
https://www.youtube.com/watch?v=HO97kVMI3SE
金色晚报 | 2月10日晚间重要动态一览:12:00-21:00关键词：销毁、平台币、公链、甲骨文预测
1.火币近期将上线火币公链测试网和发布HT全新规则。
2.OKEx宣布销毁7亿未流通OKB，OKChain测试网、DEX同步上线。
3.FCoin Team将于今日永久销毁持有的全部FT。
4.共计销毁14亿枚ZB积分 将平台积分价值回归用户。
5.日本议员提议将日本数字货币纳入政府政策指南。
6.上海市发布智慧城市建设意见 内容含支持区块链数据溯源。
7.灰度比特币信托持有28.5万枚比特币 占BTC总量的1.57％。
8.甲骨文预测：未来100%的供应链App都将依赖于区块链等技术。
9.比特币日内回调下跌，由10190.13美元最低跌至9751.61美元。[2020/2/10]
ZKwhiteboardsessions——ZK白板会议：介绍性文章
作者DanBoneh等
https://zkhack.dev/whiteboard/
Securityandprivacyforcryptowithzkps——zkps加密的安全性和隐私性
在实践中领先的零知识证明；zkps是什么以及它们是如何工作的……包括现场“演示”
作者：ZookoWilcox
https://a16z.com/2019/08/29/security-and-privacy-for-crypto-with-zero-knowledge-proofs/
Toptechtopics,explained——顶级技术主题解释
包括零知识的一般定义和含义
作者：JoeBonneau、TimRoughgarden、ScottKominers、AliYahya、ChrisDixon
https://web3-with-a16z.simplecast.com/episodes/hot-research-summer-blockchain-crypto-tech-topics-explainers-overviews-seminar-videos
零知识解释——5级别难度
作者：AmitSahaifromWired
https://youtu.be/fOGdb1CTu5c
Howthecomingprivacylayerwillfixabrokenweb——即将到来的隐私层将如何修复损坏的互联网
作者：HowardWu
https://future.com/a-privacy-layer-for-the-web-can-change-everything/
IntroductiontozkSNARKs——zkSNARKs介绍
作者：HowardWu、AnnaRose
https://zeroknowledge.fm/38-2/
Whyandhowzk-SNARKWorks:adefinitiveexplanation——zk-SNARK机制以及如何工作：一个权威解释
金色财经独家采访：Zilliqa CEO Xinshu Dong谈EOS漏洞看法:今日，360公司Vulcan（伏尔甘）团队发现了区块链平台EOS的一系列高危安全漏洞。对此金色财经独家采访了Zilliqa CEO Xinshu Dong，Zilliqa CEO 表示：360公有链出现安全漏洞大家都很关心，因为区块链本身的不可逆性和多中心化。一旦出现漏洞，中心化的系统可以快速修复，但是多中心化的系统需要投票分叉解决，经常错过最好的修复时机。但这次也是给整个区块链领域一个很好的提醒。区块链安全是多方面的，包括协议层的抗攻击，智能合约语言层的可验证，当然也包括对智能合约运行时的基本的隔离。其实这些都是在安全研究领域众所周知的机制，但是需要区块链项目都把这些都设计好、实现好。面对这样的挑战，大家需要共同努力。[2018/5/29]
作者：MaksymPetkus
https://arxiv.org/pdf/1906.07221.pdf
Anintroductiontozero-knowledgeproofs——零知识证明简介
作者：FredrikHarrysson、AnnaRose
https://www.zeroknowledge.fm/21?
Zk-SNARKs:underthehood——Zk-SNARKs：本质
作者：VitalikButerin
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
Decentralizedspeed——去中心化速度
关于零知识证明、去中心化硬件的进展
作者：ElenaBurger
https://a16z.com/2022/04/15/zero-knowledge-proofs-hardware-decentralization-innovation/
Cuttingedgezkresearch——zk前沿研究
来自以太坊基金会zk研究员MaryMaller、AnnaRose、KobiGurkan
https://zeroknowledge.fm/232-2/
Exploringzkresearch——探索zk研究
嘉宾：DFINITY研究主管；以及来自Groth16的JensGroth、AnnaRose、KobiGurkan
https://zeroknowledge.fm/237-2/
金色财经现场报道 南粤集团周兴挺： 粤港澳大湾区具备先行先试土壤:金色财经现场报道，在全球区块链世界巡回高峰会议大湾区站，广东南粤集团董事长周兴挺在开幕词中指出：区块链技术成为提高产业内协同效率振兴实体经济的助推器。当前国家高度重视区块链发展，区块链迎来新的快速的发展契机，给企业发展带来新的方向。粤港澳大湾区存在先行先试契机和改革创新的土壤，希望通过联合会智囊专家、顶级投资机构，发挥大湾区资源优势，共同搭建专业的区块链平台，与多家机构共同发起区块链发展基金，助推新型科技发展。[2018/4/23]
SNARKresearch&pedagogy——SNARK研究与教学法
来自ZCash和Starkware联合创始人之一以及AlessandroChiesa,AnnaRose
https://zeroknowledge.fm/episode-200-snark-research-pedagogy-with-alessandro-chiesa/
深入：课程、分解、建造者指南
Foundationsofprobabilisticproofs——概率证明的基础
包含5个单元的交互式证明课程以及更多内容
作者：AlessandroChiesa
https://www.youtube.com/playlist?list=PLGkwtcB-DfpzST-medFVvrKhinZisfluC
9thBIUWinterSchoolonCryptography——第9届BIU密码学冬季学校
来自应用密码学和网络安全研究中心
作者：YehudaLindell、BennyPinkas、EliBen-Sasson、JensGroth、CarmitHazay、YuvalIshai、AlonRosen、RonRothblum
https://cyber.biu.ac.il/event/the-9th-biu-winter-school-on-cryptography/
Interactiveproofsandzeroknowledge——交互式证明和零知识
来自斯坦福CSS355密码学主题(2018)
作者：HenryCorrigan-Gibbs、SamKim、DavidWu
https://crypto.stanford.edu/cs355/18sp/lec3.pdf
Interactivedemonstrationofthezeroknowledgeproofprotocolfor3-colorablegraphs——3色图的零知识证明协议的交互式演示
允许一个人说服验证者相信一个事实的真实性，而无需透露该图的实际三种颜色
http://web.mit.edu/~ezyang/Public/graph/svg.html?
SNARKdesign,part1?——SNARK设计，第1部分
调查，在Rollup中使用及更多
作者：JustinThaler
https://www.youtube.com/watch?v=tg6lKPdR_e4
SNARKdesign,part2——SNARK设计，第2部分
Rollup、性能、安全性
作者：JustinThaler
https://www.youtube.com/watch?v=cMAI7g3UcoI
STARKs：partI,II,III——STARKs：第一、二、三部分
作者VitalikButerin
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
AnatomyofaSTARK——STARK剖析
六部分教程，解释了STARK证明系统机制
作者：AlanSzepieniec
https://aszepieniec.github.io/stark-anatomy/
MeasuringSNARKperformance——测量SNARK性能
前端、后端，更多内容
作者：JustinThaler
https://a16zcrypto.com/measuring-snark-performance-frontends-backends-and-the-future/
UnderstandingPLONK——了解PLONK
作者：Vitalik
https://vitalik.ca/general/2019/09/22/plonk.html
ThePLONKzero-knowledgeproofsystem——PLONK零知识证明系统
12个关于PLONK如何工作的短视频系列
作者：DavidWong
https://www.youtube.com/playlist?list=PLBJMt6zV1c7Gh9Utg-Vng2V6EYVidTFCC
FromAIRstoRAPs?——从AIRs到RAPs
PLONK风格的算法如何工作
作者：ArielGabizon
https://hackmd.io/@aztec-network/plonk-arithmetiization-air
MultisetchecksinPLONKandPlookup——PLONK和Plookup中的多集检查
作者：ArielGabizon
https://hackmd.io/@arielg/ByFgSDA7D
Halo2design——Halo2设计
来自ECC
https://zcash.github.io/halo2/design.html
Plonky2
https://github.com/mir-protocol/plonky2/blob/main/plonky2/plonky2.pdf
应用程序和教程：概念证明、演示、工具等
Appliedzk
学习资源，为没有正式数学背景的工程师提供材料，以加快对基础理论的扎实理解
作者：0xPARC
https://learn.0xparc.org/materials/intro
AnonlinedevelopmentenvironmentforzkSNARKs——zkSNARKs的在线开发环境zkREPL
zkREPL是一组新的工具，用于与浏览器内的Circom工具栈进行交互
作者：KevinKwok
https://zkrepl.dev
Quadraticarithmeticprogramsfromzerotohero——二次算术程序：从0到精通
作者：VitalikButerin
https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649
OnzkEVMs——论zkEVM
嘉宾：AlexGluchowski、AnnaRose
https://zeroknowledge.fm/175-2/
DifferenttypesofzkEVMs——不同类型的zkEVM
作者：VitalikButerin
https://vitalik.ca/general/2022/08/04/zkevm.html
ZKmachinelearning——ZK机器学习
将神经网络引入SNARK的教程和演示
作者：HoracePan、FrancisHo、HenriPalacci
https://0xparc.org/blog/zk-mnist
OnZKlanguages——讨论ZK语言
嘉宾：AlexOzdemir和AnnaRose
https://zeroknowledge.fm/172-2/
Arkworks—使用zkSNARKs开发和编程的Rust生态系统
https://github.com/arkworks-rs
DarkForest—applyingzkcryptographytogames：DarkForest，将zk密码学应用于游戏
完全去中心化且持久的RTS游戏
https://blog.zkga.me/announcing-darkforest
ZKPsforengineers——面向工程师的ZKP
DarkForestZKP研究
https://blog.zkga.me/df-init-circuit
Adiveintozeroknowledge——深入了解零知识
嘉宾：ElenaNadolinksqwpuki、AnnaRose、JamesPrestwich
https://zeroknowledge.fm/182-2/
zkDocs:Zero-knowledgeinformationsharing——zkDocs：零知识信息共享
作者：SamRagsdale、DanBoneh
https://a16zcrypto.com/zkdocs-zero-knowledge-information-sharing/
Privacy-protectingcryptoairdropswithzeroknowledgeproofs——零知识证明的隐私保护加密空投
作者：SamRagsdale的
https://a16z.com/2022/03/27/crypto-airdrop-privacy-tool-zero-knowledge-proofs/
ZKHack—谜题，更多
https://zkhack.dev/events/mini.html#puzzles
On-chaintrustedsetupceremonies——链上可信设置仪式
作者：ValeriaNikolaenko、SamRagsdale
https://a16zcrypto.com/on-chain-trusted-setup-ceremony/
Cryptoregulations,illicitfinance,privacy,andbeyond——加密法规、非法金融、隐私等
包括监管/合规环境中的零知识部分；“隐私保护”与混淆技术之间的区别
嘉宾：MicheleKorver、JaiRamaswamy、SonalChokshi
https://web3-with-a16z.simplecast.com/episodes/crypto-regulations-sanctions-compliance-aml-ofac-news-explained
其他资源
zkMesh通讯
每月通讯，分享最新的去中心化隐私保护技术、隐私协议开发和零知识系统
https://zkmesh.substack.com/
ZeroKnowledgepodcast——零知识播客
关于最新的zk研究和zk应用程序以及一起构建加密隐私技术的专家
嘉宾：AnnaRose
https://zeroknowledge.fm/
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。