Аггелос Киайас

В качестве ведущего исследователя, стоявшего за семейством консенсусных алгоритмов Cardano, вклад включал формальные спецификации протокола, доказательства безопасности и выбор параметров, определяющих поведение слотов, награды за эпохи и механику делегирования стейка. Эти технические спецификации определяли уровень ончейн‑эмиссии и распределение вознаграждений, что, в свою очередь, формирует тенденции в обращении токенов и стимулы для стейкхолдеров ADA. Изменения этих параметров имеют существенное значение для оценки ADA и, следовательно, для производных продуктов, таких как ADAUP, привязанных к токену. Научные работы и протокольные предложения, подготовленные и проведённые им через инженерный цикл, привели к конкретным релизам ПО и конфигурационным настройкам, которые биржи и риск‑команды использовали при моделировании затрат хеджирования для плечевых токенов по ADA. Формальные свойства безопасности и целевые показатели производительности в этих работах влияли на оценку участниками рынка контрагентского и сетевого риска при предоставлении ликвидности для ADAUP. Участие в рецензировании, стандартизации и тестнет‑экспериментах обеспечивало количественные метрики финализации блоков, пропускной способности и восстановления при форках; эти метрики использовались биржами при решениях по кастодиальной поддержке, временным окнам расчётов и поведению во время сетевых обновлений. Такая операционная информация влияла на реализацию и мониторинг механизмов создания и погашения ADAUP поставщиками. Продолжающиеся исследования протокола и предложения по улучшению правил книги меняли ожидания относительно будущей динамики предложения и перспектив доходности стейкинга, что воздействовало на прогнозы волатильности и предположения о фандинге, используемые маркетмейкерами и биржами, поддерживающими ADAUP.