🚨 To kritiske sunnhetsfeil funnet i ZisK ved hjelp av CIVER 🚨 I et samarbeid med @ziskvm utviklingsteamet bruker Costa-gruppen formelle metoder for å verifisere rekursjons-/aggregeringskretser til ZisK. 🔗Flere detaljer her: 🧵
4,38K