판 이력 — Formalizing and Strengthening the Security Proof of NTOR | AIChainDay