北京
分享至
验证一个计算结果，一定要把整个程序重跑一遍吗？微软给出的答案是：不一定。零知识证明可以在不重跑工作负载、也不暴露敏感数据的前提下，验证计算结果是否正确。而微软的Magnetar，正试图把这项技术从实验室推向主流。
零知识证明到底解决什么问题
它的核心能力有两层：一是验证结果，二是保护数据。你不需要重新执行一遍计算，就能确认结果可信；同时，计算过程中涉及的敏感数据也不会因此暴露出来。这两点，恰恰是很多场景里最难兼顾的部分。
过去这类技术难以普及，很大程度上是因为门槛太高。Magnetar 的做法是支持标准编程语言，让开发者不必为了用它而重学一套专用工具链。
速度与安全，两条腿一起走
除了语言支持，Magnetar 还带来了两项关键改进：
- 显著的性能提升，让零知识证明的实用性往前走了一步；
- 抗量子安全能力，面向未来的安全威胁提前布局。
标准编程语言、速度提升、抗量子安全——这三件事放在一起，指向的是同一个目标：让零知识证明不再只是少数人玩得转的技术，而是能被更广泛地采用。
从“能验证”到“好用、够快、够安全”，零知识证明走向主流的路径，正在被这类工具一点点铺平。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
