Аггелос Кияяс

Возглавлял формальные исследования и практическую реализацию семейства протоколов консенсуса Ouroboros, обеспечивающих безопасность Cardano и экономику стейкинга. Опубликовал академические статьи и спецификации протоколов (включая Ouroboros Praos и Ouroboros Genesis) с явными доказательствами безопасности, слотовой системой эпох, механизмом выбора лидеров и формулами распределения вознаграждений, которые определяют эмиссию ADA, её защиту и начисление вознаграждений участникам стейкинга. Определил детерминированные графики вознаграждений и правила агрегации стейка, использованные в релизах мейннета; эти конкретные протокольные формулы непосредственно влияют на динамику предложения, скорость перевода ADA между стейкингом и торговлей и эффективную стоимость капитала для левериджированных позиций. Деривативные продукты с ежедневной ребалансировкой, такие как ADAUP, реагируют на эти ончейн‑механики, когда стимулы стейкинга меняют доступный свободный флот. Сотрудничал с инженерными командами по трансляции теоретических протоколов в программное обеспечение узлов и выпуску версий, совместимых с интеграцией бирж и кошельков, что снизило операционные риски для инфраструктуры рынка, создающей деривативы. Поведение реализованного протокола сформировало предсказуемость эпох и таймингов вознаграждений, которые участники рынка использовали при проектировании графиков ребалансировки и маржинальных допущений для левериджированных токенов. Предоставлял публичную документацию и академические выводы, использованные аналитиками и институциональными контрагентами для моделирования эмиссии ADA и экономики валидаторов; эти входные данные были учтены при построении моделей ценообразования, лимитов риска и обеспечения ликвидности, что прямо влияет на практическую конструкцию и хеджирование продуктов, привязанных к ADA.