Цинкай Лян

Предоставил аналитические рамки и доказательства, которые определили предположения безопасности и совместимость стимулов в стеке протоколов Celer. Работа по формальной верификации и игрово‑теоретическому моделированию помогла откалибровать правила слашинга, временные окна для оспаривания и распределение вознаграждений, чтобы экономическое поведение участников соответствовало целям протокола. Эта исследовательская база была важна для аудитов, внешних оценок и убеждения институциональных партнёров в надёжности протокола. Взаимодействовал с академическим сообществом, переводя теоретические результаты в внедряемые компоненты, тем самым сокращая разрыв между академическими предложениями и промышленным кодом. Публикации и технические отчёты, связанные с этой работой, повысили прозрачность гарантий протокола и обеспечили основу для доверия разработчиков. Вклад также направлял выбор параметров, балансирующих децентрализацию и операционную эффективность. Дальнейшие консультативные роли и сотрудничество по обновлениям влияло на то, как новые механизмы проверяются и принимаются в процессе управления протоколом. Эти действия поддержали поэтапные улучшения протоколов разрешения споров и схем стимулов, влияя на долгосрочную надёжность off‑chain сервисов и экономическую устойчивость операций, поддерживаемых CELR.