Zcash công khai đề xuất «Ironwood»: Cho phép bất kỳ ai cũng có thể xác minh lượng lưu thông của ZEC, có thể cứu vãn niềm tin không?

Tuần trước, hồ chứa Orchard bị phát hiện tồn tại lỗ hổng giả mạo, nhà sáng lập Zcash Zooko đã trực tiếp thúc đẩy một đề xuất mang tên Ironwood, cung cấp khả năng "người dùng tự xác minh lượng Zcash lưu thông có chính xác hay không".
(Thông tin tiền đề: Phát hiện kỹ sư đã tìm ra lỗ hổng 4 năm của Zcash: Monero (XMR) cũng đang tiến hành kiểm tra)
(Bổ sung nền tảng: Arthur Hayes kêu gọi "Ba đồng tiền thiêng liêng", sau đó thoái vốn ZEC, NEAR, WLD)

Mục lục bài viết

Chuyển đổi

• Mục tiêu của Ironwood
• Ba việc Ironwood sẽ làm
  • ① Mở một pool shielded mới
  • ② Khóa các xuất mới trong hồ Orchard cũ
  • ③ Tăng độ đảm bảo cho mã nguồn
• Những thay đổi sẽ xảy ra với hồ Orchard cũ
  • Turnstile là gì
• Tại sao thiết kế này hữu ích
• Tiện thể: Lỗ hổng có bị khai thác hay không?
  • Kết quả A: Không có ZEC vượt quá cố gắng rời khỏi hồ Orchard cũ
  • Kết quả B: Có ZEC vượt quá cố gắng rời khỏi hồ Orchard cũ
• Ảnh hưởng đến ví và người dùng
  • Ví
  • Địa chỉ nhận
• Lịch trình
• Kết luận: Không phải để bạn tin vào phán đoán của chúng tôi

Tóm tắt chính

Tiền mã hóa riêng tư Zcash gần đây trải qua đợt chỉnh sửa nghiêm trọng. Nguyên nhân gây sụt giảm mạnh này là một báo cáo kiểm toán kỹ thuật. Ngày 29 tháng 5, kỹ sư an ninh Taylor Hornby, được Shielded Labs thuê, đã kiểm tra mạch điện của hồ Orchard trong Zcash, phát hiện ra một lỗi "thiếu ràng buộc" quan trọng, kẻ tấn công có thể tạo ra các giá trị giả mạo tùy ý trong phép nhân trên đường cong elliptic, và qua xác thực, lý thuyết có thể tạo ra vô hạn ZEC giả mạo không thể phát hiện.

Lỗ hổng này đã tồn tại từ khi giao thức Orchard hoạt động vào tháng 5 năm 2022, kéo dài tới bốn năm. Dù chính thức đã khắc phục khẩn cấp, nhà sáng lập Zcash Zooko Wilcox cũng cho biết khả năng lỗ hổng đã bị khai thác "rất thấp". Nhưng cộng đồng đã mất niềm tin nghiêm trọng, Zooko đã phát hành đề xuất Ironwood vào ngày 6, dưới đây là bản dịch và tổng hợp bài viết của đề xuất này.

Tại sao cần Ironwood

Shielded Labs đang hợp tác với Quỹ Zcash, Tachyon Group, Valar Group, Zcash Open Development Lab (ZODL) để thúc đẩy đề xuất mang tên Ironwood — mục đích là trả lại khả năng "người dùng tự xác minh tính toàn vẹn của cung Zcash" cho cộng đồng.

Lịch sử sự kiện:

• Tuần trước, hồ Orchard của Zcash đã phát hiện tồn tại một lỗ hổng giả mạo
• Việc nâng cấp mạng khẩn cấp phối hợp với ZODL và các thành viên hệ sinh thái đã chặn đứng, hoàn thành vào ngày 2 tháng 6 năm 2026
• Dù chúng tôi cho rằng khả năng bị khai thác không cao (chi tiết xem bài khác), nhưng tính năng riêng tư của Orchard khiến người dùng không thể tự xác minh chuyện này

Ironwood cho phép người dùng tự xác minh lượng Zcash lưu thông là chính xác.

Sau khi kích hoạt, chỉ cần cộng tổng số dư của các hồ hoạt động (active pools), là có thể xác minh ngay — không cần đoán xem người khác có động cơ gian lận hay không, cũng không cần chờ việc di chuyển của hồ Orchard hoàn tất.

Mục tiêu của Ironwood

Để mỗi người dùng Zcash đều có thể tự xác minh tính "toàn vẹn cung cấp" (supply integrity) của Zcash.

Khả năng này vốn bị phá vỡ do tồn tại lỗ hổng giả mạo. Khi Ironwood kích hoạt, người dùng chỉ cần chạy một node là có thể tự xác minh rằng tổng lượng lưu thông của Zcash là "chắc chắn (sound)".

Ba việc Ironwood sẽ làm

① Mở một hồ shielded mới

Sử dụng mạch của Orchard, nhưng đã sửa lỗi giả mạo gần đây.

② Khóa các xuất mới trong hồ Orchard cũ

Bất kỳ giao dịch nào cố gắng tạo ra output mới trong hồ Orchard cũ đều bị coi là vô hiệu.

③ Tăng độ đảm bảo cho mã nguồn

Bao gồm kiểm tra an toàn bằng AI hỗ trợ, xác thực hình thức (formal verification), nhằm loại trừ các lỗ hổng giả mạo tiềm ẩn khác.

Những thay đổi với hồ Orchard cũ

Từ thời điểm kích hoạt Ironwood, tất cả các giao dịch tạo output mới trong hồ Orchard sẽ bị từ chối.

