RISC Zero doet hier zulk goed werk, dat ik me waarschijnlijk meer zorgen maak over een Rust std library of LLVM bug dan over de degelijkheid van hun circuit. Helaas laat dat nog veel ruimte voor zorgen! Compilerbugs komen vaak voor, en 32-bit RISC-V is een behoorlijk niche doelwit.