#dusk $DUSK @Dusk
Systèmes de preuves à connaissance nulle : ce qui m’intéresse dans Dusk, ce n’est pas qu’il utilise des preuves ZK. C’est que différents systèmes de preuve peuvent résoudre différents goulots d’étranglement au sein d’une blockchain financière.
Les preuves de plage de type Bulletproof ont du sens pour les valeurs confidentielles. Elles permettent de prouver qu’un montant caché se situe dans une plage autorisée sans exposer le montant lui-même, et ce, sans configuration d’installation de confiance. Le compromis, c’est que les coûts de preuve et de vérification augmentent avec l’énoncé qu’on cherche à prouver.
La direction plus récente de Dusk déplace davantage la charge d’exécution vers des preuves de type PLONK. C’est une distinction plus importante que la description habituelle « Dusk est privé ». Une fois que les transactions confidentielles deviennent des contrats programmables, le problème ne se résume plus à cacher des nombres ; il devient la preuve qu’un ensemble complet de transitions d’état a respecté les règles.
C’est là que la conception des circuits commence à compter davantage que la taille brute des preuves. Une preuve minuscule mais coûteuse à générer, difficile à auditer ou malaisée à exprimer peut être moins utile qu’une preuve un peu plus grande soutenue par un système d’exécution flexible.
Les développements récents de Dusk autour de nouvelles versions de PLONK rendent aussi la partie ingénierie de la sécurité impossible à ignorer. Les systèmes ZK ne sont pas sécurisés simplement parce que les mathématiques sont justes. La logique du vérificateur, l’engagement (commitment) liant, les contraintes de circuit et les détails d’implémentation peuvent devenir la surface d’attaque réelle.
Donc, je benchmarkerais Dusk différemment : le temps du prouveur, le temps du vérificateur, la taille de la preuve, la complexité des circuits et la résilience aux audits — le tout ensemble.
La question intéressante n’est pas de savoir si Dusk a des ZK.
Il s’agit de savoir si son architecture de preuve peut rester efficace, programmable et digne de confiance à mesure que la logique financière confidentielle devient plus complexe.
Systèmes de preuves à connaissance nulle : ce qui m’intéresse dans Dusk, ce n’est pas qu’il utilise des preuves ZK. C’est que différents systèmes de preuve peuvent résoudre différents goulots d’étranglement au sein d’une blockchain financière.
Les preuves de plage de type Bulletproof ont du sens pour les valeurs confidentielles. Elles permettent de prouver qu’un montant caché se situe dans une plage autorisée sans exposer le montant lui-même, et ce, sans configuration d’installation de confiance. Le compromis, c’est que les coûts de preuve et de vérification augmentent avec l’énoncé qu’on cherche à prouver.
La direction plus récente de Dusk déplace davantage la charge d’exécution vers des preuves de type PLONK. C’est une distinction plus importante que la description habituelle « Dusk est privé ». Une fois que les transactions confidentielles deviennent des contrats programmables, le problème ne se résume plus à cacher des nombres ; il devient la preuve qu’un ensemble complet de transitions d’état a respecté les règles.
C’est là que la conception des circuits commence à compter davantage que la taille brute des preuves. Une preuve minuscule mais coûteuse à générer, difficile à auditer ou malaisée à exprimer peut être moins utile qu’une preuve un peu plus grande soutenue par un système d’exécution flexible.
Les développements récents de Dusk autour de nouvelles versions de PLONK rendent aussi la partie ingénierie de la sécurité impossible à ignorer. Les systèmes ZK ne sont pas sécurisés simplement parce que les mathématiques sont justes. La logique du vérificateur, l’engagement (commitment) liant, les contraintes de circuit et les détails d’implémentation peuvent devenir la surface d’attaque réelle.
Donc, je benchmarkerais Dusk différemment : le temps du prouveur, le temps du vérificateur, la taille de la preuve, la complexité des circuits et la résilience aux audits — le tout ensemble.
La question intéressante n’est pas de savoir si Dusk a des ZK.
Il s’agit de savoir si son architecture de preuve peut rester efficace, programmable et digne de confiance à mesure que la logique financière confidentielle devient plus complexe.