판 이력 — Critical-Round Special Soundness for Multi-Round Proofs | AIChainDay