يقوم RISC Zero بمثل هذا العمل الجيد هنا ، لدرجة أنني ربما أشعر بالقلق بشأن مكتبة Rust std أو خطأ LLVM أكثر من قلقي بشأن سلامة دائرتهم. لسوء الحظ ، لا يزال هذا يترك مجالا كبيرا للقلق! أخطاء المترجم شائعة ، و 32 بت RISC-V هو هدف متخصص جدا.