판 이력 — LAMP: Linear Verification of Matrix Multiplication via Proximity Testing | AIChainDay