Comment construire des contrats intelligents privés via : - zkSNARK : L'état est des engagements, un seul prouveur effectue des calculs sur du texte en clair et publie un zkSNARK, pas de déchiffrement global ni de contrôle d'accès. - coSNARK : L'état est des engagements, le calcul est hors chaîne via MPC donc aucun serveur unique ne voit le témoin complet, toujours pas de déchiffrement global ni de contrôle d'accès. - TEE : L'état est du texte chiffré à l'extérieur et du texte en clair à l'intérieur de l'enclave, le calcul et le déchiffrement soumis à une politique se déroulent à l'intérieur d'une enclave attestée à distance, s'appuyant sur l'intégrité du matériel/de l'attestation. - FHE : L'état est du texte chiffré sous une clé FHE commune, tout le monde peut évaluer de manière homomorphe avec vérification sur chaîne, le déchiffrement est soumis à une politique régie par un comité de seuil (risque de collusion). - iO : L'état est du texte chiffré et le calcul est homomorphe, un déchiffreur public obfusqué impose une politique de déchiffrement sans un détenteur de clé actif (pas de risque de collusion).

j'ai eu l'idée d'écrire cela en regardant la présentation de Jigsaw lors de SBC () qui propose une approche basée sur coSNARK pour des contrats intelligents privés.