Prime-Field PINI: Teorema Komposisi Machine-Checked untuk Post-Quantum NTT Masking
Prime-Field PINI membuktikan composition theorems machine-checked pertama untuk arithmetic masking over prime fields dalam Lean 4, mendiagnosis flaw di Microsoft…
// tag: #Formal Verification