판 이력 — A Formal Analysis of Agent Payment Protocols | AIChainDay