Сильвио Микали (родился 13 октября 1954 года) — итальянский учёный-компьютерщик , профессор Массачусетского технологического института и основатель Algorand , протокола блокчейн-криптовалюты с доказательством доли владения. Исследования Микали в Лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института сосредоточены на криптографии и информационной безопасности . [4] [5]
В 2012 году он получил премию Тьюринга за свою работу в области криптографии.
Микали окончил факультет математики в Римском университете Ла Сапиенца в 1978 году и получил степень доктора философии в области компьютерных наук в Калифорнийском университете в Беркли в 1982 году; [6] за исследования под руководством Мануэля Блюма . [2] Микали работает на факультете Массачусетского технологического института , на кафедре электротехники и компьютерных наук, с 1983 года. Он также работал на факультете Пенсильванского университета , Университета Торонто и Университета Цинхуа . [7] Его исследовательские интересы включают криптографию, нулевое разглашение, псевдослучайную генерацию, защищенные протоколы и проектирование механизмов.
Микали наиболее известен некоторыми из своих фундаментальных ранних работ по криптосистемам с открытым ключом , псевдослучайным функциям , цифровым подписям , забывчивой передаче , безопасным многосторонним вычислениям и является одним из соавторов доказательств с нулевым разглашением . [8] Среди его бывших аспирантов — Михир Белларе , Бонни Бергер , Шай Халеви , Рафаил Островский , Цзин Чен, Рафаэль Пасс, Крис Пейкерт и Филипп Рогауэй . [2] [3]
В 2001 году Микали стал соучредителем CoreStreet Ltd, компании-разработчика программного обеспечения, изначально базировавшейся в Кембридже, штат Массачусетс, которая реализовала патенты Микали, включающие проверку статуса цифровых сертификатов (в основном применимых к крупным корпоративным и государственным проектам цифровой и физической идентификации). Микали работал главным научным сотрудником в CoreStreet. CoreStreet была куплена ActivIdentity в 2009 году. [9]
В начале 2000-х годов Микали также основал Peppercoin , систему микроплатежей, которая была приобретена в 2007 году.
В 2017 году Микали основал Algorand . [10]
Микали выиграл премию Гёделя в 1993 году. [11] Он получил премию RSA за выдающиеся достижения в области математики в 2004 году. [12] В 2007 году он был избран членом Национальной академии наук и членом Международной ассоциации криптологических исследований (IACR). Он также является членом Национальной академии инженерии и Американской академии искусств и наук . [13] Он получил премию Тьюринга [1] за 2012 год вместе с Шафи Голдвассером за их работу в области криптографии. [14] В 2015 году Университет Салерно признал его исследования, присвоив ему степень honoris causa в области компьютерных наук. Он был избран членом ACM в 2017 году. [15]