Estoy de acuerdo con esto. Como he estado explorando protocolos como parte de mi trabajo sobre afirmaciones últimamente, he estado haciendo exactamente esto y es una gran manera de aprender cómo funcionan los protocolos. Escribe una afirmación que evite que se rompa la invariante. Haz un cambio en el código que simule una vulnerabilidad. Activa la vulnerabilidad y observa cómo la capa creíble de @phylaxsystems captura la transacción mala y evita que la vulnerabilidad sea explotada.