🚨 Дві критичні помилки звукоізоляції виявлені в ZisK за допомогою CIVER 🚨 У співпраці з командою розробників @ziskvm група Costa застосовує формальні методи для перевірки схем рекурсії/агрегації ZisK. 🔗Детальніше тут: 🧵
4,72K