Admin
Администратор
Математика обычно строится на доказательствах, но иногда важнее граница, за которой доказательство недоступно. Учёный Рахул Иланго связал теоремы Гёделя о неполноте и криптографические доказательства с нулевым разглашением.
Иланго предложил новый подход к неинтерактивным доказательствам с нулевым разглашением, обойдя 30-летний запрет. Его метод использует сложность доказательств как криптографический ресурс.
Курт Гёдель в 1931 году показал, что математика имеет предел в доказательствах. В 1985 году Шафи Гольдвассер, Сильвио Микали и Чарльз Ракофф предложили доказательства с нулевым разглашением, позволяющие доказать утверждение без раскрытия секрета. В 1994 году криптографы доказали, что неинтерактивные доказательства с нулевым разглашением невозможны. Рахул Иланго предложил новое определение, основанное на невозможности доказать отсутствие симулятора. Его подход использует сложность доказательств и открывает новые возможности в криптографии.
