RISC Zero está fazendo um trabalho tão bom aqui, que eu provavelmente estou mais preocupado com uma biblioteca Rust std ou bug LLVM do que com a solidez de seu circuito. Infelizmente, isso ainda deixa muito espaço para preocupação! Bugs do compilador são comuns, e RISC-V de 32 bits é um alvo bastante nicho.