Sono ribassista su RISC-V e LLVM a lungo termine per il calcolo verificabile (alias "zero-knowledge-proving/ZKP"), perché penso che la maggior parte delle persone sottovaluti notevolmente la difficoltà di eliminare tutti i bug di solidità e sottovaluti notevolmente le conseguenze disastrose anche di uno solo di questi bug. ⤵️