Я по-друге. Оскільки останнім часом я досліджую протоколи в рамках своєї роботи з твердженнями, я займаюся саме цим, і це чудовий спосіб дізнатися, як працюють протоколи. Запис твердження, яке запобігає пошкодженню invariant Внесіть зміни в код, який імітує вразливість Запустіть vuln і подивіться, як @phylaxsystems надійний шар вловлює поганий tx і запобігає використанню вулна