好吧，有点尴尬——我在那台机器上没有安装 Rust，所以生成的代码甚至无法编译，基准测试只是估算的，正如 @MatteoFrig60839 也注意到的那样。 我进一步尝试让它达到更好的状态，但仍然不是一个完全可用的实现。 如果它既正确又比精心手工制作的生产级 C++ 实现更快，我仍然会感到相当怀疑。 最终的测试是让 Rust 生成的证明在 C++ 验证器中得到验证——我现在无法做到这一点，需要更多的推动。 如果我们在 C++ 中有一个良好的隔离的完整证明验证函数，并将 CC 指向那个，那就太好了。