Proposta de transição do sistema baseado em gráficos do HAL 🔥 No primeiro parte da trilogia zkVM, argumentamos que seria melhor mudar o HAL (Camada de Abstração de Hardware) para um sistema de prova centrado em gráficos. E agora temos dados reais sobre isso. Testamos o Venus (sistema de backend centrado em gráficos) em cima do Zisk com GPU e FPGA (chips especiais) e revisamos a ideia original de hardware ZK. Os números resultantes mostram o seguinte: