Proposition de transition du système HAL vers un système basé sur les graphes 🔥 Dans la première partie de notre trilogie zkVM, nous avons soutenu qu'il serait préférable de remplacer le HAL (couche d'abstraction matérielle) par un système de preuve centré sur les graphes. Et des données réelles à ce sujet ont été publiées. Nous avons testé Venus (système backend centré sur les graphes) sur Zisk avec des GPU et des FPGA (puces spécialisées). Nous avons également réexaminé l'idée originale du matériel ZK. Les chiffres qui en résultent sont les suivants :