Я завершил курс по сборке и формальной верификации от @CyfrinUpdraft. Это было невероятно интенсивно, но теперь я лучше понимаю опкоды и формальную верификацию. В дальнейшем я буду использовать @CertoraInc. Время для отдыха.