Microsoft Research· Srinath Setty·· 4 天前
Magnetar 实现基于证明的通用计算
Proof-based general-purpose computing with Magnetar
AI 导读
【AI 翻译 · 未评分】零知识证明可在不重新运行工作负载或不暴露敏感数据的情况下验证计算结果。Magnetar 通过支持标准编程语言、显著提升速度以及提供抗量子安全性,助力将其推向主流。
来源:Microsoft Research · microsoft.com