Detta är en viktig milstolpe mot att formellt verifiera zk-bevisare – ett viktigt steg för att etablera förtroende och verifierbarhet i hela ZK-ekosystemet.
The Costa Group
The Costa Group6 aug. 23:43
🚨 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: 🧵
2,09K