Microsoft ResearchT1·78 分
微软研究院发布 Magnetar:基于哈希的零知识证明实现通用计算验证提速 10-39 倍
原标题:Proof-based general-purpose computing with Magnetar
- Magnetar 支持直接对 Rust、Go、C 等主流语言编写的程序进行零知识证明,无需专用密码学专家介入。
- 其安全性完全建立在标准哈希函数之上,避免了复杂椭圆曲线或配对运算带来的长期信任风险。
- 相比现有最快的同类系统,Magnetar 的证明生成速度提升了 10 到 39 倍,大幅缩短了验证延迟。