🚨 Dvě kritické chyby spolehlivosti nalezené v ZisK pomocí CIVER 🚨 Ve spolupráci s vývojovým týmem @ziskvm skupina Costa aplikuje formální metody pro ověření rekurzí/agregačních obvodů ZisK. 🔗Více informací zde: 🧵
4,05K