ok, um pouco embaraçoso - eu não tinha o rust instalado naquela máquina, então o código gerado nem sequer compilou e os benchmarks eram estimativas, como @MatteoFrig60839 também notou Eu investiguei mais para colocá-lo em um estado melhor, mas ainda não é uma implementação totalmente funcional Eu ainda ficaria bastante cético se fosse tanto correto quanto mais rápido do que uma implementação C++ de produção cuidadosamente elaborada o teste definitivo de ter uma prova gerada em rust verificada em um verificador C++ - eu não consigo fazer isso por enquanto e exigiria mais investigação seria bom se tivéssemos uma boa função de verificação de prova isolada em C++ e direcionássemos o CC para isso