SupGen ist jetzt nativ in HVM4 integriert 🥳 Schneller Programm-/Beweisverifier/Mining auf Interaktionsnetzen