Matthew Green on Nostr: This is done by embedding all the logic that processes secret keys into a “garbled ...

This is done by embedding all the logic that processes secret keys into a “garbled circuit” within the ciphertext. The garbled circuit can compute the functions itself. What’s crazy is that this only happens in the security proof. In the real protocol none of this logic exists.