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