Yuan-Hao Bai

SAPA: A Programmable Shared Polynomial Arithmetic Accelerator with Semantic Handoff Validation for Staged ML-KEM/ML-DSA Flows

ML-KEM and ML-DSA are dominated by the same modular polynomial operators, which makes a shared FPGA datapath attractive. However, an accelerator that runs both primitives back to back has a failure mode that arithmetic checking alone cannot catch: a command can be locally correct yet bound to the wrong cross-command st...