판 이력 — Bootstrapping Mutual Attestation with Kleene's Second Recursion Theorem | AIChainDay