RISC Zero está haciendo un trabajo tan bueno aquí, que probablemente estoy más preocupado por una biblioteca std de Rust o un error de LLVM que por la solidez de su circuito. Desafortunadamente, ¡eso todavía deja mucho espacio para preocuparse! Los errores del compilador son comunes, y RISC-V de 32 bits es un objetivo bastante especializado.