从零开始学习 zk-SNARK(二)——多项式的非交互式零知识证明 by Maksym Petkus,翻译 & 注解:even@安比实验室(even@secbit.io) 2020-01-01 (上次更新: 2020-03-24) Zero Knowledge Proof zkSNARKs even@安比实验室: 上一篇文章中,作者介绍了如何利用多项式的性质来证明某个多项式的知识,相信大家已经对构造证明有了一些基本的认识。目前的证明协议仍然存在一些缺陷,本文将会针对这些薄弱项进行改进,进而最终构造出关于多项式的零知识证明协议。本文重点:KEA,交互式零知识证明,非交互式零知识证明和 Setup。 阅读全文
从零开始学习 zk-SNARK(一)——多项式的性质与证明 by Maksym Petkus,翻译 & 注解:even@安比实验室(even@secbit.io) 2019-12-25 (上次更新: 2020-06-06) Zero Knowledge Proof zkSNARKs 当我第一次了解到 zk-SNARK 技术是如何将这些东西完美地融合在一起的时候,就被数学之美震撼到了,并且随着我发现的维度越多,好奇心就越强烈。在这篇文章中,我主要就基于一些实例简洁明了地阐明 zk-SNARK ,并对这里面的很多问题做出了解释,并利用这种方式分享了我的经验,进而让更多人也能够欣赏到这项最先进的技术以及它的创新之处,最终欣赏到数学之美。 阅读全文
链上富人寻「隐私」记(一:Mixer 篇) by p0n1 2019-12-19 (上次更新: 2019-12-31) privacy 10 月底,在最爱的《橙皮书📙》公众号里看到了自己,心里却不是滋味,背后甚至有些发凉。Bowen 的一篇文章——「Top 10 DeFi 大户的链上人生」让我彻底暴露了。 阅读全文
零知识证明学习资源汇总 by 安比实验室 2019-11-07 (上次更新: 2019-11-09) Zero Knowledge Proof 本文收集了关于零知识证明的一些学习资料(包括科普文章、论文、开源仓库及相关学习网站等),并对这些资源进行了整理分析,希望能对大家有所帮助。 阅读全文
亚瑟王的「随机」挑战:从交互到非交互式零知识证明 by 郭宇 2019-11-01 Zero Knowledge Proof 通过随机数挑战是交互式零知识证明的「信任根基」。但,「交互过程」会限制应用场景。如果能将交互式零知识证明变成「非交互」?这会非常非常激动人心。所谓的非交互可以看成是只有「一轮」的证明过程,即Alice 直接发一个证明给 Bob 进行验证。 阅读全文