zama @zama_fhe de fhEVM coprocesseur Trois états : État public / État hors chaîne / État privé - (État public) L'état des blockchains L1 traditionnelles est public, manquant de confidentialité - (État hors chaîne) ZK est un calcul d'état hors chaîne, preuve sur chaîne, manquant de combinabilité pour l'état hors chaîne - (État privé) FHE, c'est un calcul d'état complètement privé, l'état privé est rendu public sur la chaîne, l'état privé peut être combiné entre les contrats sur la chaîne, ici fhEVM a un processus d'autorisation, c'est-à-dire que l'état du contrat initial est crypté, et peut être géré par un protocole MPC de seuil Le coprocesseur fhEVM exécute des contrats intelligents FHE sur la chaîne EVM - Lorsque le contrat appelle la bibliothèque TFHE de Zama pour exécuter des opérations FHE sur L1, L1 lui-même ne réalise aucun calcul FHE réel, mais génère un pointeur vers le résultat - Ensuite, le serveur hors chaîne surveillant L1 effectue le calcul - Les développeurs utilisent Solidity et le SDK fhEVM, sans avoir besoin de connaissances en cryptographie, pour développer des dapps de bout en bout cryptés - Tout ce que fait le coprocesseur est publiquement vérifiable, tout le monde peut recalculer le texte chiffré pour vérifier le résultat - Le coprocesseur fhEVM était initialement géré par la société zama, mais sera ouvert par la suite (les mineurs zama fhe, regardez ici) Un scénario d'application simple : Identité DID combinable sur chaîne : par exemple, votre dapp de contrat DID, lorsque vous utilisez un contrat de crédit sur chaîne, le contrat DID autorise le contrat de crédit avec votre permission, le contrat DID sort vos informations d'état d'identité privée (après cryptage), le contrat de crédit utilise vos informations DID pour l'évaluation des risques et l'évaluation des taux d'intérêt dans l'état chiffré. Cela illustre la combinabilité du calcul dans l'état chiffré (confidentialité) + des contrats EVM FHE dans l'état chiffré. ZK est le moteur de vérification/preuve des secrets et des calculs FHE est le moteur de calcul dans l'état chiffré