首页 科技内容详情
以太坊彩票网(www.326681.com)_金色考察|零知识证实经典文献大汇总(可珍藏)

以太坊彩票网(www.326681.com)_金色考察|零知识证实经典文献大汇总(可珍藏)

分类:科技

网址:

SEO查询: 爱站网 站长工具

点击直达

Sân Chơi Tài Xỉu(www.84vng.com):Sân Chơi Tài Xỉu(www.84vng.com) cộng Chơi tài xỉu uy tín nhất việt nam。Sân Chơi Tài Xỉu(www.84vng.com)game tài Xỉu đánh bạc online công bằng nhất,Sân Chơi Tài Xỉu(www.84vng.com)cổng game không thể dự đoán can thiệp,mở thưởng bằng blockchain ,đảm bảo kết quả công bằng.

 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)

作者:Ralph Merkle

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)

作者: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

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/

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:本质

作者: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个单元的交互式证实课程以及更多内容

作者: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——交互式证实和零知识

,

联博统计

,

telegram频道爬虫www.tel8.vip)是一个Telegram群组分享平台。telegram频道爬虫包括telegram频道爬虫、telegram群组索引、Telegram群组导航、新加坡telegram群组、telegram中文群组、telegram群组(其他)、Telegram 美国 群组、telegram群组爬虫、电报群 科学上网、小飞机 怎么 加 群、tg群等内容。telegram频道爬虫为广大电报用户提供各种电报群组/电报频道/电报机器人导航服务。

,

www.u-healer.com采用以太坊区块链高度哈希值作为统计数据,联博以太坊统计数据开源、公平、无任何作弊可能性。联博统计免费提供API接口,支持多语言接入。

,

来自斯坦福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中使用及更多

作者:Justin Thaler

https://www.youtube.com/watch?v=tg6lKPdR_e4

SNARK design, part 2——SNARK设计,第2部门

Rollup、性能、平安性

作者:Justin Thaler

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性能

前端、后端,更多内容

作者:Justin Thaler

https://a16zcrypto.com/measuring-snark-performance-frontends-backends-and-the-future/

Understanding PLONK——领会PLONK

作者:Vitalik

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中的多集检查

作者:Ariel Gabizon

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到醒目

作者:Vitalik Buterin

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

作者:Vitalik Buterin

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

https://zeroknowledge.fm/

查看更多
 当前暂无评论,快来抢沙发吧~

发布评论