zkPoD：区块链，零知识证明与形式化验证，实现无中介、零信任的公平交易
这篇文章解释利用ZKP(零知识证明)与区块链来实现去中介的交易协议的原理，讲讲我们是怎么把这个理论变成实用的代码的，这是一篇概述，希望了解更多的朋友请关注后续。
- 安比实验室
- 发布于 2019-07-16
- 阅读 ( 10675 )
- ( 20 )
安比实验室
零知识证明 - bellman源码分析
bellman是Zcash团队用Rust语言开发的一个zk-SNARK软件库，实现了Groth16算法。
- Star Li
- 发布于 2019-07-14
- 阅读 ( 7684 )
- ( 4 )
Star Li
Nightfall的系统结构、铸币实现及以太坊上通证的转移实现
本文主要是通过对架构设计、承兑型资产铸造、转移和销毁这几个层面进行了详细的理论和实现的分析。
- 刘峰老师
- 发布于 2019-07-09
- 阅读 ( 12249 )
- ( 30 )
刘峰老师
零知识证明 - Groth16算法介绍
Groth16，是由Jens Groth在2016年提出的算法。GGPR13，是由Rosario Gennaro，Craig Gentry，Bryan Parno，Mariana Raykova在2013年提出的算法。
- Star Li
- 发布于 2019-05-27
- 阅读 ( 28506 )
- ( 21 )
Tiny熊
Vitalik Buterin
