Сильвио Микали

Внес теоретический вклад в использование доказуемой случайности и криптографических методов для обеспечения безопасности выбора лидера и формирования комитетов, что помогло проектам, ищущим вероятностные гарантии для беспристрастного выбора валидаторов. Эти идеи актуальны для систем с сегментацией, где справедливое распределение комитета снижает риски централизации и сговора. Исследования доказуемых свойств безопасности для масштабируемых систем proof‑of‑stake подвели к размышлению о компромиссах между криптографической сложностью и операционной простотой. Команды, подобные Harmony, ссылались на такие исследования при выборе источников случайности, схем с пороговыми подписями и методов, позволяющих избежать предсказуемого преимущества лидера. Акцент на формальных доказательствах и верифицируемых примитивах также повлиял на ожидания в отношении легких клиентов, фрод-пруфов и механизмов верификации состояния, используемых в сценариях межшардовых и межчейнных операций. Криптографические проектные решения, вытекающие из этой работы, повлияли на то, насколько дешево и безопасно внешние наблюдатели могут проверять состояние цепи и включение транзакций. Отстаивая строгий, криптографически ориентированный взгляд на масштабируемый консенсус, этот труд сформировал дискуссии в протоколах вокруг сопротивления цензуре, генерации случайности и компромиссов между стоимостью и безопасностью, присущих реализациям L1 с высокой пропускной способностью.