ok lite pinsamt - jag hade inte rost installerat på den maskinen, så den genererade koden kompilerades inte ens och riktmärkena var uppskattningar, som @MatteoFrig60839 också märkte Jag petade mer för att få det till ett bättre tillstånd, men fortfarande inte en fullt fungerande implementering Jag skulle fortfarande vara ganska misstänksam om det är både korrekt + snabbare än en noggrant handgjord C++-implementering av produktionskvalitet det ultimata testet av att ha ett rostgenererat bevis verifierat i en c++-verifierare - jag kan inte få rätt för tillfället och skulle kräva mer påstötning skulle vara trevligt om vi hade en bra isolerad full proof verification-funktion i C++ och peka CC mot det