Một nhà nghiên cứu bảo mật đã phát hiện ra một lỗ hổng nghiêm trọng trong nhóm giao dịch Orchard của Zcash, có thể bị khai thác để tạo ra một lượng token giả mạo "không giới hạn" trong nhóm này.

Shielded Labs, một tổ chức hỗ trợ Zcash độc lập, đã công bố những phát hiện này trên nền tảng mạng xã hội X vào thứ Năm. Họ cho biết đã thuê kỹ sư bảo mật Taylor Hornby để tiến hành đánh giá giao thức vào tháng 4.

Thông báo này trùng với thời điểm giá Zcash (ZEC) giảm mạnh. Giá đã giảm 31% trong 24 giờ qua xuống còn 409,64 USD tính đến 11:00 tối ET vào thứ Năm, theo trang giá ZEC của The Block. Phần lớn sự sụt giảm xảy ra trong năm giờ sau khi bài đăng được công bố.

Hornby, một người đóng góp lâu năm cho hệ sinh thái Zcash, đã đánh giá giao thức bằng cả kỹ thuật nghiên cứu bảo mật truyền thống và có sự hỗ trợ của AI để xác định các lỗ hổng trước khi chúng có thể bị khai thác bởi các tác nhân độc hại, theo bài đăng.

Vào ngày 29 tháng 5, Hornby đã phát hiện ra lỗ hổng mạch Orchard bằng cách sử dụng mô hình Opus 4.8 mới được phát hành của Anthropic và ngay lập tức chia sẻ những phát hiện này với các kỹ sư tại Zcash Open Development Lab (ZODL).

Orchard pool là nhóm giao dịch được che chắn của Zcash, cho phép người dùng gửi và nhận ZEC với quyền riêng tư không có kiến thức đầy đủ (zero-knowledge privacy). Mạch Orchard là một hệ thống bằng chứng không kiến thức (zero-knowledge proof system) đảm bảo chỉ các giao dịch hợp lệ mới được chấp nhận trong nhóm.

"Lỗ hổng là có thật và có thể khai thác được," Shielded Labs viết. "Taylor, với sự giúp đỡ của Opus 4.8, đã viết một đoạn mã khai thác hoàn chỉnh mà khi anh ấy thử nghiệm trong môi trường regtest cục bộ, đã tạo ra ZEC giả mạo không giới hạn và không thể phát hiện được."

Bài đăng giải thích rằng lỗ hổng bắt nguồn từ một yếu tố "kém ràng buộc" của mạch Orchard, cho phép nhập các đầu vào sai tùy ý vào một phép nhân đường cong elliptic mà vẫn được chấp thuận.

Mặc dù lỗ hổng đã được vá vào ngày 1 tháng 6, nhưng nó đã tồn tại kể từ khi Orchard được kích hoạt vào tháng 5 năm 2022, Shielded Labs cho biết.

Khả năng khai thác thực tế không cao

Shielded Labs đã viết trong bài đăng của mình rằng các thuộc tính quyền riêng tư của Orchard và bản chất của lỗ hổng khiến việc biết liệu nhóm có bị khai thác trước khi phát hiện ra lỗi hay không trở nên khó khăn.

Bất chấp sự không chắc chắn, Shielded Labs cho biết nhóm không "quá lo lắng" về việc tiền giả đã được tạo ra trước khi lỗi được sửa, vì lỗ hổng này đã nằm ngoài tầm radar trong nhiều năm, ngay cả dưới sự giám sát của các nhà mật mã học giỏi nhất thế giới. 

"Việc phát hiện ra không phải là ngẫu nhiên — đó là kết quả của một nỗ lực có chủ ý nhằm xác định các lỗ hổng loại này trước khi các tác nhân độc hại có thể khai thác," bài đăng cho biết. "[Hornby] đã sử dụng các công cụ AI mới nhất, chỉ dành cho các nhà nghiên cứu bảo mật mũ trắng (white-hat security researchers), cùng với một hệ thống AI tùy chỉnh tinh vi và các lời nhắc (prompts), và đã làm việc chăm chỉ để vượt qua những kẻ tấn công. Chúng tôi nghĩ rằng anh ấy có lẽ đã thành công."

Trong khi Shielded Labs cho biết việc khai thác thực tế lỗ hổng này không có khả năng xảy ra, nhóm của họ đang khám phá một đề xuất nâng cấp mạng để cho phép bất kỳ ai xác minh tính toàn vẹn của nguồn cung Zcash và chứng minh rằng không có Zcash giả mạo nào trong nhóm Orchard. Đề xuất cũng sẽ triển khai một nhóm che chắn mới và thực thi kế toán cửa quay (turnstile accounting) trên tất cả các đồng coin trong nhóm Orchard.

"Đây là một lỗ hổng nghiêm trọng, và chúng tôi tin rằng điều quan trọng là phải minh bạch về ý nghĩa của nó đối với người dùng Zcash," bài đăng cho biết. "Mặc dù không ai muốn phát hiện ra một lỗ hổng như thế này, chúng tôi tự tin rằng Zcash có vị trí tốt để phục hồi."