Nghĩa là, ZEC không thể tiếp tục lưu thông trong hồ này nữa.

Từ đó, ZEC trong hồ chỉ còn một con đường duy nhất — qua turnstile để ra ngoài.

Turnstile là gì

Turnstile là cơ chế của Zcash trên chuỗi để ghi nhận "chuyển đổi" giữa các hồ:

• Theo dõi mỗi hồ đã nhận bao nhiêu ZEC, đã chuyển ra bao nhiêu ZEC
• Từ chối mọi giao dịch cố gắng rút quá số ZEC đã nhập hợp lệ

Tại sao thiết kế này hữu ích

Quy tắc này giúp: Người dùng không cần chờ việc di chuyển vốn trong Orchard hoàn tất, khi Ironwood kích hoạt, có thể trực tiếp chứng minh dựa trên quy tắc đồng thuận — hiện tại lượng ZEC lưu hành không vượt quá mức hợp lệ.

Điều này cung cấp một đảm bảo tức thì, không cần tin tưởng:

• ZEC vượt quá không thể âm thầm lưu thông trong Orchard
• Hoặc trốn thoát sang các hồ khác

Tiện thể: Lỗ hổng có bị khai thác hay không?

Ironwood cũng có thể cung cấp bằng chứng "lỗ hổng đã từng bị khai thác hay chưa" — nhưng không phải mục tiêu, việc đạt được hay không không phụ thuộc vào việc có phát hiện bằng chứng hay không.

Khi người dùng hợp pháp chuyển tiền từ hồ Orchard cũ sang hồ mới, giả sử tồn tại kẻ giả mạo, hắn sẽ đối mặt với một lựa chọn:

• Cố gắng rút tiền giả mạo: rủi ro bị lộ ra
• Chỉ để đó không rút: rủi ro là không thể rút ra sau này

Vì vậy, có hai kết quả có thể xảy ra:

Outcome A: Không có ZEC vượt quá cố gắng rời khỏi hồ Orchard cũ

→ Đây là bằng chứng "lỗ hổng chưa từng bị khai thác".

Lý do: Nếu có kẻ giả mạo, hắn sẽ có động cơ mạnh mẽ để rút trước khi người dùng hợp pháp hoàn tất di chuyển, không thể không làm.

Outcome B: Có ZEC vượt quá cố gắng rời khỏi hồ Orchard cũ

→ Những khoản vượt quá này sẽ bị chặn lại, tương đương bị tiêu hủy.

Thật đáng tiếc, để duy trì mục tiêu "tổng lượng lưu thông của toàn hồ chính xác", điều này là cần thiết.

Cũng đồng thời tạo ra bằng chứng giả mạo có thể kiểm chứng công khai.

Vì chúng tôi cho rằng lỗ hổng hầu như không bị khai thác, nên xác suất Outcome B xuất hiện là rất thấp.

Ảnh hưởng đến ví và người dùng

Ví

Chúng tôi đề xuất tất cả các ví hỗ trợ hồ Orchard hiện tại, cũng hỗ trợ hồ mới.

Cụ thể:

• Trước khi Ironwood kích hoạt, duy trì hoạt động bình thường như hiện tại
• Sau khi kích hoạt, chuyển tài sản của người dùng từ hồ Orchard cũ sang hồ mới

Việc chuyển sẽ có tác động riêng về quyền riêng tư — tiết lộ số tiền và thời gian chuyển. Nhưng chúng tôi đánh giá ảnh hưởng này hạn chế, và có thể giảm thiểu thêm qua hành vi của ví.

Địa chỉ nhận

Địa chỉ nhận trong Orchard cũ vẫn còn hiệu lực, không cần đổi.

Các địa chỉ Orchard tạo trước đó, dù sau khi Ironwood kích hoạt vẫn nhận ZEC, sẽ tự động ghi nhận là "ZEC trong hồ mới".

Thời gian

Cũng như phần lớn nâng cấp mạng, Ironwood cần phát triển, kiểm thử, kiểm tra và phối hợp với hệ sinh thái.

Kinh nghiệm cho thấy, các công việc này thường kéo dài hơn dự kiến — thà nói chậm còn hơn hứa trước rồi không kịp, cuối cùng không đạt được.

Một yếu tố không chắc chắn nữa là: việc loại bỏ dần zcashd đang diễn ra. Dù Shielded Labs không trực tiếp tham gia phần này, nhưng tiến trình chuyển đổi của các sàn giao dịch, pool, ví, hạ tầng sang Zebra, sẽ ảnh hưởng đến thời gian của lần nâng cấp này.

Khi kế hoạch thực thi hoàn chỉnh, thảo luận tiếp tục, thời gian sẽ rõ ràng hơn.

Kết luận: Không phải để bạn tin vào phán đoán của chúng tôi

Chúng tôi muốn nhấn mạnh: Chúng tôi tin khả năng lỗ hổng Orchard đã bị khai thác là không cao.

Nhưng người dùng không nên bị bắt buộc phải tin vào phán đoán của chúng tôi, cũng như của bất kỳ ai khác, về tính toàn vẹn của cung Zcash.

Thiết kế của Ironwood chính là để trả lại đảm bảo này cho từng người dùng: bất kỳ ai cũng có thể tự xác minh.

Dù lỗ hổng có từng bị khai thác hay không, mục tiêu vẫn như nhau — làm cho tính toàn vẹn cung Zcash trở thành thứ có thể tự kiểm chứng được.

Chúng tôi tin Ironwood là con đường tốt nhất để tiến tới, và mong muốn cùng cộng đồng Zcash thảo luận về đề xuất này.