Jeg er bearish på RISC-V og LLVM på lang sikt for verifiserbar databehandling (aka "zero-knowledge-proving/ZKP"), fordi jeg tror de fleste sterkt undervurderer vanskeligheten med å eliminere alle sunnhetsfeil, og undervurderer de katastrofale konsekvensene av selv en slik feil. ⤵️
18,4K