Okay, ein bisschen peinlich - ich hatte Rust nicht auf diesem Rechner installiert, sodass der generierte Code nicht einmal kompiliert hat und die Benchmarks Schätzungen waren, wie @MatteoFrig60839 auch bemerkt hat. Ich habe weiter nachgebohrt, um es in einen besseren Zustand zu bringen, aber es ist immer noch keine vollständig funktionierende Implementierung. Ich wäre immer noch ziemlich misstrauisch, ob es sowohl korrekt als auch schneller ist als eine sorgfältig handgefertigte Produktionsqualität C++-Implementierung. Der ultimative Test wäre, einen in Rust generierten Beweis in einem C++-Verifizierer zu verifizieren - das bekomme ich im Moment nicht hin und würde mehr Nachbohren erfordern. Es wäre schön, wenn wir eine gute isolierte vollständige Beweisverifizierungsfunktion in C++ hätten und CC darauf hinweisen könnten.