ZKP

状态证明是解决各个区块链数据割裂的问题的良药。

本文介绍的这些知识点是理解plookup的基础

本文介绍另一种基于plonk的proof system--halo2，目前看到基于plonk的工程实现有三种:bellman, dusk, halo2.

Caulk+ 是 Caulk 的优化版本方案，它用了一个被称为「polynomial divisibility check」的方法来替换原本的子协议，以提升 Caulk 生成证明的效率，使得证明复杂度仅与子集的大小有关，而与原向量的大小无关。

17年出现了一款非常火爆的Dapp应用叫加密猫，加密猫曾造成以太坊主网大规模的拥堵，造成拥堵的原因是以太坊当时的TPS只有15，这意味着以太坊每秒只能处理15笔交易，如此低的TPS严重限制了区块链应用的大规模落地，所以有人开始研究区块链扩容的问题，目的就是为了提高链上的TPS。zkRollup就是基于零知识证明的二层扩容方案(layer2)。

Lookup Arguments 允许证明者（prover）证明一个值属于一个预先定义的集合。

本文主要介绍plookup算法的思路

本文介绍Sigma协议的交互和非交互性质，简单明了，介绍了零知识证明中常用的Fiat-Shamir变换

本文提供了一份面向程序员的零知识证明（ZKP）教程，使用了 Circom 这种用于编写 ZKP 电路的领域特定语言。文档解释了 ZKP 的概念、约束条件的重要性以及设置、构建和验证 ZKP 电路的过程。它还涵盖了基本 ZKP、使用哈希函数和承诺实现数字签名方案，以及群签名方案。

深入探讨了 fhEVMs 如何利用全同态加密来增强 EVM 兼容区块链中的隐私性。

探索零知识证明系列（五）

我认为区块链很难称为一个“技术”。它更像是一个领域，包罗万象。或者形而上地说，区块链更像一个有机体，融合了各种不同的理论技术。

零知识证明是构建信任的重要技术，也是区块链这个有机体中不可缺少的一环。

通过这篇文章，能快速建立零知识证明的逻辑框架。