Je suis d'accord avec cela. Alors que j'explorais des protocoles dans le cadre de mon travail sur les assertions récemment, j'ai fait exactement cela et c'est un excellent moyen d'apprendre comment fonctionnent les protocoles. Écrire une assertion qui empêche l'invariant d'être rompu. Apporter une modification au code qui simule une vulnérabilité. Déclencher la vulnérabilité et voir le système crédible de @phylaxsystems attraper la mauvaise transaction et empêcher la vulnérabilité d'être exploitée.