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