Contratos inteligentes encriptados vs zk Las pruebas de conocimiento cero y el cifrado totalmente homomórfico abordan la privacidad en las cadenas de bloques desde diferentes ángulos. Comprender la distinción es importante para no confundir ambos. Contratos inteligentes Zk (verificación sin exposición) Las pruebas de conocimiento cero permiten que un probador convenza a un verificador de que un cálculo o declaración es correcto sin revelar las entradas subyacentes. En muchos flujos de trabajo zk, la computación pesada o los datos confidenciales permanecen fuera de la cadena, la prueba zk se envía en la cadena para dar fe de la corrección. Este modelo es poderoso cuando el objetivo es publicar una declaración pequeña y verificable sobre un cálculo privado más grande. Contratos inteligentes cifrados (computar mientras los datos permanecen encriptados) El cifrado totalmente homomórfico (FHE) permite el cálculo arbitrario directamente en textos cifrados para que el texto cifrado resultante, una vez descifrado por una parte autorizada, coincida con el resultado del mismo cálculo en texto sin formato. En términos simples, FHE permite que los sistemas calculen sin revelar las entradas. La construcción original de FHE y la idea de bootstrapping se deben a Craig Gentry (2009), que sentó las bases teóricas para el trabajo práctico que siguió. El enfoque de @zama_fhe utiliza FHE para llevar esta capacidad a los contratos inteligentes, mediante los cuales los desarrolladores escriben contratos en Solidity utilizando una biblioteca FHE (fhEVM), las cadenas de hosts 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 la computación cifrada sea verificable y orquestada en lugar de oculta.