ちょっと恥ずかしいですが、そのマシンには錆がインストールされていなかったので、生成されたコードはコンパイルされず@MatteoFrig60839、ベンチマークは推定値でした。 私はそれをより良い状態にするためにもっと突き動かしましたが、まだ完全に機能する実装ではありません それが慎重に手作りされたプロダクショングレードのC ++実装よりも正しい+高速であるかどうか、私はまだかなり疑わしいでしょう 錆びた証明をC ++検証機で検証する究極のテスト - 私は今のところ正しく得ることができず、より多くの催促が必要になります C ++で優れた分離された完全証明検証機能があり、CCをそれに向けているといいのですが