一种通用的zk-SNARK零知识证明优化系统和方法

本发明公开一种通用的zk‑SNARK零知识证明优化系统和方法。该系统包括：可信设备、证明者和验证者，其中证明者利用桶算法实现多标量乘法运算，证明者包含拆分窗口单元、桶内点规约单元、窗口内规约单元和窗口聚合单元，拆分窗口单元基于设定窗口将多标量乘法运算拆分为多个子任务，所述窗口根据蒙哥马利模乘计算量动态设定；桶内点规约单元将每个椭圆曲线有限域上的点规约到桶，获得每一个子任务的结果；窗口内规约单元用于将桶号点乘被规约的桶，并将同一窗口内的桶累加归约成一个桶，获得各窗口的窗口值；窗口聚合单元基于每个窗口的窗口值，得到多标量乘法的计算结果。本发明有效优化了多标量乘法的执行效率，有利于实现zk‑SNARK证明生成过程的高效运行。