Microsoft Research unveils Magnetar proof system
- —Magnetar proves execution of Rust, Go and C code
- —10–39x faster than comparable provers in Microsoft benchmarks
- —Proof verification takes roughly 12 milliseconds
- —Hash-based design reduces exposure to quantum attacks
Why it matters: Cheaper proofs could make verifiable offchain computation and complex smart-contract logic easier to deploy, though benchmark gains may not carry over to production rollups.
Source: NewsBTC