Transición propuesta 🔥 del sistema de prioridad HAL->graph Hemos visto en la primera parte de la trilogía zkVM, Argumenté que sería mejor cambiar la HAL existente (capa de abstracción de hardware) por un sistema de demostración orientado a grafos Y salieron los datos reales sobre esto Probamos Venus (un sistema backend centrado en grafos) con GPUs y FPGAs (chips especializados) sobre Zisk. He retomado la idea original del hardware ZK Los números resultantes muestran lo siguiente