ok, un po' imbarazzante - non avevo rust installato su quella macchina, quindi il codice generato non si è nemmeno compilato e i benchmark erano stime, come ha notato anche @MatteoFrig60839 Ho spinto di più per portarlo a uno stato migliore, ma non è ancora un'implementazione completamente funzionante Sarei ancora piuttosto sospettoso se fosse sia corretto che più veloce di un'implementazione C++ di produzione realizzata con cura Il test definitivo sarebbe avere una prova generata in rust verificata in un verificatore C++ - non riesco a farlo per ora e richiederebbe ulteriori sforzi Sarebbe bello se avessimo una buona funzione di verifica della prova isolata in C++ e puntare CC verso quella