SupGen jest teraz natywnie zintegrowany z HVM4 🥳 Równoległy program/górnik/weryfikator dowodów za pomocą sieci interakcji