Nâng cấp Ironwood của Zcash: Những thay đổi sau lỗi Orchard

Nâng cấp Ironwood của Zcash: Những thay đổi sau lỗi Orchard

Zcash đã hoàn thành nâng cấp mạng Ironwood, thay thế pool bảo mật Orchard dễ bị tổn thương bằng một giải pháp thay thế đã được xác minh chính thức, nhằm ngăn chặn việc làm giả không thể phát hiện trong khi bắt đầu di chuyển các quỹ bảo mật vào pool mới.

Theo Project Tachyon và nhóm phát triển Zcash, Ironwood đã được kích hoạt đúng lịch vào chiều cao khối 3,428,143 thông qua nâng cấp mạng NU6.3 vào thứ Ba, giới thiệu một pool bảo mật mới mà các nhà phát triển cho biết khôi phục niềm tin vào tính toàn vẹn của nguồn cung Zcash sau những lo ngại xung quanh Orchard.

Zcash’s biggest network upgrade in years is now live Ironwood brings: – A new Ironwood shielded pool – Stronger security guarantees for shielded transactions – Independently verifiable supply integrity – Privacy remains protected – A stronger foundation for the Zcash network At… – Gemini (@Gemini) July 28, 2026 (Nguồn)

Việc kích hoạt diễn ra sau nhiều tháng làm việc giữa nhiều tổ chức Zcash sau khi các nhà nghiên cứu công bố một lỗi có thể lý thuyết cho phép tạo ra ZEC giả mà không bị phát hiện công khai.

Khi Ironwood hiện đã hoạt động, Orchard đã bước vào giai đoạn chỉ rút tiền. Người dùng vẫn có thể rút quỹ từ pool bảo mật cũ theo ý muốn, nhưng không còn chấp nhận hoạt động bảo mật mới. Dữ liệu từ trình theo dõi di chuyển của Zcash cho thấy khoảng 40,207 ZEC đã được chuyển vào Ironwood, trong khi gần 3.6 triệu ZEC vẫn ở trong Orchard chờ di chuyển.

ZEC (ZEC) đã giảm khoảng 9% xuống khoảng $460 sau khi nâng cấp trước khi phục hồi lên khoảng $475, theo trang giá của crypto.news. Mã token này đã trải qua sự biến động đáng kể sau khi lỗ hổng Orchard trở nên công khai, mất hơn một nửa giá trị trước khi phục hồi từ khoảng $45 vào tháng 9 năm ngoái lên gần $700 vào cuối năm.

Ironwood thêm một ranh giới kế toán mới

Pool bảo mật mới thay thế Orchard sau khi các nhà nghiên cứu xác định một lỗi được gọi là lỗi “vô hạn” của Orchard. Theo Shielded Labs, nhà nghiên cứu Taylor Hornby đã phát hiện ra lỗi này vào cuối tháng Năm bên trong mạch không biết của Orchard. Các nhà phát triển cho biết vấn đề này có thể lý thuyết cho phép một kẻ tấn công đúc ZEC giả mà không bị phát hiện ngay lập tức, mặc dù họ cũng cho biết không tìm thấy bằng chứng cho thấy lỗ hổng đã từng bị khai thác.

Các nâng cấp khẩn cấp vào đầu tháng Sáu đã tạm thời vô hiệu hóa Orchard trước khi các nhà phát triển triển khai mã mạch đã được sửa chữa thông qua hard fork NU6.2. Ngay cả sau khi sửa lỗi, các nhà phát triển cho biết mô hình bảo mật của Zcash đã ngăn cản bất kỳ ai chứng minh một cách chắc chắn rằng lạm phát ẩn chưa bao giờ xảy ra, dẫn đến việc làm việc trên một pool bảo mật thay thế thay vì chỉ dựa vào việc sửa chữa Orchard.

Ironwood giới thiệu một hệ thống kế toán riêng biệt với cây cam kết ghi chú của riêng nó, tập hợp nullifier, và pool giá trị chuỗi, cho phép các nút theo dõi pool bảo mật mới một cách độc lập. Theo tài liệu kỹ thuật của dự án, nâng cấp này cũng cài đặt một điểm kiểm tra kế toán công khai được gọi là turnstile, cho phép quỹ rời khỏi Orchard trong khi ngăn chặn giá trị rời khỏi nhiều hơn những gì đã hợp pháp được đưa vào pool cũ.

Các nhà phát triển cho biết cơ chế này nhằm giữ lại bất kỳ đồng tiền giả mạo nào giả định bên trong Orchard trong khi cho phép xác minh độc lập rằng nguồn cung lưu hành của Zcash tiếp tục tôn trọng giới hạn phát hành 21 triệu ZEC của mạng.

