Polygon zkEVM中的子约束系统

mutourend

已于 2022-12-07 23:35:07 修改

阅读量588

点赞数

分类专栏： zkVM 文章标签：零知识证明

于 2022-12-06 16:51:36 首次发布

本文链接：https://blog.csdn.net/mutourend/article/details/128205837

版权

131 篇文章 23 订阅

订阅专栏

1. 引言

前序博客有：

Polygon zkEVM中主要设计了3种子约束系统：

所谓grand product check，是指：

public info：commitments to polynomials $f, g$ over a finite field $\mathbb{F}$ ，及 a subset $H=\{x_1,\cdots,x_n\}\subset \mathbb{F}$
private info：多项式 $f, g$ 。
待证明relation： $\prod_{i\in[n]}a_i=\prod_{i\in[n]}b_i$ ，其中 $a_i=f(x_i),b_i=g(x_i)$ 。

在PLONK论文中指出，当 $H$ 为a multiplicative subgroup时，可高效实现相应证明。

此文讨论的长为 $n$ 的vector $\vec{a}$ ，在协议的实际实现中，均为Prover会对多项式 $f$ 进行commit，其中 $f(x_i)=a_i$ 。

PLOOKUP的核心技术为：

借助少量的randomness，可将grand product check 转换为更强大的primitive——the multiset equality check：

已知两个vector $\vec{a}=(a_1,\cdots,a_n),\vec{b}=(b_1,\cdots,b_n)$ ，check两者是否具有相同的元素，计算相应的重复值，顺序可以不对应。

如 $(1, 1, 2, 3)$ 与 $(2, 1, 1, 3)$ 是multiset-equal的，但是与 $(1, 2, 3, 3)$ 或 $(1, 1, 2, 4)$ 都不是 multiset-equal的。

电路证明中常用到permutation check，用于证明电路中门之间wires赋值的一致性（establishes the consistency of the assignment of wires to gates）。
Permutation是指：

根据Plookup论文，相应的Plookup子约束系统证明系统为：
在这里插入图片描述

根据Plonk论文可知，Permutation check约束子系统证明系统为：
在这里插入图片描述

Permutation check约束子系统为 Connection check（Copy constraint）约束子系统的特例情况，Connection check（Copy constraint）约束子系统更具有通用性。

关注