Eu concordo com isso. Como tenho explorado protocolos como parte do meu trabalho de afirmações ultimamente, tenho feito exatamente isso e é uma ótima maneira de aprender como os protocolos funcionam. Escreva uma afirmação que impeça a invariância de ser quebrada. Faça uma alteração no código que simule vulnerabilidade. Acione a vulnerabilidade e veja a camada credível da @phylaxsystems capturar a transação ruim e impedir que a vulnerabilidade seja explorada.