Indistinguishability obfuscation from well-founded assumptions (Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021)