ok, een beetje gênant - ik had rust niet geïnstalleerd op die machine, dus de gegenereerde code compileerde zelfs niet en de benchmarks waren schattingen, zoals @MatteoFrig60839 ook opmerkte Ik heb meer geprutst om het in een betere staat te krijgen, maar het is nog steeds geen volledig werkende implementatie Ik zou nog steeds behoorlijk achterdochtig zijn als het zowel correct als sneller is dan een zorgvuldig handgemaakte productieklare C++-implementatie de ultieme test van het hebben van een rust-gegeneerde bewijs dat wordt geverifieerd in een C++-verifier - dat krijg ik nu niet goed en zou meer prutsen vereisen het zou fijn zijn als we een goede geïsoleerde volledige bewijsverificatiefunctie in C++ hadden en CC daar naartoe konden wijzen