판 이력 — zkAgent: Verifiable LLM Agent Execution via One-Shot Transcript Proofs | AIChainDay