Тёмную понятно на порядки выгоднее, но и настолько же рискованнее.
В 2023 году токен TITAN (на базе ERC-20) потерял $2 млн из-за ошибки в кастомной функции transferFee. А моя верификация на 100 строк её уже сейчас ловит.
Lendf.Me (ERC-20) был взломан на $25 млн из-за reentrancy в обновлённой логике.
Сейчас активируются атаки ERC-20 "approve race",
и это только всего лишь ОДИН простейший крипто-протокол!
=
То есть, я потенциально уже могу запилить математически обоснованный SaaS, который будет
автоматически генерировать типы для основных компонентов контракта,
автоматически генерировать доказательства свойств контракта,
автоматически находить уязвимости,
и т.д.
И я уже, честно говоря, думаю, что зря сделал первый курс по HoTT со всеми исходниками открытым моим курсантам, и всего за 50 долларов.
Видите же, какую золотую жилу 💰 раскопал )
Пожалуй, повышу цену для начала в джва раза, и скидок никаких для этого трека не будет. И дальше цена будет только расти по мере того, как я буду эти изумрудные зёрна отыскивать по темке формальной верификации на базе хотт.
Хотя конечно ключевая фишка не в коде, а в методологии, а ещё точнее, в моей черепушке.
Можно запустить бобркоин для инвестирования в