HashKey Capital Insights compartió un artículo completo que explica tanto los desafíos como el potencial de cambio de paradigma del cifrado totalmente homomórfico (#FHE). Estuvimos felices de contribuir a este artículo junto con otros proyectos destacados de Web3 FHE.
Lo desglosaremos por usted y le daremos las conclusiones.
1⃣
La gran conclusión: FHE es el Santo Grial de la criptografía por una razón. Está cambiando la forma en que protegemos los datos en todas las plataformas, dibujando una nueva era casi increíble para la privacidad de los datos.
2⃣
Las principales limitaciones de FHE DevEx:
1) Lenguaje de interfaz fácil
2) Un compilador FHE completamente funcional
3) Los esquemas FHE son demasiado lentos
3⃣
Nuevas soluciones a estas limitaciones:
1) Los compiladores FHE específicos de Web3 ofrecen el mejor rendimiento sin aceleradores de hardware
2) Nuevas bibliotecas FHE que aprovechan los populares lenguajes de programación Web3
3) El conjunto de herramientas de Zama expone operaciones homomórficas como contratos precompilados
4⃣
ZKP y FHE: una combinación perfecta en el paraíso de la privacidad. FHE permite que cualquiera realice cálculos sobre datos cifrados. Los ZKP permiten demostrar que algo es cierto sin revelar la información subyacente en sí. Así trabajan juntos:
1) Asegurarse de que el texto cifrado cumpla con los requisitos del esquema de cifrado
2) Presentar una prueba de que un texto sin formato de entrada satisface las condiciones de una aplicación determinada
3) El nodo validador debe demostrar que ha ejecutado correctamente el cálculo FHE
5⃣
ZKP de texto cifrado. Los ZKP como SNARKS y STARKS no dependen de la criptografía reticular; FHE lo hace. Esto significa que FHE es "postcuántica". En otras palabras, las ZKP por sí solas no son resistentes a los ataques de la computación cuántica, pero los FHE sí lo son.
6⃣
El problema del hardware. FHE en hardware existente es ineficiente y no escalable de forma descentralizada. FHE verificable resuelve esto permitiendo a la parte informática presentar un ZKP como prueba de la ejecución honesta de las transacciones.
