Đây là một cột mốc quan trọng trong việc xác minh chính thức các zk provers — một bước thiết yếu trong việc thiết lập niềm tin và khả năng xác minh trong toàn bộ hệ sinh thái ZK.
The Costa Group
The Costa Group6 thg 8, 2025
🚨 Hai lỗi nghiêm trọng về độ ổn định được phát hiện trong ZisK sử dụng CIVER 🚨 Trong một sự hợp tác với nhóm phát triển @ziskvm, nhóm Costa đang áp dụng các phương pháp chính thức để xác minh các mạch đệ quy/tổng hợp của ZisK. 🔗Thêm chi tiết ở đây: 🧵
2,45K