暂无介绍
前几天在魔笛社区分享了三个zk-SNARK技术应用的场景,可以让大家zk-SNARK(Groth16)技术和场景的结合有初步的认识。
[libsnark源代码](https://github.com/scipr-lab/libsnark),建议想深入[零知识证明](https://www.v3h4t.com/categories/zkp/)的小伙伴都读一读。Bellman库主要围绕[Groth16算法](https://www.v3h4t.com/2019/05/27/groth16/),libsnark给出了SNARK相关算法的全貌,各种Relation,Language,Proof System。为了更好的生成
>I know that I know nothing —— 苏格拉底 相信很多人都听说过零知识证明,但是只有极少数人听说过模拟,然而模拟是理解零知识的关键。
我认为区块链很难称为一个“技术”。它更像是一个领域,包罗万象。或者形而上地说,区块链更像一个有机体,融合了各种不同的理论技术。 零知识证明是构建信任的重要技术,也是区块链这个有机体中不可缺少的一环。
早上很多朋友@我,安比实验室发表了一篇文章[zkSNARK的“输入假名”的攻击](https://www.v3h4t.com/2019/07/29/zkSNARK-wul/)。迅速看了看,很赞。这个攻击原理其实比较简单,但是,不深入理解zkSNARK以及使用场景的朋友确实很难发现和理解。本文讲讲我对这个攻击的分析和理解。
大量零知识证明项目由于错误地使用了某个 zkSNARKs 合约库,引入「输入假名 (Input Aliasing) 」漏洞,可导致伪造证明、双花、重放等攻击行为发生,且攻击成本极低。众多以太坊社区开源项目受影响,其中包括三大最常用的 zkSNARKs 零知开发库 snarkjs、ethsnarks、ZoKrates,以及近期大热的三个混币(匿名转账)应用 hopper、Heiswap、Miximus。这是一场由 Solidity 语言之父 Chris 两年前随手贴的一段代码而引发的血案。
> 这篇文章解释利用ZKP(零知识证明)与区块链来实现去中介的交易协议的原理,讲讲我们是怎么把这个理论变成实用的代码的,这是一篇概述,希望了解更多的朋友请关注后续。
前一段时间,介绍了[零知识证明的入门知识](https://www.v3h4t.com/2019/04/18/learn-zkSNARK/),通过QSP问题证明来验证另外一个NP问题的解。最近在看QAP问题相关的文章和资料,这篇文章分享一下QAP问题的理解。
通过这篇文章,能快速建立零知识证明的逻辑框架。
今天这篇文章我们一起来看一下zkSNARK这个拗口的技术到底是什么鬼。
0 回答,54赞同
0 回答,22赞同
0 回答,0赞同