판 이력 — Formalizing PQC Signature Transition: Case of PoW Blockchain Against On-Spend Attack | AIChainDay