Маофан Инь
Разработал формальные доказательства и реализации консенсуса, определившие финализацию транзакций и характеристики производительности, используемые BENQI
Внес вклад в теоретическую разработку и практическую реализацию семейства консенсусов Avalanche, автор формальных доказательств и методических указаний, интегрированных в AvalancheGo и смежные клиенты. Работа над вероятностными границами финализации и механизмами выборки заложила конкретные гарантии, используемые протоколами прикладного уровня. Участвовал в инженерной настройке параметров сети, профилей памяти и CPU, а также стратегий выборки пиров для клиента, что повлияло на достижимую пропускную способность и задержку подтверждения транзакций. Эти низкоуровневые инженерные решения определили временное поведение операций заимствования, погашения и ликвидаций в сетях Avalanche, на которых BENQI развернул свои смарт-контракты. Работал с командами протоколов и ранними интеграторами, документируя рекомендуемые параметры и режимы отказов, что снизило интеграционный риск для DeFi-проектов. Сочетание формальных доказательств, реализаций клиента и рекомендаций по параметрам напрямую повлияло на операционные допущения BENQI относительно финализации блоков, бюджета газа и конструкций механизмов ликвидаций.
Ограничение ответственности в отношении информации о персонах и обратная связь: правовое уведомление.