ZKP

本文详细介绍了KZG多项式承诺方案及其在区块链中的应用，特别是以太坊的EIP-4844提案。KZG方案基于椭圆曲线配对密码学，允许提交者对多项式进行承诺，并在不透露多项式的情况下在任意点上验证其值。文章还探讨了KZG在零知识证明和EIP-4844中的具体应用。

背景下面这张图是revisitingnova中非常经典的描述cyclecurves的图：通过上面这张图，我们可以有以下共识：我们通常称上面一层电路为primary电路，下面一层电路为secondary电路。以secondary电路为例，secondary电路需要把prima

本文深入探讨了Optimistic Rollup和ZK Rollup两种以太坊Layer-2扩展技术，比较了它们在灵活性、可扩展性、交易成本、安全性、延迟、隐私等方面的优缺点，并分析了各自的应用场景和未来发展方向。

文章介绍了Matter Testnet的推出，这是基于SNARK技术的Plasma扩展方案，能够在测试网上实现每秒500笔交易的处理。文章详细阐述了Plasma的技术背景、SNARKs的应用、技术挑战和解决方案，以及未来的发展方向。

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

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

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

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

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

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

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

文章介绍了ZK-STARKs技术，这是一种零知识证明技术，不依赖于可信设置，且能抵御量子计算机攻击。文章详细解释了如何使用多项式来进行零知识证明，并通过多个示例展示了其应用场景。

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