HAL->Graph-Centric System Transition Proposal 🔥 In the first part of the zkVM trilogy, we argued that it would be beneficial to change the existing HAL (Hardware Abstraction Layer) to a graph-centric proof system. And we have actual data on this. We tested Venus (the graph-centric backend system) on Zisk using GPUs and FPGAs (specialized chips), and we re-evaluated the original ZK hardware idea. The numbers that resulted show the following: