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