Research · Updated 15 Oct, 09:30 pm IST
Microsoft Research announces Magnetar for practical zero-knowledge proofs
Why it matters for readers: Curious readers get a clearer picture of how cryptography can prove programs ran correctly without revealing data or requiring trust.
- Magnetar produces short zero-knowledge proofs that let verifiers check program correctness without rerunning the program or trusting the operator.1
- It proves programs written in Rust, Go, or C, lowering the barrier for normal programs to use proofs without cryptographic expertise.1
- Magnetar runs 10 to 39 times faster on average than the prior fastest comparable systems.1
- The system's security depends only on standard hash functions rather than newer, less vetted cryptographic assumptions.1
- Magnetar is the latest result of over a decade of Microsoft Research work to make zero-knowledge proofs practical.1
Get a brief like this every morning
Uzha reads hundreds of sources and gives you the stories that matter for your work, with every source linked. Free.
Get started