Contratos Inteligentes Encriptados vs zk Las pruebas de conocimiento cero y la Encriptación Homomórfica Total abordan la privacidad en las blockchains desde diferentes ángulos. Entender la distinción es importante para no confundir ambos. Contratos Inteligentes zk (verificación sin exposición) Las pruebas de conocimiento cero permiten a un probador convencer a un verificador de que un cálculo o declaración es correcto sin revelar las entradas subyacentes. En muchos flujos de trabajo zk, el cálculo pesado o los datos sensibles permanecen fuera de la cadena, la prueba zk se envía a la cadena para atestiguar la corrección. Este modelo es poderoso cuando el objetivo es publicar una pequeña declaración verificable sobre un cálculo privado más grande. Contratos Inteligentes Encriptados (calcular mientras los datos permanecen encriptados) La Encriptación Homomórfica Total (FHE) permite cálculos arbitrarios directamente sobre textos cifrados de modo que el texto cifrado resultante, una vez descifrado por una parte autorizada, coincida con el resultado del mismo cálculo sobre texto plano. En términos simples, FHE permite a los sistemas calcular sin revelar nunca las entradas. La construcción original de FHE y la idea de arranque son de Craig Gentry (2009), que sentó la base teórica para el trabajo práctico que siguió. El enfoque de @zama_fhe utiliza FHE para llevar esta capacidad a los contratos inteligentes, mediante la cual los desarrolladores escriben contratos en Solidity utilizando una biblioteca FHE (fhEVM), las cadenas anfitrionas emiten punteros y eventos, y los coprocesadores fuera de la cadena realizan el trabajo de FHE y almacenan textos cifrados. El protocolo está diseñado explícitamente para que el cálculo encriptado sea verificable y orquestado en lugar de oculto.