Tôi có quan điểm tiêu cực về RISC-V và LLVM trong dài hạn đối với tính toán có thể xác minh (còn gọi là “chứng minh không kiến thức/ZKP”), vì tôi nghĩ rằng hầu hết mọi người đều đánh giá thấp khó khăn trong việc loại bỏ tất cả các lỗi âm thanh, và đánh giá thấp hậu quả thảm khốc của chỉ một lỗi như vậy.⤵️
18,41K