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.