微软研究院发布 Magnetar：零知识证明工具支持标准编程语言
精选理由
微软研究院做了个叫 Magnetar 的零知识证明工具，写代码验证计算结果不用重跑一遍，数据也不泄露，还抗量子攻击，做安全的可以看看。
微软研究院推出零知识证明工具 Magnetar，可在不重跑计算、不暴露敏感数据的前提下验证计算结果。该工具支持标准编程语言，降低了 ZKP 的开发门槛，并带来显著的性能提升。Magnetar 还采用抗量子攻击的安全设计，面向主流应用场景。
原文 · Microsoft Research
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security: msft.it/6016atJb6 Your browser does not support the video tag. 🔗 View on Twitter 💬 0 🔄 3 ❤️ 5 👀 1368 📊 1 ⚡
