Cuando la gente dice "privacidad en la cadena", creo que lo que quieren decir es: \forall funcionalidades F, el protocolo de privacidad P soporta F Me gusta 🙉 y pretender que quieren decir: \exists una funcionalidad no trivial F, tal que el protocolo de privacidad P soporta F

…porque de lo contrario no hay nada interesante de qué hablar! O es demasiado caro (MPC) o demasiado inseguro (TEE) para obtener el “\forall F” El FHE no multi-clave no ayuda. iO sigue estando muy lejos. Nosotros también, a pesar de los emocionantes avances recientes.