Proof-based general-purpose computing with Magnetar
Microsoft Research Blog1875 字 (约 8 分钟)
85
Magnetar系统通过零知识证明实现通用计算，解决效率、可用性和长期安全三大挑战，运行速度比现有系统快10-39倍且仅依赖标准哈希函数。
入选理由：Magnetar支持Rust/Go/C语言，证明生成速度比现有系统快10-39倍
FeaturedArticle#零知识证明#Magnetar#微软研究院#密码学#通用计算英文