Samanta et al. proposed Lumora, an arithmetization-oriented family of permutation-based wide-block ciphers optimized for zkSNARK verification and post-quantum signatures.Samanta等人在论文中提出了一族面向算术化的置换型宽分组密码Lumora,用于优化zkSNARK电路中的验证效率,并支持后量子数字签名应用。Samantaらは論文で、zkSNARK回路での検証効率を最適化する算術化指向の置換型広ブロック暗号Lumoraを提案し、耐量子デジタル署名への応用も示した。
NotesNotes要点
Lumora adopts an AES-like SPN structure over F_{2^n} with n = 16, 32, or 64.
The Even-Mansour paradigm removes a separate key schedule, cutting R1CS constraints.
It targets fast inside-circuit verification for zkSNARK provers.
The paper includes a detailed security analysis of the family.
Implementations are compared within the FAEST-EM-256 framework.
The ciphers also target post-quantum signature applications.
Why do ZK proofs need specialized symmetric ciphers?为什么ZK证明需要专门的对称密码?ZK証明に専門の対称暗号が必要なのはなぜか?
Traditional ciphers incur many R1CS constraints, raising prover cost. Arithmetization-oriented ciphers reduce these constraints.传统密码在R1CS中约束数量大,导致证明生成开销高。算术友好密码通过减少非线性乘法约束来提升性能。従来の暗号はR1CSの制約が多く、証明生成コストが高い。算術化指向暗号はその制約を削減する。
How does Lumora reduce proving overhead?Lumora如何节省证明开销?Lumoraはどう証明コストを削減するか?
It uses Even-Mansour to avoid key schedule circuits and optimizes the number of nonlinear multiplication constraints.它采用Even-Mansour范式,省去密钥调度电路,并针对R1CS优化非线性乘法约束的数量。Even-Mansour方式で鍵スケジュール回路を省き、非線形乗算制約を最適化する。
How do multiple instances affect application choices?多个实例如何影响应用选择?複数のインスタンスは応用選択にどう影響するか?
Different n values offer trade-offs between security and efficiency, letting users pick parameters like n=64 for high-security cases.不同n值提供不同的安全强度和效率,允许用户根据需要选择合适参数,例如n=64用于高安全性场景。nの値に応じて安全性と効率のトレードオフがあり、高安全性が必要ならn=64などを選択できる。