ok, hơi xấu hổ một chút - tôi đã không cài đặt rust trên máy đó, vì vậy mã được tạo ra thậm chí không biên dịch được và các phép đo hiệu suất chỉ là ước lượng, như @MatteoFrig60839 cũng đã nhận thấy Tôi đã cố gắng nhiều hơn để đưa nó vào trạng thái tốt hơn, nhưng vẫn chưa phải là một triển khai hoàn chỉnh Tôi vẫn sẽ khá nghi ngờ nếu nó vừa đúng vừa nhanh hơn một triển khai C++ chất lượng sản xuất được làm thủ công cẩn thận Bài kiểm tra cuối cùng là có một chứng minh được tạo ra bằng rust được xác minh trong một trình xác minh C++ - tôi không thể làm đúng vào lúc này và sẽ cần thêm sự thúc đẩy Sẽ thật tuyệt nếu chúng ta có một hàm xác minh chứng minh đầy đủ tốt trong C++ và chỉ định CC hướng tới điều đó.