🚨 Två kritiska sundhetsbuggar hittades i ZisK med CIVER 🚨 I ett samarbete med det @ziskvm utvecklingsteamet tillämpar Costa-gruppen formella metoder för att verifiera rekursions-/aggregeringskretsar av ZisK. 🔗Mer information här: 🧵
4,69K