NotesNotes要点

• Non-native arithmetic is a key SNARK bottleneck, causing high overhead and bugs.
• Limber is the first practical integer mod-PCS construction.
• It achieves asymptotically o(1) multiplicative commitment overhead.
• It can be instantiated with any standard field PCS, including small fields.
• A PIOP for integer R1CS over a random prime yields the full SNARK.
• RSA arithmetic is proven more than 67x faster than prior circuit-based methods.

• 非原生算术是SNARK设计的核心瓶颈，常带来高开销和实现错误。
• 论文提出Limber，首个实用的整数模PCS构造。
• Limber渐近上仅需o(1)乘法承诺开销。
• 可与任何标准域多项式承诺方案实例化，包括小域。
• 结合随机素域上的整数R1CS PIOP构建完整SNARK。
• 实验表明RSA算术比现有电路方法快67倍以上。

• 非ネイティブ演算はSNARK設計の主要なボトルネックであり、高オーバーヘッドとバグの原因となる。
• Limberは初の実用的な整数mod-PCS構成である。
• 漸近的にo(1)の乗法的コミットメントオーバーヘッドを達成する。
• 小体を含む任意の標準体PCSでインスタンス化できる。
• ランダム素体上の整数R1CS用PIOPと組み合わせて完全なSNARKを構築する。
• RSA演算を従来の回路ベース手法よりも67倍以上高速化できることを実証した。