Я настроен пессимистично в отношении RISC-V и LLVM в долгосрочной перспективе для проверяемых вычислений (так называемое «доказательство с нулевым разглашением/ZKP»), потому что, на мой взгляд, большинство людей сильно недооценивают сложность устранения всех ошибок корректности и катастрофические последствия даже одной такой ошибки.⤵️
18,41K