This paper redefines the foundations of asymmetric cryptography's homomorphic cryptosystems through the application of the Yoneda Lemma. It explicitly illustrates that widely adopted systems, including ElGamal, RSA, Benaloh, Regev's LWE, and NTRUEncrypt, directly derive from the principles of the Yoneda Lemma. This synthesis gives rise to a holistic homomorphic encryption framework named the Yoneda Encryption Scheme. Within this scheme, encryption is elucidated through the bijective maps of the Yoneda Lemma Isomorphism, and decryption seamlessly follows from the naturality of these maps. This unification suggests a conjecture for a unified model theory framework, providing a basis for reasoning about both homomorphic and fully homomorphic encryption (FHE) schemes. As a practical demonstration, the paper introduces an FHE scheme capable of processing arbitrary finite sequences of encrypted multiplications and additions without the need for additional tweaking techniques, such as squashing or bootstrapping. This not only underscores the practical implications of the proposed theoretical advancements but also introduces new possibilities for leveraging model theory and forcing techniques in cryptography to facilitate the design of FHE schemes.

翻译：本文通过应用米田引理重新定义了非对称密码学中同态密码系统的基础。它明确展示了包括ElGamal、RSA、Benaloh、Regev的LWE以及NTRUEncrypt在内的广泛采用系统直接源自米田引理的原则。这一综合产生了名为米田加密方案的整体同态加密框架。在该方案中，加密通过米田引理同构的双射映射得以阐释，而解密则自然遵循这些映射的自然性。这一统一性提出了一个统一模型论框架的猜想，为推理同态加密和全同态加密方案提供了基础。作为实际演示，本文介绍了一种无需额外调整技术（如压缩或自举）即可处理加密乘法和加法任意有限序列的全同态加密方案。这不仅突显了所提出理论进展的实际意义，还为利用模型论和力迫技术促进全同态加密方案设计开辟了新的可能性。