Кристина Гарман

Провела формальный анализ безопасности и помогла составить модель угроз для протокола Zerocoin, что предоставило разработчикам Zcoin критерии для валидации реализации. Документированные предположения о безопасности и рамки анализа использовались при верификации реализации чеканки и уничтожения монет в клиентском программном обеспечении. Активно взаимодействовала с сообществом практиков и отвечала на вопросы о применимости теоретических гарантий в публичных сетях, предоставляя материалы, которые разработчики использовали при адаптации параметров и выборе механизмов ревокации и аудита. Практические выводы анализа помогли при планировании аудиторов и тестовых процедур перед релизами крупных обновлений. Своими публикациями и комментариями способствовала выявлению областей риска в оригинальной конструкции, что ускорило работу команд, занимающихся проектированием Sigma и Lelantus как эволюции решения. Технические рекомендации повлияли на то, какие компромиссы по размерам доказательств и вычислительным затратам были допустимы в референсной реализации. Итогом её вклада стало то, что реализация приватности в проекте опиралась на формально доказуемые свойства протокола, а не только на эмпирические методы, что уменьшило неопределенность при релизах и обновлениях сети.