SupGen jest teraz natywnie zintegrowany z HVM4 🥳 Szybki weryfikator dowodów/górnik programów w sieciach interakcyjnych