RISC Zero тут настільки добре справляється зі своєю роботою, що я, мабуть, більше переживаю через бібліотеку Rust std або баг LLVM, ніж про надійність їхньої схеми. На жаль, це все ще залишає багато місця для занепокоєння! Помилки компілятора є поширеним явищем, і 32-бітний RISC-V є досить нішевою метою.