гаразд, трохи ніяково - у мене не було встановлено rust на тій машині, тому згенерований код навіть не компілювався, а бенчмарки були приблизними, як @MatteoFrig60839 також помітив Я доклав більше зусиль, щоб довести його до кращого стану, але все ще не повністю робочу реалізацію Я все одно буду досить підозрілим, якщо це одночасно правильно + швидше, ніж ретельно виготовлена реалізація C++ виробничого класу остаточний тест перевірки доказу, згенерованого іржі, у верифікаторі C++ - я наразі не можу зрозуміти, і мені знадобиться більше зусиль було б непогано, якби ми мали хорошу ізольовану функцію повної перевірки доказу в C++ і вказували CC на неї