Le problème de l’enveloppe scellée : Vérification sans révélation Le problème des généraux byzantins demande comment des personnes qui ne se font pas confiance peuvent s’accorder sur une histoire ouverte : Comment parvenir à un consensus sans confiance ? À côté de cela se trouve un dilemme adjacent, orthogonal : Comment un réseau non fiable peut-il faire respecter les règles d’une transaction dont aucun de ses membres n’est autorisé à voir le contenu ? C’est le problème de l’enveloppe scellée — le paradoxe conceptuel résolu par l’argent à preuve à divulgation nulle de connaissance. Deux dimensions de la confiance distribuée Bitcoin et Zcash régissent deux couches distinctes de systèmes distribués : * Le problème des généraux byzantins régit l’ordre : Comment les nœuds méfiants s’accordent-ils sur quelles transactions ont eu lieu et dans quel ordre ? * Le problème de l’enveloppe scellée régit la validité : Comment ces nœuds vérifient-ils qu’une transaction cachée est légale, solvable et non inflationniste sans examiner son contenu ? Bitcoin a résolu le consensus ouvert en rendant toute son histoire transparente. Chaque nœud audit indépendamment les livres : traçant les sorties, comptabilisant les soldes publics et vérifiant les signatures. Bitcoin fonctionne parce que chaque participant lit la même page : * Bitcoin : Comment s’accordons-nous sur un registre ouvert que tout le monde peut auditer ? $BTC * Zcash : Comment prouvons-nous que le registre est équilibré lorsque ses entrées sont cachées ? Le consensus décide quelle enveloppe est arrivée en premier ; le problème de l’enveloppe scellée demande comment une foule adversariale prouve que l’enveloppe n’est pas contrefaite. $ZEC Le bazar de Samarcande Imaginons un carrefour ancien sur la route de la soie Des marchands issus d’empires rivaux se mêlent sous les voûtes : des marchands de soie sogdiens, des changeurs persans et des voyageurs vénitiens. Ils ne partagent aucun souverain commun, parlent des langues différentes et nourrissent une méfiance mutuelle. Deux étrangers enveloppés de voiles se rencontrent au centre de la place. En pleine vue de la foule et de la garde urbaine, l’un remet à l’autre une enveloppe scellée à la cire. Personne ne peut l’ouvrir. Personne n’est autorisé à apprendre qui l’a envoyée, qui l’a reçue, quelle pièce antérieure elle représente ou son montant. Il n’existe aucun grand vizir ni assayeur impérial qui inspecte discrètement le contenu. Pourtant, la foule méfiante doit être mathématiquement équipée pour rejeter l’échange si : * La pièce à l’intérieur n’existe pas. * L’expéditeur ne possède pas le droit légitime de la dépenser. * La pièce a déjà été dépensée dans une autre caravane la veille. * Le transfert augmente l’offre monétaire en forgeant une nouvelle pièce de rien. La cire reste intacte. Le contenu reste caché. Pourtant, chaque marchand du bazar vérifie indépendamment que les lois monétaires du royaume ont été strictement respectées. Historiquement, le commerce physique confond deux propriétés distinctes : la connaissance de la transaction et la connaissance du fait que la transaction est valide. L’audit conventionnel obtient la seconde en saisissant la première : vous mordiez l’or, comptiez les pièces, auditez le registre privé du marchand ou faisiez confiance à une monnaie impériale qui l’avait fait. La cryptographie à preuve à divulgation nulle de connaissance rompt ce lien. Un vérificateur n’a pas besoin des faits sous-jacents. Il ne nécessite qu’une preuve mathématique concise démontrant que ces faits cachés satisfont aux contraintes du protocole. Consensus et révélation Le nom décrit la contrainte plutôt que la technologie. Le chiffrement ordinaire cache simplement un message, le rendant opaque à la vérification. Le problème monétaire plus difficile consiste à permettre à un collectif non fiable et adversarial d’auditer un état caché. Les deux piliers fondamentaux de la monnaie décentralisée se tiennent côte à côte : * Généraux byzantins : Accord sans confiance. * Enveloppe scellée : Vérification sans révélation. La tolérance aux pannes byzantines fournit une chronologie publique immuable, tandis que les preuves à divulgation nulle de connaissance imposent la validité privée. Bitcoin a prouvé que des étrangers pouvaient maintenir une histoire monétaire sans faire confiance à une autorité centrale. Zcash a prouvé que cette histoire pouvait faire respecter la conservation monétaire sans exiger que chaque vie privée devienne une propriété publique. Bitcoin a appris au bazar à s’accorder sur un livre ouvert. Zcash a prouvé que le livre était équilibré sans ouvrir les pages.