Các nhà phát triển Zcash đã kích hoạt bản nâng cấp Ironwood tại độ cao khối 3.428.143 như một phần của bản nâng cấp mạng NU6.3, thay thế pool shielded Orchard bằng một phương án thay thế đã được xác minh chính thức. Phương án thay thế này diễn ra sau phát hiện của nhà nghiên cứu Taylor Hornby vào cuối Tháng 5 về một lỗi infinity trong Orchard, tạo ra rủi ro lý thuyết về việc tạo ZEC giả mạo không thể bị phát hiện. Lỗ hổng nằm trong một cơ chế quyền riêng tư cốt lõi của Zcash đã thúc đẩy, theo mô tả của nhà phát triển, một đợt “sprint phát triển chế độ thời chiến” để triển khai một bản thay thế hoàn chỉnh thay vì chỉ vá lỗi.
Hornby phát hiện lỗi Orchard infinity vào cuối Tháng 5
Taylor Hornby, một nhà nghiên cứu tại Shielded Labs, đã phát hiện lỗi Orchard infinity vào cuối Tháng 5. Lỗi nằm sâu bên trong zero-knowledge circuit của Orchard và tạo ra rủi ro lý thuyết về việc đúc ZEC giả mạo mà không để lại bất kỳ dấu vết nào có thể phát hiện công khai. Không có bằng chứng cho thấy lỗ hổng từng bị khai thác. ZEC đã mất hơn một nửa giá trị sau khi thông tin được công khai.
Các bản vá khẩn cấp được triển khai vào đầu Tháng 6 đã tạm thời vô hiệu hóa Orchard. Một circuit đã được sửa chữa đến thông qua hard fork NU6.2 trong vòng năm ngày. Nhà phát triển cho biết về mặt toán học là không thể chứng minh chắc chắn rằng lạm phát ẩn chưa từng xảy ra trong pool cũ, khiến việc thay thế hoàn toàn trở thành con đường duy nhất để khôi phục tính toàn vẹn của cung có thể kiểm chứng.
Đồng sáng lập Shielded Labs Zooko Wilcox ban đầu đề xuất thay thế Orchard hoàn toàn. Những gì theo sau là khoảng 60 ngày phát triển phối hợp giữa Shielded Labs, Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group và Zcash Foundation. Giám đốc điều hành ZODL Josh Swihart cho biết kỹ sư từ tổ chức của ông đã đóng góp 82% các thay đổi được gộp trong quá trình thay thế, cả trên các kho mã giao thức lẫn ví của Zcash.
Ironwood giới thiệu hệ thống kế toán riêng và các note có thể thu hồi bằng lượng tử
Ironwood giới thiệu một hệ thống kế toán hoàn toàn tách biệt với cây cam kết note riêng, tập nullifier và pool giá trị của chuỗi. Cấu trúc này cho phép bất kỳ node nào theo dõi pool shielded mới độc lập với mọi thứ đã diễn ra trước đó.
Bản nâng cấp cài đặt một mốc checkpoint kế toán công khai mà dự án mô tả là “cổng xoay”. Tiền có thể rời Orchard thông qua cổng xoay đó, nhưng cơ chế này về mặt toán học ngăn không cho nhiều giá trị hơn mức đã hợp lệ đi vào pool cũ thoát ra. Bất kỳ đồng coin giả mạo nào được đúc bên trong Orchard trước hoặc trong “cửa sổ” tồn tại lỗ hổng sẽ bị mắc lại vĩnh viễn tại đó, không thể làm nhiễm bẩn phần kế toán cung của Ironwood.
Pool mới tích hợp các note ZIP 2005 có khả năng thu hồi bằng lượng tử. Tính năng này không khiến giao dịch Zcash an toàn trước lượng tử ngay hôm nay — một giao thức thu hồi riêng vẫn cần được thiết kế và kích hoạt trong tương lai. Nâng cấp NU6.3 đưa Zebra trở thành phần cài đặt node bắt buộc, chấm dứt hỗ trợ phần mềm zcashd cũ trên toàn mạng.
Project Tachyon hoàn tất xác minh chính thức Project Tachyon Completed 2,700-Theorem Formal Verification
Project Tachyon hoàn tất một bản chứng minh toán học được kiểm tra bằng máy cùng với các nhà phát triển Zcash. Được viết bằng ngôn ngữ lập trình Lean, bản chứng minh 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à các nhà mật mã. Bản chứng minh xác minh một cách chính thức rằng Ironwood không thể tạo ZEC giả mạo không thể bị phát hiện theo các giả định thiết kế đã nêu.
Bản chứng minh bao phủ các thành phần cần thiết cho tính toàn vẹn số dư: hệ thống proof zero-knowledge của Ironwood, các quy tắc circuit của nó và kế toán cấp sổ cái. Đồng sáng lập Zcash Sean Bowe cho biết: “Một sự hợp tác xuyên nhóm vừa thay đổi lịch sử của Zcash mãi mãi, loại bỏ mọi nguồn gây lỗi đúc tiền giả mạo không thể bị phát hiện khỏi giao thức Ironwood mới.”
Xác minh chính thức bao phủ tính toàn vẹn số dư nhưng không mở rộng sang các cam kết quyền riêng tư riêng biệt của Ironwood. Tính soundness của cung và quyền riêng tư giao dịch là hai thuộc tính khác nhau, và bản chứng minh chỉ giải quyết thuộc tính thứ nhất.
Trình theo dõi di cư cho thấy 40.207 ZEC đã chuyển sang Ironwood
Orchard bước vào giai đoạn chỉ cho phép rút. Pool không còn chấp nhận hoạt động shielded mới, nhưng người dùng vẫn có thể rút tiền theo quyết định của mình. Theo trình theo dõi di cư của Zcash, khoảng 40.207 ZEC đã chuyển vào Ironwood kể từ khi kích hoạt. Khoảng 3,6M ZEC vẫn nằm trong Orchard để chờ di cư.
Tại đỉnh điểm, Orchard chiếm gần 88% tổng cung token shielded của Zcash, theo dữ liệu từ The Block, trong đó hai pool Sapling và Sprout cũ chiếm phần còn lại.
FAQ
Bản nâng cấp Zcash Ironwood là gì?
Ironwood là bản nâng cấp mạng Zcash, thay thế pool shielded Orchard dễ bị tổn thương bằng một pool shielded đã được xác minh chính thức. Bản này được kích hoạt tại độ cao khối 3.428.143 như một phần của hard fork NU6.3.
Vì sao bản nâng cấp Ironwood là cần thiết?
Bản nâng cấp cần thiết vì một lỗi infinity được phát hiện trong pool Orchard vào cuối Tháng 5.6Mạo ra rủi ro lý thuyết về việc tạo ZEC giả mạo không thể bị phát hiện. Nhà phát triển cho biết về mặt toán học là không thể chứng minh lỗi đó đã không bao giờ bị khai thác, khiến việc thay thế hoàn toàn là cần thiết thay vì chỉ dựa vào một bản vá.
Điều gì xảy ra với các khoản tiền vẫn còn trong pool Orchard?
Orchard bước vào giai đoạn chỉ cho phép rút. Người dùng vẫn có thể rút tiền từ pool đó, nhưng pool không còn chấp nhận các giao dịch shielded mới. Khoảng 3,6M ZEC vẫn còn trong Orchard để chờ di cư sang Ironwood, trong khi khoảng 40.207 ZEC đã được chuyển sang.
