L leonardoalt.github.io Giving RISC-V 1024 registers for zkVMs 4 points exKitsune 6 months ago 0 comments