#dusk $DUSK @Dusk
J’ai passé cette semaine par la vérification de solde de Phoenix, parce que je voulais comprendre comment le réseau confirme qu’un transfert est valide lorsqu’il ne peut pas voir les montants impliqués.
La réponse, ce sont les engagements de Pedersen, et c’est plus élégant que je ne m’y attendais.
DuskEVM a été lancé au T1 2026, ajoutant un deuxième chemin d’exécution au-dessus de DuskDS. Le DuskDS sous-jacent utilise toujours Phoenix pour les transactions de confidentialité natives — ce qui signifie que ce mécanisme est en place depuis le lancement du mainnet en janvier 2025.
Chaque note Phoenix porte un engagement de valeur — pas le montant lui-même, mais un engagement cryptographique à ce montant. Les engagements de Pedersen sont homomorphes : vous pouvez les additionner et les soustraire. Ainsi, le réseau peut vérifier que la somme des engagements d’entrée est égale à la somme des engagements de sortie, sans jamais voir ce que sont réellement les valeurs.
Moonlight gère cela de manière transparente : le réseau voit les montants et vérifie directement l’arithmétique. Phoenix le fait cryptographiquement : les montants restent cachés, mais l’arithmétique des engagements reste valable.
La comparaison qui m’a fait “tilter” : c’est la différence entre une banque qui vérifie votre solde en le lisant, et le fait de prouver que votre solde est suffisant en montrant un reçu — sans afficher le nombre réel.
Une mise en garde honnête : les engagements de Pedersen seuls ne prouvent pas que les valeurs sont positives. Les preuves de bornes en connaissance zéro s’occupent de cela séparément.
Dans quelle mesure ce modèle se transpose-t-il à d’autres contextes : l’arithmétique basée sur les engagements est-elle utilisée ailleurs que dans les chaînes natives ZK, ou est-ce encore principalement un outil spécifique à la blockchain ? @Dusk
$DUSK #dusk
J’ai passé cette semaine par la vérification de solde de Phoenix, parce que je voulais comprendre comment le réseau confirme qu’un transfert est valide lorsqu’il ne peut pas voir les montants impliqués.
La réponse, ce sont les engagements de Pedersen, et c’est plus élégant que je ne m’y attendais.
DuskEVM a été lancé au T1 2026, ajoutant un deuxième chemin d’exécution au-dessus de DuskDS. Le DuskDS sous-jacent utilise toujours Phoenix pour les transactions de confidentialité natives — ce qui signifie que ce mécanisme est en place depuis le lancement du mainnet en janvier 2025.
Chaque note Phoenix porte un engagement de valeur — pas le montant lui-même, mais un engagement cryptographique à ce montant. Les engagements de Pedersen sont homomorphes : vous pouvez les additionner et les soustraire. Ainsi, le réseau peut vérifier que la somme des engagements d’entrée est égale à la somme des engagements de sortie, sans jamais voir ce que sont réellement les valeurs.
Moonlight gère cela de manière transparente : le réseau voit les montants et vérifie directement l’arithmétique. Phoenix le fait cryptographiquement : les montants restent cachés, mais l’arithmétique des engagements reste valable.
La comparaison qui m’a fait “tilter” : c’est la différence entre une banque qui vérifie votre solde en le lisant, et le fait de prouver que votre solde est suffisant en montrant un reçu — sans afficher le nombre réel.
Une mise en garde honnête : les engagements de Pedersen seuls ne prouvent pas que les valeurs sont positives. Les preuves de bornes en connaissance zéro s’occupent de cela séparément.
Dans quelle mesure ce modèle se transpose-t-il à d’autres contextes : l’arithmétique basée sur les engagements est-elle utilisée ailleurs que dans les chaînes natives ZK, ou est-ce encore principalement un outil spécifique à la blockchain ? @Dusk
$DUSK #dusk