판 이력 — Designated-Verifier Dynamic zk-SNARKs with Applications to Dynamic Proofs of Index | AIChainDay