月亮链 月亮链
Ctrl+D收藏月亮链
首页 > 火币下载 > 正文

HTT:金色观察|零知识证明经典文献大汇总(可收藏)_https://etherscan.io

作者:

时间:1900/1/1 0:00:00

?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

金色财经挖矿数据播报:ETH今日全网算力下跌0.30%:金色财经报道,据蜘蛛矿池数据显示:

BTC全网算力145.507 EH/s,挖矿难度25.05T,目前区块高度684965,理论收益0.00000557/T/天。

ETH全网算力604.782 TH/s,挖矿难度7692.13T,目前区块高度12507245,理论收益0.00305279/100MH/天。

BSV全网算力0.750EH/s,挖矿难度0.11T,目前区块高度688838,理论收益0.00119990/T/天。

BCH全网算力2.786EH/s,挖矿难度0.42T,目前区块高度689481,理论收益0.00032301/T/天。[2021/5/26 22:44:57]

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

金色财经挖矿数据播报 | BSV今日全网算力下降2.37%:金色财经报道,据蜘蛛矿池数据显示:

ETH全网算力175.855TH/s,挖矿难度2191.26T,目前区块高度9919183,理论收益0.00798309/100MH/天。

BTC全网算力112.070EH/s,挖矿难度15.96T,目前区块高度627091,理论收益0.00001575/T/天。

BSV全网算力1.359EH/s,挖矿难度0.20T,目前区块高度631635,理论收益0.00066231/T/天。

BCH全网算力1.765EH/s,挖矿难度0.25T,目前区块高度631877,理论收益0.00051005/T/天。[2020/4/22]

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

ZKwhiteboardsessions——ZK白板会议:介绍性文章

作者DanBoneh等

金色相对论 | 谭智勇表示:稳定币在市场上对机构投资者的意义更大:本期金色相对论中,对于发行稳定币的讨论,欧链创始人谭智勇表示:我们在考虑区块链场景的稳定币时除了讨论发币机制和价值机制外,也要考虑稳定币的区块链token化。仅仅是把现实世界的美元在区块链上资产做价值映射,都有相应的市场。所以稳定币是一定有需求的,当然细节上还值得探讨。从设计来看,稳定币就是提供目前数字货币市场上的一般等价物,或者再细分应该要实现三个基础功能:交易媒介,价值储存以及记账单位。所以稳定币其实在市场上相对于机构投资者的意义会大于一般的个人投资者。[2018/9/20]

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机制以及如何工作:一个权威解释

作者:MaksymPetkus

https://arxiv.org/pdf/1906.07221.pdf

Anintroductiontozero-knowledgeproofs——零知识证明简介

分析 | 金色盘面: Bitfinex的BTC/USD空单持仓接近历史高点:金色盘面综合分析:Bitfinex交易所BTC/USD空单持仓接近历史高点,达3.85万个,说明市场看空情绪依然较强,但同时空单持仓量也是比特币价格的反向指标,建议关注市场价格的实际变化,注意交易风险。[2018/9/6]

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

SNARKresearch&pedagogy——SNARK研究与教学法

来自ZCash和Starkware联合创始人之一以及AlessandroChiesa,AnnaRose

https://zeroknowledge.fm/episode-200-snark-research-pedagogy-with-alessandro-chiesa/

深入:课程、分解、建造者指南

Foundationsofprobabilisticproofs——概率证明的基础

包含5个单元的交互式证明课程以及更多内容

作者:AlessandroChiesa

金色财经独家分析 行情不好韩国交易所开副业:今年初开始,因急剧降低的加密货币交易量,韩国的交易所争先投资新事业。金色财经独家分析,今年第一季度加密货币市场交出很差的表现,这对于加密货币热情很高的韩国市场而言也形成了一定的打击。因此韩国交易所们开始导入虚拟货币结算服务,并且投资区块链项目来拟补因交易量下降而损失的收入。毕竟韩国政府规定收入超过200亿韩元(约1.2亿元人民币)的虚拟货币交易平台,将被征收22%企业所得税跟2.2%的本地所得税,两项税收共计24.2%。在行情变差的时候,交易所还要负担税收,难怪他们只能另辟蹊径,弥补收入损失。[2018/4/10]

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——深入了解零知识

嘉宾:ElenaNadolinkski、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/

标签:HTTTPSARKNARHTT价格https://etherscan.ioarkm币怎么样AnarchistsPrime

火币下载热门资讯
WEB:美国中期选战升温中 四大摇摆州的 Web 3选民群像_区块链工程专业学什么女生好就业

来源:HaunVentures编译:比推BitpushNewsMaryLiu在HaunVentures,我们认为新事物需要新规则是我们倡导Web3的核心.

1900/1/1 0:00:00
区块链:金色早报 | 欧洲议会投票赞成利用区块链技术实现税收现代化_WEB

头条▌欧洲议会投票赞成利用区块链技术实现税收现代化金色财经报道,欧洲议会投票赞成一项决议,以利用区块链技术使欧盟的税收程序现代化,同时决议呼吁精简对加密资产的征税规则.

1900/1/1 0:00:00
AVE:位居DeFi龙头仍不满足?一文了解AAVE在社交、稳定币的横向布局_PSYCHODOGE

来源:老雅痞DeFi、社交、稳定币,可能只是AAVE帝国的开始。 来源:readthegeneralist,作者:MarioGabriele编译:老雅痞Aave拥有超过56亿美元的锁定总价值,是.

1900/1/1 0:00:00
以太坊:金色观察|新手指南:如何运行自己的以太坊验证者节点_POOL

文/WilliamM.Peaster,Bankless作者如果你是以太坊的支持者,有一件最重要的事情你现在就可以做,那就是运行以太坊验证者.

1900/1/1 0:00:00
WEB:向移动端发展会是Web3的突破契机吗?_RELCOIN

原文作者:JoelJohn原文编译:深潮TechFlow熊市是考虑从事加密货币的好时机。在一个昼夜不停的行业中工作是有社会、精神和身体成本的.

1900/1/1 0:00:00
区块链:监管层终于对DAO下手了 链上治理算违法吗?_区块链的未来发展前景作者是谁

原文作者:WillPapper,Syndicate创始人原文编译:0x9F,BlockBeats昨日,美国商品期货交易委员会在美国加州北区地方法院对Ooki协议运营组织OokiDAO提起诉讼.

1900/1/1 0:00:00