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)
金色午报 | 12月15日午间重要动态一览:7:00-12:00关键词:冬奥会、Pornhub、扎克伯格、灰度
1.北京:将利用冬奥会等场景深化数字货币创新;
2.灰度BTC信托增持3893.96枚;
3.比特币过去10年总收益率超过62000倍;
4.以太坊上DeFi协议总锁仓量突破180亿美元;
5.推特网友爆料扎克伯格购买价值30亿美元比特币;
6.成人网站Pornhub只接受加密货币作为默认支付方式;
7.周小川:数字人民币不会取代美元 也不会威胁全球货币体系;
8.FTC要求Facebook等9家科技公司披露数据收集追踪方式;
9.Riot Blockchain宣布试点项目以评估德克萨斯州生产率提高潜力。[2020/12/15 15:14:06]
作者: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
金色热搜榜:FTX居于榜首:根据金色财经排行榜数据显示,过去24小时内,FTX搜索量高居榜首。具体前五名单如下:FTX、ABT、BNB、BTT、DASH。[2020/9/7]
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是什么以及它们是如何工作的……包括现场“演示”
作者:Zooko Wilcox
https://a16z.com/2019/08/29/security-and-privacy-for-crypto-with-zero-knowledge-proofs/
金色相对论 | 李慧:未来在同一领域肯定会存在多链竞争和并存的情况:在今日举行的金色相对论中,针对“在司法领域有北京互联网法院的“天平链”和杭州互联网法院的“司法区块链”。多个区块链平台的数据会孤岛化吗?未来怎么保证数据的全局性?”的问题,火币区块链研究院副院长李慧表示,未来,在同一领域,肯定会存在多链竞争和并存的情况,这个时候跨链互联就变的很重要,多条链之间进行数据互通和共享以及互操作的需求就会逐步显现出来。区块链的核心理念就是“共享、共赢”,在多链的场景下也依然可以通过跨链技术来实现“共享、共赢”。但这个“共”是个相对的概念,就目前的技术上来说,跨链平台如何构造?最多能容纳更多的链接入?是有技术上的界限的,不是可以无限增加的。所以数据的孤岛化也是个相对的概念,我们只能说是尽量去打破现有的小范围的数据孤岛,先建立起来几个数据大陆,再看看是否能实现数据的全球化。[2020/6/4]
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]
金色午报 | 5月30日午间重要动态一览:7:00-12:00关键词:韩国监管、阿里巴巴、BitClave、Ripple诉讼
1.韩国监管机构计划7月发布加密货币税收的完整提案。
2.阿里巴巴执行副总裁曾鸣:区块链创业是一场长跑。
3.Cardano创始人:加密货币不可能从现实中分离出来。
4.观点:BitClave很难拿出需要支付给SEC的2900万美元。
5.比特币早期开发者:中本聪发明了GPU挖矿代码以捍卫比特币网络。
6.加州法官宣布将Ripple面临的两期诉讼合并审理。
7.加密货币市场24小时交易额不足1000亿美元。
8.比特币小幅震荡,日内最高报9456.45美元,最低报9330美元。[2020/5/30]
Zk-SNARKs: under the hood——Zk-SNARKs:本质
作者: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——概率证明的基础
包含5个单元的交互式证明课程以及更多内容
金色财经现场报道 承云首席运营官陈倩楠:区块链能够解决信用问题:金色财经前方记者实时报道,4月12日举办的第二届全球金融科技与区块链中国峰会2018上,承云首席运营官陈倩楠在会上做了“重塑全新出行格局”演讲,表示,在大出行行业领域,区块链能够高效、透明、减少中间商差价。进而降低出行成本、提升出行效率、解决信用问题。[2018/4/12]
作者: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星球日报
标签:HTTTPSARKCOMCHTT价格https://etherscan.ioDark Horse DerivativesCompounder
原文:《Top 10 GameFi Development Companies: 2022 and Beyond》by Nordic Blockchain Experts编译:ChinaDeFi.
1900/1/1 0:00:00介绍自从美国证券交易委员会(SEC)在2018年提出了有关“充分去中心化”的概念,Web3建设者们就一直对相关内容保持着关注.
1900/1/1 0:00:00作者:周舟“我们要制定Web3(基于区块链的下一代互联网)的国际规则,不然几十年后子孙辈们就会像现在(芯片、操作系统等)一样被人掐脖子。”一名正在参与制定国内区块链技术标准的人员表示.
1900/1/1 0:00:00原文作者: Li jinWeb3 最重要的趋势之一就是对圈子的重新构想:观众/粉丝和创作者之间的界限模糊,以及粉丝劳动如何被资助和奖励。粉丝和创作者之间的鸿沟正在消失.
1900/1/1 0:00:00原文:《The New Creator Playbook: Jumpstarting Communities Through Tokens》by Li Jin.
1900/1/1 0:00:00注:原文标题为 《Ikigai》,指“即使眼下元宇宙不怎么样,也能让你始终怀有希望”,作者是 Avaer Kazmer,在很多次对话中,我都被问到一个问题:在我看来.
1900/1/1 0:00:00