J'ai réfléchi à la façon dont les transactions Phoenix sont réellement vérifiées sur @Dusk récemment, et la plupart des gens imaginent encore le processus habituel « regarder les données et approuver ».

le fait est que le vérificateur ne reçoit jamais l'expéditeur, le destinataire ni le montant. Ce qui arrive à la place, c'est une preuve PLONK. Cette preuve encode les règles qui comptent : le dépensier possédait bien les notes dépensées, les montants s'équilibrent correctement et rien n'est réutilisé. La vérification confirme simplement que les calculs tiennent. Elle ne reconstruit jamais la transaction cachée et ne l'inspecte jamais.

C'est un vrai changement dans ce que signifie même la vérification. Le système confirme qu'une déclaration mathématique est vraie sans jamais voir ce qui la rend vraie.

La limite, c'est que lorsqu'un problème survient, la même invisibilité qui protège la confidentialité rend aussi le débogage visuel plus difficile t0.

Malgré tout, la conception paraît intentionnelle. Refuser de regarder les données fait partie 0f du modèle de sécurité ici.

Êtes-vous à l'aise avec une vérification qui fonctionne sans jamais voir la chose vérifiée ?
#dusk $DUSK