أنا هبوطي بشأن RISC-V و LLVM على المدى الطويل للحوسبة التي يمكن التحقق منها (المعروف أيضا باسم "إثبات المعرفة الصفرية / ZKP") ، لأنني أعتقد أن معظم الناس يقللون إلى حد كبير من صعوبة القضاء على جميع أخطاء السلامة ، ويقللون إلى حد كبير من العواقب الوخيمة حتى لخطأ واحد من هذا القلل. ⤵️