Универсальная схема

🔄 Рейчел Чанг об оптимизации протокола GKR и доказательстве теоремы IP = PSPACE