판 이력 — Towards Formal Security Proofs of MQOM | AIChainDay