weixin_43179764的博客

Concept：zk-stark vs zk-snark谈到ZKP算法，大伙可能听过一些，比如zk-snark，zk-stark, bulletproof， aztec， plonk等等。今天，咱就给大伙聊聊这一对“表面兄弟”，zk-stark和zk-snark算法的异同之处。不如，先让我们从名称说起？ 毕竟，两个看起来都很厉害的亚子_ ！如下图所示，我们将名称zk-stark 和 zk-...

前言了解零知识证明的读者，可能都拜读过V神的文章，整个系列由浅入深，很有条理，相对其他文章更容易理解一下。其实V神讲解的算法是PGHR13算法的整体步骤，此算法也被应用于知名项目Zcash中，现在，就让我们去一起探究，在实际项目中，PGHR13算法是具体的什么步骤呢？PGHR13在Zcash的Sapling版本升级之前，其采用的零知识证明算法的主体就是PGHR13，并因为效率和安全问题，做了...

前言想学习zk-snark算法的读者可能大多都读过V神的文章（https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649）总共分为三个部分，细致而全面的讲解了zk-snark算法的基本数学原理及思想，想要看懂还是需要花费一些时间和心思的；同时，可能也有一部分读者会从...

建议建议读者在阅读本篇分享时，要具备以下知识储备：1. 算数环路的基本概念及数学模型2. QAP的原理3. 零知识证明的基本思想4. PGHR13算法的数学原理5. Groth16算法的数学原理目的本篇分享主要针对零知识证明的两个主流算法，PGHR13和Groth16算法进行了相同点和异同点的分析。主要是个人的理解，如有错位，还请热心读者批评指正，先谢过^_^对比分析主要从...