zkSNARK共10篇
零知识证明 - zkSNARK入门-区块链开发网

零知识证明 – zkSNARK入门

通过这篇文章,能快速建立零知识证明的逻辑框架。 > 理解逻辑,和写文章是两种能力。理解逻辑是将逻辑整理抽象,写文章是将逻辑丰富的过程。很多工程师大量训练的是抽象能力,不愿意写文...
零知识证明 - 从QSP到QAP-区块链开发网

零知识证明 – 从QSP到QAP

前一段时间,介绍了零知识证明的入门知识,通过QSP问题证明来验证另外一个NP问题的解。最近在看QAP问题相关的文章和资料,这篇文章分享一下QAP问题的理解。 > 程序员,大多数时间在学习和...
zkPoD:区块链,零知识证明与形式化验证,实现无中介、零信任的公平交易-区块链开发网

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

这篇文章解释利用ZKP(零知识证明)与区块链来实现去中介的交易协议的原理,讲讲我们是怎么把这个理论变成实用的代码的,这是一篇概述,希望了解更多的朋友请关注后续。 > 这篇文章解...
zkPoD:区块链,零知识证明与形式化验证,实现无中介、零信任的公平交易-区块链开发网

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

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

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

我认为区块链很难称为一个“技术”。它更像是一个领域,包罗万象。或者形而上地说,区块链更像一个有机体,融合了各种不同的理论技术。 零知识证明是构建信任的重要技术,也是区块链这个有机...
探索零知识证明系列2 - 从「模拟」理解零知识证明-区块链开发网

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

I know that I know nothing —— 苏格拉底 相信很多人都听说过零知识证明,但是只有极少数人听说过模拟,然而模拟是理解零知识的关键。 [系列一:初识「零知识」与「证明」](https://l...
零知识证明 - libsnark源代码分析-区块链开发网

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

libsnark源代码,建议想深入零知识证明的小伙伴都读一读。Bellman库主要围绕Groth16算法,libsnark给出了SNARK相关算法的全貌,各种Relation,Language,Proof System。为了更好的生成 [libs...
zkSNARK 合约「输入假名」漏洞致众多混币项目爆雷-区块链开发网

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

大量零知识证明项目由于错误地使用了某个 zkSNARKs 合约库,引入「输入假名 (Input Aliasing) 」漏洞,可导致伪造证明、双花、重放等攻击行为发生,且攻击成本极低。众多以太坊社区开源项目受影...
零知识证明 - zkSNARK应用的Nullifier Hash攻击-区块链开发网

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

早上很多朋友@我,安比实验室发表了一篇文章zkSNARK的“输入假名”的攻击。迅速看了看,很赞。这个攻击原理其实比较简单,但是,不深入理解zkSNARK以及使用场景的朋友确实很难发现和理解。本文...
零知识证明-zkSNARK应用场景分析-区块链开发网

零知识证明-zkSNARK应用场景分析

前几天在魔笛社区分享了三个zk-SNARK技术应用的场景,可以让大家zk-SNARK(Groth16)技术和场景的结合有初步的认识。 前几天在魔笛社区分享了三个zk-SNARK技术应用的场景,可以让大家zk-SNAR...