Поиск
Найдено: 4
1ч 21м🔄 Рейчел Чанг об оптимизации протокола GKR и доказательстве теоремы IP = PSPACE
1ч 06м🎲 Интерактивные доказательства: от протокола Sum-Check до верификации сложных вычислений
1ч 29м🔍 Как связать руки доказывающему: PCP из протокола GKR
1ч 53м📅 Профессор Калаи: «Протокол Sumcheck — это хлеб с маслом систем доказательств»