Chúng tôi đã phát hiện ra cùng một lỗi Fiat-Shamir trong sáu zkVM độc lập. Kết quả: một kẻ tấn công có thể bỏ qua hoàn toàn mật mã và chứng minh những tuyên bố toán học không thể xảy ra (như việc tạo ra 1 triệu đô la từ không khí). Phân tích chi tiết ↓