Microsoft Research· Srinath Setty·· 29 дн назадГлавноеОценка AI85
Общие вычисления с доказательствами на основе Magnetar
Proof-based general-purpose computing with Magnetar
Кратко от AI
Исследователи Microsoft представили Magnetar, виртуальную машину с нулевыми знаниями。
Почему это важно
Материал описывает значительные достижения в области нулевых знаний и вычислений с доказательствами, что может изменить подход к проверке программ.
Источник:Microsoft Research · microsoft.com