판 이력 — Proving Authenticated Key Exchange via Memory-Efficient Reductions | AIChainDay