Contrats intelligents Encrypted vs zk Les preuves à divulgation nulle de connaissance et le chiffrement homomorphe complet abordent la confidentialité sur les blockchains sous différents angles. Comprendre la distinction est important afin de ne pas confondre les deux. Contrats intelligents zk (vérification sans exposition) Les preuves à divulgation nulle de connaissance permettent à un prouveur de convaincre un vérificateur qu'un calcul ou une déclaration est correct sans révéler les entrées sous-jacentes. Dans de nombreux flux de travail zk, le calcul lourd ou les données sensibles restent hors chaîne, la preuve zk est soumise sur chaîne pour attester de la justesse. Ce modèle est puissant lorsque l'objectif est de publier une petite déclaration vérifiable sur un calcul privé plus important. Contrats intelligents chiffrés (calcul pendant que les données restent chiffrées) Le chiffrement homomorphe complet (FHE) permet un calcul arbitraire directement sur des textes chiffrés de sorte que le texte chiffré résultant, une fois déchiffré par une partie autorisée, corresponde au résultat du même calcul sur du texte en clair. En termes simples, le FHE permet aux systèmes de calculer sans jamais révéler les entrées. La construction originale du FHE et l'idée de bootstrap sont dues à Craig Gentry (2009), qui a établi la base théorique pour le travail pratique qui a suivi. L'approche de @zama_fhe utilise le FHE pour apporter cette capacité aux contrats intelligents, par laquelle les développeurs écrivent des contrats en Solidity en utilisant une bibliothèque FHE (fhEVM), les chaînes hôtes émettent des pointeurs et des événements, et les coprocesseurs hors chaîne effectuent le travail FHE et stockent les textes chiffrés. Le protocole est explicitement conçu pour que le calcul chiffré soit vérifiable et orchestré plutôt que caché.