O RISC Zero está fazendo um trabalho tão bom aqui, que provavelmente estou mais preocupado com uma biblioteca padrão Rust 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 o RISC-V de 32 bits é um alvo bastante específico.