Các nhà phát triển Zcash đang gần hoàn tất một bằng chứng toán học để đảm bảo phiên bản mới của nhóm bảo mật của họ không có các lỗ hổng giả mạo không thể phát hiện được. Tiến bộ này tận dụng việc xác minh chính thức được hỗ trợ bởi AI, điều này đã giảm đáng kể thời gian xác minh từ nhiều năm xuống còn một khoảng thời gian ngắn hơn nhiều. Sự phát triển này đánh dấu một bước quan trọng trong việc nâng cao bảo mật và độ tin cậy của các tính năng bảo mật của Zcash.