Dans le domaine de la confidentialité blockchain et des preuves à divulgation zéro, ceux qui ont réellement mené des développements approfondis admettent un point central : ZK n’a jamais été une question de faisabilité fonctionnelle, mais plutôt de performance et d’utilisabilité. Aussi sophistiquants que soient les papiers blancs et les articles, une fois en phase de déploiement pratique, le temps de génération des preuves peut souvent atteindre quelques dizaines de secondes voire plusieurs minutes, ce qui entraîne un effondrement de l’expérience utilisateur.

De nombreuses blockchains sur le marché prétendent supporter les preuves à divulgation zéro, mais en réalité, elles intègrent de force la logique circuit dans le cadre EVM. Bien que cette approche soit théoriquement faisable, l’expérience pratique est extrêmement limitée, comme si l’on utilisait un tracteur sur une autoroute — peu importe l’accélération, on ne peut pas atteindre l’efficacité attendue.

Au cours des dernières années, très peu de chaînes ont été capables de traiter des logiques de confidentialité complexes. La cause ne réside pas dans une immaturité de la théorie cryptographique, mais dans le fait que l’environnement d’exécution sous-jacent ne suit pas le rythme des besoins. C’est précisément pour cette raison que Dusk a adopté une voie de pratique ingénierie radicalement différente : plutôt que de patcher l’EVM, il a choisi de la repenser entièrement au niveau de la machine virtuelle, ce qui a conduit au développement de Piecrust VM.

La mission de Piecrust VM est très claire — ce n’est pas une plateforme universelle, mais un environnement d’exécution spécialement conçu pour le calcul à divulgation zéro. L’importance de ce choix de conception est souvent sous-estimée. L’EVM est essentiellement optimisé pour la détermination d’état et la réexécutabilité, sans jamais avoir intégré la convivialité pour la preuve. Exécuter des calculs à divulgation zéro sur l’EVM, c’est comme effectuer une logique métier tout en supportant en parallèle un coût énorme de preuve.

Dusk a inversé cette logique : puisque l’objectif est la confidentialité et le calcul vérifiable, le modèle d’exécution, le jeu d’instructions et la gestion d’état doivent dès le départ être conçus autour des preuves à divulgation zéro. Le résultat est une amélioration de performance qui peut sembler contre-intuitive mais qui est en réalité réalisable — le temps de génération des preuves est considérablement réduit, transformant ZK d’un concept idéal sur papier en un produit réellement utilisable.