Дэн Гуидо

В роли руководителя ведущей фирмы по безопасности координировал и формировал объём аудита, формальный анализ и тесты на проникновение для кодовой базы TURTLE, подготовив список исправлений и проверенных аттестаций, которыми пользовались кастодианы и биржи. В процессе аудита были выявлены конкретные проблемы, такие как небезопасные внешние вызовы, некорректный контроль доступа к функциям обновления и краевые арифметические случаи, которые команда TURTLE должна была исправить до повторного релиза. Эти исправления изменили последовательности инициализации контрактов, тайм‑локи управления и семантику ролей владельца, что повлияло на практическую обновляемость и процедуру multisig. Выводы аудита и опубликованный его фирмой отчёт повлияли на оценку контрагентных рисков со стороны кошельков, провайдеров ликвидности и страховых андеррайтеров; многие кастодианы требовали исправлений, задокументированных в аудите, прежде чем включать хранение или разрешать крупные выводы. Фирма также предоставила последующее верификационное тестирование и аттестации, на которые ссылались биржи при установке лимитов по депозитам/выводам и при создании фиат‑он‑рампов для TURTLE. Поскольку уязвимости в смарт‑контрактах могут напрямую приводить к краже средств или нарушению ликвидности, работа по исправлению, которую он курировал, оказала прямое технологическое и экономическое влияние на безопасность запуска TURTLE, политику он‑чейн обновлений и готовность институциональных участников предоставлять капитал и услуги кастодиального хранения. Конкретные изменения кода, которые он требовал, тем самым существенно снизили риск протокола и изменили сроки доступа рынка к токену.