安全攻防 None 素域 PINI：后量子 NTT 掩码的机器验证合成定理 作者：Ray Iskander，Khaled Kirah 译者：知道创宇404实验室翻译组 原文链接：https://arxiv。org/abs/2604。25878v1 摘要 本文是后量子密码掩码数论变换（NTT）硬件形式化验证分析系列论 NTT 作者 译者 2026-06-07 Seebug Paper
安全攻防 None 素域 PINI：后量子 NTT 掩码的机器验证合成定理 作者：Ray Iskander，Khaled Kirah 译者：知道创宇404实验室翻译组 原文链接：https://arxiv。org/abs/2604。25878v1 摘要 本文是后量子密码掩码数论变换（NTT）硬件形式化验证分析系列论 NTT 作者 译者 2026-05-08 Seebug Paper