RISC Zero đang làm rất tốt công việc ở đây, đến mức tôi có lẽ lo lắng về lỗi trong thư viện chuẩn Rust hoặc LLVM hơn là về tính đúng đắn của mạch của họ. Tuy nhiên, điều đó vẫn để lại rất nhiều chỗ cho sự lo lắng! Lỗi trình biên dịch rất phổ biến, và RISC-V 32-bit là một mục tiêu khá đặc thù.