판 이력 — Implementing Predicate Encryption for Branching Programs: Private Computation over Key-Homomorphic Encodings Without FHE | AIChainDay