Microsoft Research(@MSFTResearch)· Microsoft Research (@MSFTResearch)·· 2 小时前AI 评估 · 47/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
微软 Magnetar 让零知识证明支持标准编程语言并实现量子抗性安全
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive...
AI 导读
微软推出 Magnetar，让零知识证明无需重跑工作负载或暴露敏感数据即可验证计算结果。它支持标准编程语言，带来大幅速度提升，并具备量子抗性安全，目标是推动零知识证明走向主流应用。
来源：Microsoft Research(@MSFTResearch) · x.com