多线性

本文介绍了一种新的SNARKs构造方法，用于在整数上进行计算，并提供了一种简单但新颖的方法来构建高效的证明系统。该方法通过使用多线性SNARKs，并结合“具有模余数的承诺方案”这一新工具，将现有的SNARKs“编译”成整数上的论证，实现了高效的范围检查、混合域仿真以及RSA群中的计算验证。

本文介绍了WHIR，一种用于约束Reed-Solomon码的递归、基于哈希的邻近测试协议，它在单变量和多线性模式下均能有效运行。WHIR通过结合递归折叠机制和基于sumcheck的约束检查，实现了简洁性，可用于以太坊的签名聚合等应用，提供小体积证明、快速验证和低内存使用。