판 이력 — Micali’s SNARG, Function Vector Commitments, and Fiat–Shamir | AIChainDay