Giving RISC-V 1024 registers for zkVMs | Dark Hacker News