A criptografia homomórfica (HE) oferece poder computacional em escala de nuvem com rigorosa privacidade de dados de ponta a ponta. Enquanto os esquemas clássicos de HE suportam busca encriptada, análises e cargas de trabalho limitadas de aprendizado de máquina, duas lacunas críticas permanecem:

- Desafio de segurança pós-quântica: A maioria dos sistemas HE maduros baseia-se em RSA, curvas elípticas ou suposições de emparelhamento - todos vulneráveis a ataques do tipo Shor quando computadores quânticos grandes e tolerantes a falhas chegarem.

- Limitação da computação quântica: Nenhum dos esquemas amplamente implantados permite que um usuário delegue cálculos quânticos (por exemplo, núcleos variacionais, gadgets de correção de erros) enquanto mantém tanto o algoritmo quanto os dados quânticos ocultos.

Nossa pesquisa aborda ambas as lacunas simultaneamente, baseando-se na estrutura HE categórica para provas intuicionistas e programas funcionais totais introduzida no artigo do Dr. @bengoertzel sobre "Criptografia homomórfica de provas de lógica intuicionista e programas funcionais: Uma abordagem categórica inspirada por grupos bilineares de ordem composta" e estendendo-a ao domínio quântico: