판 이력 — RoKoko: Lattice-based Succinct Arguments, a Committed Refinement | AIChainDay