Jag är baisse på RISC-V och LLVM på lång sikt för verifierbar databehandling (aka "zero-knowledge-proving/ZKP"), eftersom jag tror att de flesta människor kraftigt underskattar svårigheten att eliminera alla sundhetsbuggar, och kraftigt underskattar de katastrofala konsekvenserna av ens en sådan bugg. ⤵️