Торбен П. Педерсен

Вклад в схемы коммитмента, обладающие свойствами binding и hiding, создал практические строительные блоки для верифицируемого хранения и пороговых протоколов. Коммитменты Педерсена, благодаря своим гомоморфным свойствам и доказуемой скрытности, стали стандартными примитивами в системах, требующих компактных неинтерактивных доказательств и разделения случайности коммитмента. В Nillion примитивы коммитмента интегрированы в жизненный цикл шардов: шард коммитится при создании для получения краткого дайджеста целостности, коммитменты используются в ходе распределённых церемоний ключей для предотвращения смещения случайности, а также позволяют неинтерактивную верификацию для лёгких клиентов и аудиторов. Конкретные инженерные решения — использование коммитментов в стиле Педерсена для гомоморфного агрегирования, коммитмент эпохальной случайности и проверка коммитментов при присоединении узлов — являются прямым применением конструкций Педерсена. Эти решения уменьшают транзакционные издержки при фиксации доказательств в цепочке, обеспечивают детерминированные следы аудита операций с шардом и обеспечивают протоколы для нечестной случайности и защиты от повторного приёма шардов. Практический эффект измерим в снижении расходов на анкоринг и в способности гарантировать компактную верифицируемость, основанную на коммитментах Педерсена.