Ich bin pessimistisch, was RISC-V und LLVM langfristig für verifizierbares Computing (auch bekannt als "Zero-Knowledge-Proving/ZKP") angeht, weil ich denke, dass die meisten Leute die Schwierigkeit, alle Soundness-Bugs zu beseitigen, stark unterschätzen und die katastrophalen Folgen auch nur eines solchen Bugs stark unterschätzen. ⤵️