RISC Zero sta facendo un lavoro così buono qui, che probabilmente sono più preoccupato per una libreria std di Rust o un bug LLVM che per la solidità del loro circuito. Purtroppo, questo lascia ancora molto spazio alle preoccupazioni! I bug del compilatore sono comuni e RISC-V a 32 bit è un obiettivo piuttosto di nicchia.