Soy pesimista sobre RISC-V y LLVM a largo plazo para la computación verificable (también conocida como "prueba de conocimiento cero/ZKP"), porque creo que la mayoría de la gente subestima en gran medida la dificultad de eliminar todos los errores de solidez, y subestima en gran medida las consecuencias desastrosas de incluso uno de esos errores. ⤵️