Research · AI news

Published here

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

Source published

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

Microsoft Research presents Magnetar for proving ordinary program execution

The October 15 research report describes a RISC-V zero-knowledge virtual machine and carefully scoped benchmark gains.