판 이력 — Code Generation of Faster Formally Verified NTT with Plantard Reduction | AIChainDay