A Solidity engineer proposed a protocol earlier this year using zero-knowledge proofs and transaction relayers to enable a Secret Santa-like feature on Ethereum.
You might also be interested in reading Ovid upgraded to outperform by Oppenheimer, OV329 cited.