zkVMs prestes a ficar mais rápido, recém-preparados por Georg