Шри Аравинда Кришнан Тайгараян является аспирантом Университета Эрлангена — Нюрнберга, Германия, под руководством профессора Доминика Шрёдера (Dominique Schroeder). Специализируется в анализе теоретических формулировок и различных проблем, связанных с блокчейном и криптовалютами, в частности, с конфиденциальностью, анонимностью, масштабируемостью и другими вопросами.
Аннотация
Для обеспечения анонимности и конфиденциальности Monero использует протокол кольцевых конфиденциальных транзакций RingCT. Предшествующие попытки анализа схем RingCT были либо неформальными, им не хватало фундаментальной функциональности, либо они использовали нежелательные допуски доверенной настройки. Более того, используемая в настоящее время Monero схема RingCT ограничивает ряд анонимов из-за размера доказательства траты, который растёт линейно с размером кольца. В качестве решения этих проблем нами предлагается первая полная и точная формализация RingCT. Затем нами также предлагается типовая конструкция RingCT и доказательство её безопасности в рамках нашей формальной модели безопасности.