本文介绍了在R1CS电路中优化线性运算的方法，尤其是在零知识证明（ZK）系统中，通过将模型权重直接嵌入到电路中作为常量，而不是作为信号传递，可以显著减少约束的数量，从而降低计算成本。实验表明，这种优化对于R1CS和Plonk系统都能显著提升证明速度，特别是在R1CS系统中，线性操作几乎变为“免费”。
0x90699B5A52BccbdFe73d5c9F3d039a33fb2D1AF6