🚨 Trovati due bug critici di solidità in ZisK utilizzando CIVER 🚨 In collaborazione con il team di sviluppo di @ziskvm, il gruppo Costa sta applicando metodi formali per verificare i circuiti di ricorsione/aggregazione di ZisK. 🔗 Maggiori dettagli qui: 🧵
4,05K