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

2 статьи

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