판 이력 — Verified non-recursive calculation of Beneš networks applied to Classic McEliece | AIChainDay