In programmable cryptography, especially ZKPs and FHE, lookup-table (LUT) evaluation has driven dramatic efficiency gains in recent years. We've published a new paper introducing LUT evaluation over key-homomorphic encodings, specifically BGG+ encodings.