판 이력 — Compact Verifiable Shuffles for ElGamal Ciphertexts | AIChainDay