Xác minh chính thức đã củng cố mô hình bảo mật của Ironwood

Cùng với việc kích hoạt mạng, Project Tachyon đã thông báo rằng các nhà nghiên cứu đã hoàn thành một bằng chứng toán học được kiểm tra bằng máy liên quan đến tính toàn vẹn của số dư của Ironwood, cung cấp thêm sự đảm bảo rằng pool bảo mật mới không thể tạo ra giá trị vượt quá những gì đã được công khai đưa vào nó theo các giả định mật mã đã nêu.

Theo Project Tachyon, bằng chứng này được viết bằng ngôn ngữ lập trình Lean và bao gồm hơn 2,700 định lý được phát triển trong hơn một tháng bởi ba nhóm nhà nghiên cứu và nhà mật mã.

Các nhà nghiên cứu cho biết công việc của họ xác minh chính thức các thành phần cần thiết cho tính toàn vẹn của số dư, bao gồm hệ thống bằng chứng không biết của Ironwood, quy tắc mạch và kế toán cấp sổ cái. Họ cũng làm rõ rằng việc xác minh không mở rộng đến các đảm bảo bảo mật riêng biệt của Ironwood.

Bình luận về công việc này, ông Sean Bowe, đồng sáng lập Zcash cho biết nỗ lực hợp tác giữa các nhóm đã loại bỏ các nguồn gốc của lỗi làm giả không thể phát hiện từ giao thức Ironwood mới.

Soundness of our zk-SNARK would have been great on its own. But a cross-team collaboration has just changed Zcash’s history forever, eliminating all sources of undetectable counterfeiting bugs from the new Ironwood protocol. – Sean Bowe (@ebfull) July 28, 2026 (Nguồn)

Pool bảo mật mới cũng tích hợp các ghi chú phục hồi lượng tử ZIP 2005, cho phép một cơ chế phục hồi trong tương lai nếu những tiến bộ trong điện toán lượng tử cuối cùng làm yếu đi các biện pháp bảo mật mật mã hiện tại. Theo đặc tả ZIP, tính năng này không làm cho các giao dịch Zcash hiện tại an toàn trước lượng tử vì một giao thức phục hồi riêng biệt vẫn cần phải được thiết kế và kích hoạt trong tương lai.

Các nhóm hệ sinh thái phối hợp triển khai

Ironwood được phát triển thông qua sự hợp tác giữa Shielded Labs, Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group và Zcash Foundation.

Shielded Labs, do người sáng lập Zcash, ông Zooko Wilcox đồng sáng lập, đã đề xuất ban đầu việc thay thế Orchard để khôi phục kế toán nguồn cung có thể xác minh sau khi lỗ hổng trở nên công khai.

Trong khi đó, ông Josh Swihart, Giám đốc điều hành ZODL cho biết trên X rằng các kỹ sư từ tổ chức của ông đã đóng góp 82% các thay đổi hợp nhất trong các kho mã giao thức và ví của Zcash trong nỗ lực thay thế Orchard. Ông Swihart cho biết Orchard đã được sửa chữa trong vòng năm ngày trước khi các nhà phát triển hoàn thành quá trình thay thế trong khoảng 60 ngày.

Nâng cấp NU6.3 cũng hoàn thành một chuyển đổi dài hạn khác trong toàn mạng. Theo Zcash Foundation, phần mềm nút zcashd cũ không còn hỗ trợ các quy tắc đồng thuận mới, khiến Zebra trở thành triển khai nút bắt buộc sau khi kích hoạt.

Trước khi Ironwood được đưa vào mạng, ông Jason McGee, Giám đốc điều hành Shielded Labs đã cảnh báo rằng các sàn giao dịch, nhà cung cấp ví và nhóm khai thác đang chuẩn bị đồng thời để di chuyển từ zcashd sang ngăn xếp phần mềm Z3 mới trong khi cũng nâng cấp cho Ironwood. Ông McGee cho biết một số nhà điều hành cơ sở hạ tầng cần thêm thời gian, mặc dù không có quyết định nào cuối cùng được đưa ra để hoãn nâng cấp mạng.

Với Ironwood hiện đã hoạt động và việc di chuyển Orchard đang diễn ra, trọng tâm đã chuyển sang việc di chuyển các quỹ bảo mật còn lại qua turnstile trong khi mạng dần dần nghỉ hưu pool cũ theo mô hình kế toán mới.