판 이력 — Verifiable Computation for Approximate Homomorphic Encryption Schemes | AIChainDay