Доун Сонг

Обеспечила научно‑исследовательское руководство и академическую валидацию методов формальной верификации и автоматизированных подходов анализа, которые CertiK трансформировал в инструментальную цепочку Shentu. Консультировала по адаптации рецензируемых техник верификации к операционным ограничениям блокчейна, что позволило включать формальные доказательства и автоматические проверки в пайплайны аудита и ончейн‑сигналы оракула, влияющие на утилиту CTK. Её участие придало доверие использованию формальной верификации как коммерческой услуги и поддержало продуктовые решения по монетизации этих результатов через услуги, деноминированные в CTK. Участвовала в технических рецензиях, соавторствовала в белых книгах и взаимодействовала с инженерными командами, чтобы обеспечить соответствие исследовательских прототипов требованиям продакшна и масштабируемости для Shentu. Рекомендации по моделированию угроз и практикам безопасной компиляции повлияли на дизайн библиотек верификации и шаги безопасной компиляции, используемые в аудитах CertiK и рантайме Shentu. Благодаря объединению академических исследований и прикладной инженерии, роль советника ускорила внедрение строгих практик верификации в протокол и рынок аудита. Эти конкретные исследовательские вклады и консультационные действия сказались на том, как гарантии безопасности упаковываются, ценообразуются и приобретаются за CTK, формируя спрос на токен среди проектов, стремящихся получить сертифицированные гарантии безопасности.