Microsoft Research unveils Magnetar, a zero-knowledge virtual machine for general-purpose proofs
Original titleProof-based general-purpose computing with Magnetar
AISummary
Microsoft Research has introduced Magnetar, a zero-knowledge virtual machine that proves the execution of programs written in Rust, Go, or C. It runs 10 to 39 times faster on average than the fastest comparable zkVMs on the same machine, and its security rests only on standard hash functions such as SHA-256 or SHA-3. Proofs verify in about 12 milliseconds.
AIWhy it matters
The post explains how Magnetar combines prior zero-knowledge proof techniques into a system that proves ordinary programs using only standard hash functions.
Source: Microsoft Research · microsoft.comPublished