Laconic function evaluation (LFE) allows Alice to compress a large circuit C into a small
digest d. Given Alice's digest, Bob can encrypt some input x under d in a way that enables …