Startups
impact 16
Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking
Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking arXiv:2604.25878v1 Announce Type: new Abstract: This is Paper 6 of a series of formally-verified analyses of masked NTT hardware for po…
Why it matters
Worth watching closely: the interplay between primefield and pini could reshape how organizations approach machinechecked.