跳到正文
Microsoft Research· Srinath Setty·· 4 天前

Magnetar 实现基于证明的通用计算

Proof-based general-purpose computing with Magnetar

AI 导读

【AI 翻译 · 未评分】零知识证明可在不重新运行工作负载或不暴露敏感数据的情况下验证计算结果。Magnetar 通过支持标准编程语言、显著提升速度以及提供抗量子安全性,助力将其推向主流。

来源:Microsoft Research · microsoft.com