Cặp song sinh Winklevoss ủng hộ Zcash sau sự cố lo ngại lỗi bảo mật

Hai nhà sáng lập Gemini, Tyler và Cameron Winklevoss, công khai ủng hộ việc sử dụng phương pháp kiểm định hình thức (formal verification) để bảo vệ Zcash (ZEC). Họ cũng đồng tình với quan điểm của một nhà phát triển về lỗ hổng làm giả token của đồng coin bảo mật này, vấn đề vừa mới được vá gần đây.

Phát biểu của họ được đưa ra vào thời điểm ZEC bị bán tháo mạnh, đồng thời chuyển góc nhìn của sự việc này từ lỗi phát sinh sang giải pháp bảo mật lâu dài cho dự án.

Tại sao sự ủng hộ từ Winklevoss lại quan trọng với Zcash

Tyler Winklevoss đồng tình với Haseeb Qureshi, đối tác điều hành tại Dragonfly, khi ông cho rằng lỗi này chủ yếu gây ảnh hưởng cho những nhà đầu tư nắm giữ token ở pool bảo mật, còn thị trường minh bạch thì ít bị tác động hơn.

Hai anh em Winklevoss là đồng sáng lập của sàn Gemini, một sàn giao dịch tiền số được quản lý tại Mỹ. Vì vậy, sự ủng hộ của họ có ý nghĩa đối với các tổ chức đang nắm giữ dự trữ ZEC hiện nay.

“Dù AI đã phát hiện ra lỗi này, thì AI cũng sẽ mang đến giải pháp triệt để cho toàn bộ vấn đề: kiểm định hình thức… Mã hóa được kiểm định hình thức sẽ không xảy ra lỗi lập trình từ đầu,” lãnh đạo của Dragonfly chia sẻ.

Theo dõi chúng tôi trên X để cập nhật tin tức nóng hổi nhất

Kiểm định hình thức là hướng đi sắp tới

Cameron Winklevoss nhận định kiểm định hình thức sẽ giúp ngăn chặn triệt để việc làm giả token trong các pool bảo mật. Nhóm phát triển Zcash dự kiến sẽ tích hợp phương pháp này vào bản nâng cấp mạng lưới kế tiếp.

Theo Qureshi, bản nâng cấp mới sẽ kết hợp pool bảo mật hoàn toàn mới với cơ chế “turnstile” (kiểm soát chuyển tiền). Cơ chế này sẽ chuyển tài sản ra khỏi pool Orchard hiện tại, đồng thời chứng minh trên blockchain rằng không có token ZEC nào bị làm giả.

Kế hoạch này được đưa ra sau khi nhóm phát triển đã khẩn cấp vá lỗi tại pool Orchard và đã xử lý xong trước khi bị bất kì ai lợi dụng.

Trước đó, Zcash cũng vừa ghi nhận nguồn cung bị khóa trong pool bảo mật đạt mức kỷ lục trước khi thông tin lỗ hổng xuất hiện.

“Trong thời đại AI, kiểm định hình thức là phương án bảo mật phần mềm tốt nhất, và Zcash đang tiên phong. Zcash sẽ áp dụng kiểm định hình thức trong đợt nâng cấp mạng tiếp theo, giúp loại bỏ hoàn toàn các lỗi ‘in tiền’ tại các pool bảo mật. Tiền mã hóa được xác minh đúng đắn sẽ không thể bị ngăn cản,” Cameron Winklevoss bổ sung.

Đợt bán tháo Zcash vào ngày thứ Sáu đã khiến ZEC mất đi một phần đà tăng trước đó trong năm 2026. Qureshi cũng tiết lộ rằng Dragonfly hiện đang nắm giữ ZEC và cá nhân ông cũng đầu tư vào một dự án liên quan.

Điều này khá quan trọng khi đánh giá tín hiệu lạc quan từ các cá mập ZEC lớn.

Bản nâng cấp sắp tới sẽ là phép thử xem liệu việc xác minh đúng đắn có thật sự khôi phục niềm tin vào tiền số bảo mật hay không. Lúc này, khi pool mới chưa xác nhận nguồn cung, nhà đầu tư vẫn giữ tâm lý dè dặt và định giá sự hoài nghi vào giá.