🚨 Znaleziono dwa krytyczne błędy w ZisK przy użyciu CIVER 🚨 W ramach współpracy z zespołem deweloperskim @ziskvm, grupa Costa stosuje metody formalne do weryfikacji obwodów rekurencyjnych/agregacyjnych ZisK. 🔗Więcej szczegółów tutaj: 🧵
4,76K