RISC Zero делает такую хорошую работу здесь, что я, вероятно, больше беспокоюсь о баге в стандартной библиотеке Rust или LLVM, чем о корректности их схемы. К сожалению, это все равно оставляет много места для беспокойства! Ошибки компилятора распространены, и 32-битный RISC-V — довольно нишевая цель.