首页
Python
Java
前端
数据库
Linux
Chatgpt专题
开发者工具箱
proofs专题
【论文笔记】Proofs-of-delay and randomness beacons in Ethereum-2017IEEE SB Workshop
论文作者:Benedikt B¨unzy, Steven Goldfeder,Joseph Bonneauy Princeton University, Stanford University 论文源代码:https://github.com/bbuenz/VerifiableBeacon 作者个人网站:https://crypto.stanford.edu/~buenz/publicat
阅读更多...
如何在比特币上验证ZK Proofs
1. 引言 前序博客有: 基于BitVM的乐观 BTC bridgeBitVM:Bitcoin的链下合约Bitcoin Bridge:治愈还是诅咒?BitVM2:比特币上的无需许可验证以比特币脚本来实现SNARK VerifierClementine:Citrea的基于BitVM的信任最小化双向bridge 近年来最雄心勃勃的尝试是由sCrypt团队在Bitcoin SV 上的验证 BLS1
阅读更多...
Matter Labs CEO Alex Gluhowski:Zero-Knowledge Proofs 和加速去中心化加密技术的大规模应用
上周,以太行星(ETHPlanet)请到了Matter Labs的CEO兼首席执行官Alex Gluhowski做客ETHPlanet AMA第一期。我们感谢Alex抽出他宝贵的时间来回答和探讨我们社区提出的所有问题。这期AMA几乎涵盖了所有当下最热门的以太坊扩容及相关话题,其中包括: zk-Rollups和其他Layer 2扩容解决方案的深层次对比 Matter Lab的未来发展计划是什么
阅读更多...
Bulletproofs+: Shorter Proofs for Privacy-Enhanced Distributed Ledger学习笔记
1. 引言 Chung等人2020年论文《Bulletproofs+: Shorter Proofs for Privacy-Enhanced Distributed Ledger》,暂无收录信息。 代码实现参见: https://github.com/ZenGo-X/bulletproofs 要点: 1)实现了zero-knowledge inner product proof,pr
阅读更多...
ZKP4.1 SNARKs via Interactive Proofs (Justin Thaler)
ZKP学习笔记 ZK-Learning MOOC课程笔记 Lecture 4: SNARKs via Interactive Proofs (Justin Thaler) 4.1 Interactive Proofs: Motivation and Model Interactive Proofs P solves problem, tells V the answer. Then t
阅读更多...
Proofs for Inner Pairing Products and Applications代码解析
1. 引言 Benedikt Bünz 等人(standford,ethereum,berkeley) 2019年论文《Proofs for Inner Pairing Products and Applications》。 视频介绍:(2020年3月31日) https://www.youtube.com/watch?v=oYdkGIoHKt0 代码实现: https://github.
阅读更多...