Протокол GKR
5 статей
1ч 10м🧩 Яэль Калай об открытой проблеме PSPACE и криптографических аргументах
1ч 44м🔄 Протокол Килиана — Микали: Сжатие PCP с помощью хеш-функций
42 мин📋 Профессор MIT об оптимизации параллельных проверок в протоколе GKR
1ч 53м📅 Профессор Калаи: «Протокол Sumcheck — это хлеб с маслом систем доказательств»
1ч 21м🔄 Рейчел Чанг об оптимизации протокола GKR и доказательстве теоремы IP = PSPACE