Исследования · Новости ИИ

Опубликовано здесь

2026-10-20 14:34:05 UTC+8

Дата источника

2026-10-16 00:00:00 UTC+8

Microsoft Research представила Magnetar для доказуемого выполнения программ

В публикации от 15 октября описаны zkVM для RISC-V и результаты строго определённых сравнительных тестов.