Я поддерживаю это. Поскольку я исследую протоколы в рамках своей работы по утверждениям в последнее время, я делаю именно это, и это отличный способ понять, как работают протоколы. Напишите утверждение, которое предотвращает нарушение инварианта. Внесите изменения в код, которые симулируют уязвимость. Запустите уязвимость и посмотрите, как надежный уровень @phylaxsystems поймает плохую транзакцию и предотвратит эксплуатацию уязвимости.