판 이력 — Low-Latency Low-Randomness First-Order OPINI Gadgets and Their Formal Verification | AIChainDay