PLONK
-
从 AIRs 到 RAPs —— PLONK 式的算术化如何工作
原本标题：From AIRs to RAPs - how PLONK-style arithmetization works
原文作者：Aztec
原文来源：Aztec
编译：Xiang｜W3.Hitchhiker
-
引介 | 零知识证明算法之REDSHIFT
写在前面 伴随着区块链的技术发展，零知识证明（Zero Knowledger Proof, ZKP）技术先后在隐私和Layer2扩容领域得到越来越多的应用，技术也在持续的迭代更新。从需要不同的Trust Setup的ZKP（例如Groth16），到需要一次Trust Setup同时支持更新的ZKP（例如Plonk），再到不需要Trust Setup的ZKP（…
-
学习笔记 | 零知识证明算法之PLONK——协议
上一篇主要描述了PLONK协议里的一个核心部分，用置换校验的方法去证明电路门之间的一致性；接下来，将继续分享如何证明门的约束关系得成立，以及整体的协议剖析。 门约束 举个简单的例子，假如存在一个电路，电路中仅有3个乘法门，对应的约束如下： L1 * R1 – O1 = 0 L2 * R2 – O2 = 0 L3 * R3 –…
-
学习笔记 | 零知识证明算法之PLONK——电路
最近研究了下零知识证明算法-PLONK。肚子里的墨水又增加了，记一下学习成果与新的体会，和大家共同学习 — 江小白。 现状 近些年，各种新的零知识证明算法层出不出，各有各的特点，各有各的优势。借用V神系列文章里的一张图来简单呈现下当前的零知识证明算法现状。 从图中可以简单总结出以下几点： 理论上安全性最高的是STARKs算法，不依赖数学难题假设，…
