판 이력 — A Simplified Round-by-round Soundness Proof of FRI | AIChainDay