使用[Halo2](https://learnblockchain.cn/article/3442)开发电路，不可避免会设计custom gate。在实际开发custom gate的过程中，经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。 为了清晰地讲解这些...
...中立的生态系统范围内的机制，通过该机制，任何使用零知识证明系统的应用程序（L2、隐私协议和类似 zkemail 的钱包恢复是最自然的初始用例）中的证明者都可以提交他们的证明，并让一个聚合器将这些证明组合成一个单一的...
## 摘要 Nightfall是一种零知识证明的实现， 它使用zk-SNARKS让同质化ERC20和非同质化的通证ERC721系列的通证进行隐私化转移，使得交易能够完成但是又能足够的匿名。本文主要是通过对架构设计、承兑型资产铸造、转移和销毁这...
...证明的有效性，并重新提交带有已更改值的证明。 - 零知识滥用 在此情况下，来自公共值或证明的信息可以用来恢复私有值并泄露，或者对此内容做出一些建议。 考虑到这些向量，我们需要确定作为输入和输出使用的...
一个 **零知识虚拟机** (ZKVM) 是一个可以创建 ZK 证明的虚拟机，该证明验证它正确执行了一组机器指令。这允许我们获取一个程序（一组操作码），一个虚拟机规范（虚拟机如何运行，它使用什么操作码，等等），并证明生成的...
...部分。方便其他小伙伴理解或者优化相关的逻辑。有关零知识证明的推导代码，后续文章详细介绍。 ## 01 Filecoin代码模块依赖关系 从PoRep以及PoSt存储证明的角度来看，Filecoin代码模块由如下三层组成： ， 本文继续讲述完整的Kate承诺。 ## Kate承诺 Kate承诺是Kate，Zaverucha，Goldberg等人在2010年提出的多项式承诺方案。 该方案包含以下六个方法： ...
...n-Interactive Arguments of Knowledge，翻译过来叫非交互式简洁零知识证明。网上关于zkSNARK的文章很多，几乎都只讲解它的数学原理。因为它实在太难了，对于大多数像本人一样的学渣来说，理解起来真的很困难。只能隐约的感觉到它...
...链技术是个有趣的行业，爱并痛着。上个星期，自己把零知识证明证明的理解梳理了一下，也尝试直播五天分享我的理解。直播非常好玩，Zoom直播性能不错。感受比较深的是，像这样需要比较繁杂的理论基础的知识不太好讲，...
...到过去十年来诞生的最强密码学技术，肯定免不了提及零知识证明 (zero knowledge proof)。在区块链领域中，它们有两大应用场景：可扩展性和隐私。[zk-SNARK](https://learnblockchain.cn/article/1662) 作为其中一种 zkp 技术，在近几年来也得到...