Here's a fun related article on Indistinguishability Obfuscation: https://cacm.acm.org/research/indistinguishability-obfuscation-from-well-founded-assumptions/

Here's a fun related article on Indistinguishability Obfuscation: https://cacm.acm.org/research/indistinguishability-obfuscation-from-well-founded-assumptions/ https://cacm.acm.org/research/indistinguishability-obfuscati... TL;DR verifying that 2 functions have the same output is really freaking hard.