Đâ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 Group23:43 6 thg 8
🚨 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,05K