Ainda à espera que @SuccinctLabs publique os resultados do seu desafio de otimização do emulador RISC-V
945