Contratos inteligentes criptografados vs zk Provas de conhecimento zero e criptografia totalmente homomórfica abordam a privacidade em blockchains de diferentes ângulos. Compreender a distinção é importante para não confundir os dois. Zk-Smart Contracts (verificação sem exposição) As provas de conhecimento zero permitem que um provador convença um verificador de que um cálculo ou instrução está correto sem revelar as entradas subjacentes. Em muitos fluxos de trabalho zk, a computação pesada ou os dados confidenciais permanecem fora da cadeia, a prova zk é enviada on-chain para atestar a correção. Esse modelo é poderoso quando o objetivo é publicar uma declaração pequena e verificável sobre uma computação privada maior. Contratos inteligentes criptografados (compute enquanto os dados permanecem criptografados) A Criptografia Totalmente Homomórfica (FHE) permite a computação arbitrária diretamente em textos cifrados para que o texto cifrado resultante, uma vez descriptografado por uma parte autorizada, corresponda ao resultado da mesma computação em texto simples. Em termos simples, o FHE permite que os sistemas computem sem nunca revelar as entradas. A construção original da FHE e a ideia de bootstrapping devem-se a Craig Gentry (2009), que estabeleceu a base teórica para o trabalho prático que se seguiu. A abordagem da @zama_fhe usa o FHE para trazer esse recurso para contratos inteligentes, pelos quais os desenvolvedores escrevem contratos no Solidity usando uma biblioteca FHE (fhEVM), as cadeias de host emitem ponteiros e eventos, e os coprocessadores off-chain executam o trabalho FHE e armazenam textos cifrados. O protocolo é explicitamente projetado para que a computação criptografada seja verificável e orquestrada, em vez de oculta.