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