好吧，有點尷尬 - 我在那台機器上沒有安裝 Rust，所以生成的代碼甚至無法編譯，基準測試只是估算，正如 @MatteoFrig60839 也注意到的那樣。 我進一步推進以使其達到更好的狀態，但仍然不是一個完全可用的實現。 如果它既正確又比精心手工製作的生產級 C++ 實現更快，我仍然會感到相當懷疑。 最終的測試是讓 Rust 生成的證明在 C++ 驗證器中得到驗證 - 我目前無法做到這一點，並且需要更多的推進。 如果我們在 C++ 中有一個良好的獨立完整證明驗證函數，並將 CC 指向那裡，那就太好了。