0推荐

4841浏览

探索零知识证明系列3 - 寻找「知识」

导言：有些理论非常有趣，零知识证明便是其中之一，摸索了许久，想写点什么，与大家一起讨论。本文是『探索零知识证明』系列的第三篇。前两遍是：[（一）初始「零知识」与「证明」](https://learnblockchain.cn/2019/08/01/learning-zkp/) 及 [（二）理解「模拟」](https://learnblockchain.cn/2019/08/06/zkp-simu/)， 本文全文约 8,000 字，少量数学公式。

• 0
• 安比实验室 发布于 2019-08-28 10:10

0推荐

6976浏览

零知识证明 - libsnark源代码分析

[libsnark源代码](https://github.com/scipr-lab/libsnark)，建议想深入[零知识证明](https://learnblockchain.cn/categories/zkp/)的小伙伴都读一读。Bellman库主要围绕[Groth16算法](https://learnblockchain.cn/2019/05/27/groth16/)，libsnark给出了SNARK相关算法的全貌，各种Relation，Language，Proof System。为了更好的生成

• 0
• Star Li 发布于 2019-08-15 09:10

0推荐

4518浏览

探索零知识证明系列2 - 从「模拟」理解零知识证明

>I know that I know nothing —— 苏格拉底 相信很多人都听说过零知识证明，但是只有极少数人听说过模拟，然而模拟是理解零知识的关键。

• 0
• 安比实验室 发布于 2019-08-06 10:10

0推荐

3958浏览

Zcash - 图解Transaction结构

最近又重新看了看ZCash的白皮书。话说，看ZCash的白皮书需要一点耐心，144页的白皮书形式化太多，通篇就只有一张图（地址和Key生成关系图）。本文画图总结了Sprout和Sapling的交易Transaction的数据结构。

• 0
• Star Li 发布于 2019-08-01 10:10

0推荐

5318浏览

探索零知识证明系列1 - 初识「零知识」与「证明」

我认为区块链很难称为一个“技术”。它更像是一个领域，包罗万象。或者形而上地说，区块链更像一个有机体，融合了各种不同的理论技术。 零知识证明是构建信任的重要技术，也是区块链这个有机体中不可缺少的一环。

• 0
• 安比实验室 发布于 2019-08-01 10:10

0推荐

3160浏览

零知识证明 - zkSNARK应用的Nullifier Hash攻击

早上很多朋友@我，安比实验室发表了一篇文章[zkSNARK的“输入假名”的攻击](https://learnblockchain.cn/2019/07/29/zkSNARK-wul/)。迅速看了看，很赞。这个攻击原理其实比较简单，但是，不深入理解zkSNARK以及使用场景的朋友确实很难发现和理解。本文讲讲我对这个攻击的分析和理解。

• 0
• Star Li 发布于 2019-07-29 16:10

0推荐

3839浏览

zkSNARK 合约「输入假名」漏洞致众多混币项目爆雷

大量零知识证明项目由于错误地使用了某个 zkSNARKs 合约库，引入「输入假名 (Input Aliasing) 」漏洞，可导致伪造证明、双花、重放等攻击行为发生，且攻击成本极低。众多以太坊社区开源项目受影响，其中包括三大最常用的 zkSNARKs 零知开发库 snarkjs、ethsnarks、ZoKrates，以及近期大热的三个混币（匿名转账）应用 hopper、Heiswap、Miximus。这是一场由 Solidity 语言之父 Chris 两年前随手贴的一段代码而引发的血案。

• 0
• 安比实验室 发布于 2019-07-29 10:10

0推荐

3780浏览

Zcash - 各种密钥和签名，你懂吗？

Zcash的发展大体经过了OverWinter(过冬) -> Sprout(发芽) -> Sapling(树苗)这几个阶段，随着业务和功能的逐渐丰富，密钥系统也越来越复杂，刚开始接触时感觉一头雾水，但是静下心来仔细分析，就能逐渐领略其中的魅力。

• 0
• 飞久 发布于 2019-07-28 15:10

0推荐

5261浏览

零知识证明 - 深入理解ZoKrates

2018年 Jacob Eberhardt和Stefan Tai两位德国柏林工业大学博士生，提出了[链下计算/链上验证的处理框架](https://www.ise.tu-berlin.de/fileadmin/fg308/publications/2018/2018_eberhardt_ZoKrates.pdf)，并提供了在以太坊上的整个框架的工具链。链下计算/链上验证的思想很早就有，但是能提供比较完善的工具链的实属难得。目前ZoKrates使用zk-SNARK算法实现零知识证明。

• 0
• Star Li 发布于 2019-07-24 15:10

0推荐

461浏览

零知识证明 - Coda SNARK挑战（Stage2）

零知识证明 - Coda SNARK挑战（Stage2）

• 0
• Star Li 发布于 2019-07-17 12:37

0推荐

2362浏览

zkPoD：区块链，零知识证明与形式化验证，实现无中介、零信任的公平交易

> 这篇文章解释利用ZKP(零知识证明)与区块链来实现去中介的交易协议的原理，讲讲我们是怎么把这个理论变成实用的代码的，这是一篇概述，希望了解更多的朋友请关注后续。

• 0
• 安比实验室 发布于 2019-07-16 10:10

0推荐

2790浏览

零知识证明 - bellman源码分析

bellman是Zcash团队用Rust语言开发的一个zk-SNARK软件库，实现了Groth16算法。

• 0
• Star Li 发布于 2019-07-14 23:52

2推荐

4805浏览

Nightfall的系统结构、铸币实现及以太坊上通证的转移实现

本文主要是通过对架构设计、承兑型资产铸造、转移和销毁这几个层面进行了详细的理论和实现的分析。

• 0
• 乐扣老师 发布于 2019-07-09 15:10

1推荐

459浏览

解密零知识证明(二) - Nightfall的系统结构、铸币实现及以太坊上通证的转移实现

## 摘要 Nightfall是一种零知识证明的实现， 它使用zk-SNARKS让同质化ERC20和非同质化的通证ERC721系列的通证进行隐私化转移，使得交易能够完成但是又能足够的匿名。本文主要是通过对架构设...

• 0
• 乐扣老师 发布于 2019-07-09 13:27

0推荐

5709浏览

零知识证明 - 再谈EYBlockchain

上次我写了一篇[ EYBlockchain 在以太坊上创建隐私币](https://learnblockchain.cn/2019/06/13/EYBlockchain/), 最近有点时间，重新看了看EYBlockchain的源代码，对EYBlockchain的理解又深入了不少。画了一些图，分享给有需要的小伙伴 :)

• 0
• Star Li 发布于 2019-07-08 15:10