HAL->Propuesta de transición del sistema centrado en gráficos 🔥 En la primera parte de la trilogía zkVM, argumentamos que sería mejor cambiar el HAL (capa de abstracción de hardware) a un sistema de prueba centrado en gráficos. Y ya tenemos datos reales sobre esto. Hemos probado Venus (sistema de backend centrado en gráficos) sobre Zisk utilizando GPU y FPGA (chips especializados). Hemos revisado la idea original de hardware ZK. Los números resultantes muestran lo siguiente: