HAL->Proposta di transizione del sistema basato su grafi 🔥 Nella prima parte della trilogia zkVM, abbiamo sostenuto che sarebbe meglio cambiare l'attuale HAL (Hardware Abstraction Layer) in un sistema di prove basato su grafi. E sono emersi dati concreti a riguardo. Abbiamo testato Venus (sistema backend basato su grafi) su Zisk utilizzando GPU e FPGA (chip speciali). Abbiamo riesaminato l'idea originale dell'hardware ZK. I numeri risultanti mostrano quanto segue: