Contratos Inteligentes Encriptados vs zk As provas de zero-conhecimento e a Encriptação Homomórfica Total abordam a privacidade nas blockchains de ângulos diferentes. Compreender a distinção é importante para não confundir ambos. Contratos Inteligentes zk (verificação sem exposição) As provas de zero-conhecimento permitem que um provador convença um verificador de que um cálculo ou afirmação está correta sem revelar os inputs subjacentes. Em muitos fluxos de trabalho zk, o cálculo pesado ou os dados sensíveis permanecem fora da cadeia, a prova zk é submetida na cadeia para atestar a correção. Este modelo é poderoso quando o objetivo é publicar uma pequena afirmação verificável sobre um cálculo privado maior. Contratos Inteligentes Encriptados (calcular enquanto os dados permanecem encriptados) A Encriptação Homomórfica Total (FHE) permite cálculos arbitrários diretamente sobre textos cifrados, de modo que o texto cifrado resultante, uma vez decifrado por uma parte autorizada, corresponda ao resultado do mesmo cálculo em texto claro. Em termos simples, a FHE permite que os sistemas calculem sem nunca revelar os inputs. A construção original da FHE e a ideia de bootstrap são de Craig Gentry (2009), que estabeleceu a base teórica para o trabalho prático que se seguiu. A abordagem da @zama_fhe utiliza FHE para trazer essa capacidade aos contratos inteligentes, pelos quais os desenvolvedores escrevem contratos em Solidity usando uma biblioteca FHE (fhEVM), as cadeias anfitriãs emitem ponteiros e eventos, e coprocessadores fora da cadeia realizam o trabalho de FHE e armazenam textos cifrados. O protocolo é explicitamente projetado para que o cálculo encriptado seja verificável e orquestrado, em vez de oculto.