ok litt flaut - jeg hadde ikke rust installert på den maskinen, så den genererte koden ble ikke engang kompilert og referansene var estimater, som @MatteoFrig60839 også la merke til Jeg dyttet mer for å få det til en bedre tilstand, men fortsatt ikke en fullt fungerende implementering Jeg ville fortsatt vært ganske mistenksom hvis det både er riktig + raskere enn en nøye håndlaget produksjonsklasse C++-implementering den ultimate testen med å få et rustgenerert bevis verifisert i en c++-verifikator - jeg kan ikke få rett foreløpig og ville kreve mer prodding ville vært fint om vi hadde en god isolert fullbevisverifiseringsfunksjon i C++ og peker CC mot det