plonk专题

初识PLONK(V神博客解读)

一、概述 PLONK是最近兴起的零知识证明的一种,在原先零知识证明的基础上进行了优化。我读了网上对于PLONK的解读后,在此进行些许总结。 首先,PLONK的改进主要可分为三个方面: 1、整个方案只设置一个单独的可信设置; 2、多方可参与的可信设置; 3、用多项式承诺代替原先的零知识验证步骤。 二、工作方法 形式是“给我一个值x,我给你一个特定的程序p,这样当x作为输入进行计算时,给出一些具

Plonky2 = Plonk + FRI

Plonky2由Polygon Zero团队开发,实现了一种快速的递归SNARK,据其团队公开的基准测试,2020年,以太坊第一笔递归证明需要60s生成,而于今Plonky2在 MacBook Pro上生成只需 170 毫秒。 下面将逐步剖析Plonky2。 整体构造 每个零知识证明系统都由两部分构成。第一个是编写算术电路,第二个是多项式承诺方案。 Plonk2第一部分采用Plonk

PlonK Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge学习笔记-1

PLONK 课程笔记 最近在看plonk,直接看论文有些吃力,在哔哩哔哩上观看课程讲解,很细致https://www.bilibili.com/video/BV1XZ4y1A7bU?share_source=copy_web 1. plonk的基本原理 1.将数学运算化为多项式,之后再化为电路。 2.多项式承诺(手上的一堆多项式,满足一定的关系:证明方发送给验证者,承诺发出后,多项式不可