🚨 Dua bug kesehatan kritis ditemukan di ZisK menggunakan CIVER 🚨 Dalam kolaborasi dengan tim pengembangan @ziskvm, grup Costa menerapkan metode formal untuk memverifikasi sirkuit rekursi/agregasi ZisK. 🔗Detail lebih lanjut di sini: 🧵
4,75K