판 이력 — Time-Space Tradeoffs For Probabilistic Proofs | AIChainDay