Инструменты EVM FV становятся довольно хорошими. Я приятно удивлён тем, что такие команды, как @CertoraInc и @CyfrinAudits, могут достичь за 2-4 недели. Теперь нам нужно сделать это ещё более доступным и масштабируемым.

Я предпочел бы заплатить за один хороший пакет FV, чем за три аудита от ведущих компаний, первый дает мне гораздо лучшие гарантии.