零知识证明

微软Magnetar支持为Rust、Go和C程序生成执行证明

微软研究院介绍了Magnetar：它能为Rust、Go或C编写的程序生成执行证明，让接收结果的人不必重新运行程序，也能核验程序是否按所声明的方式执行。据微软研究院披露，Magnetar的运行速度平均为此前最快可比系统的10至39倍，其安全性仅依赖标准哈希函数。 这项工作的核心是零知识证明。程序运行后，除输出结果外，还提供一份简短的密码学证明，证明该程序在给定输入上产生了相应输出。