← back to paper
arxiv: 2604.25878 · 2 revisions
Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking