Мэри Маллер

Сосредоточилась на мосте между теоретическими конструкциями SNARK и инженерными требованиями развернутого L1-протокола, решая задачи производительности провера, компромиссы по размеру доказательств и точки интеграции для рекурсивной композиции. Работа в этой области позволила создать более практичные пайплайны для проверов и прояснить ограничения, в которых модель постоянного состояния Mina может функционировать в масштабе сети. Участвовала в проектировании и реализации инструментов и API для разработчиков узлов и сторонних разработчиков, снижая барьер для разработки в стеке, ориентированном на zk. Практические результаты исследований и библиотеки ускорили работу экосистемы и позволили внешним командам проверять подход Mina в реальных условиях. Вела публикации технических заметок и сотрудничала с внешними криптографами для проверки допущений и свойств безопасности конструкций Mina. Этот процесс, ориентированный на рецензирование и инжиниринг, укрепил криптографическую надёжность протокола и повысил доверие сообщества к использованию рекурсивных SNARK для сжатия состояния.