FrontierSame-machine proofs are 10 to 39 times faster
Microsoft Research's Magnetar proves programs written in Rust, Go, or C. On a laptop, across 15 benchmarks, it is 10 to 39 times faster on average than the fastest existing zero-knowledge virtual machines on the same machine. Security rests on a standard hash such as SHA-256 or SHA-3. An agent attaching a compliance proof is a possibility in the post, not a shipped product.


















