SupGen est maintenant intégré nativement sur HVM4 🥳 Programme parallèle/mineur/vérificateur de preuve via des réseaux d'interaction