판 이력 — Scaling Zero Knowledge UNSAT Verification via Normalized Chaining | AIChainDay