Интерактивные доказательства

2 статьи

42 мин
📋 Профессор MIT об оптимизации параллельных проверок в протоколе GKR
MIT OpenCourseWare · 29.01.25
1ч 06м
🎲 Интерактивные доказательства: от протокола Sum-Check до верификации сложных вычислений
MIT OpenCourseWare · 29.01.25