Zooko Wilcox, người sáng lập Zcash, cho biết bản nâng cấp Ironwood được đề xuất sẽ cung cấp cho người dùng khả năng xác minh ngay lập tức và không cần tin tưởng rằng nguồn cung ZEC đang lưu hành là an toàn kể từ khối đầu tiên khi kích hoạt. Nhận xét của ông giải quyết một mối quan tâm trọng tâm trong cộng đồng Zcash sau khi tiết lộ một lỗ hổng Orchard vừa được khắc phục: liệu người dùng có thể xác minh nguồn cung mà không cần dựa vào các nhà phát triển, kiểm toán viên hoặc các giả định sau sự kiện hay không.
Trong một bài đăng trên X và một cuộc thảo luận tiếp theo trên Diễn đàn Cộng đồng Zcash, Wilcox cho rằng mục đích chính của Ironwood không phải để chứng minh liệu việc làm giả có từng xảy ra bên trong Orchard hay không. Thay vào đó, ông định hình bản nâng cấp như một cách để giúp nguồn cung đang lưu hành hiện tại có thể được xác minh độc lập bởi bất kỳ người dùng nào đang chạy một full node.
"Khi Zcash Ironwood được kích hoạt, bạn sẽ ngay lập tức, vào Ngày 1 của Ironwood, nhận được sự xác minh không cần tin tưởng từ chính full node của bạn rằng nguồn cung thực tế của Zcash là chính xác," Wilcox viết, ám chỉ "16 triệu ZEC hiện tại và cuối cùng sẽ là 21 triệu ZEC."
Zcash Ironwood Sẽ Cho Phép Kiểm Tra Nguồn Cung Không Cần Tin Cậy
Sự khác biệt này quan trọng vì nhóm Orchard được bảo vệ (shielded). Đặc tính riêng tư đó là trung tâm trong thiết kế của Zcash, nhưng nó cũng làm phức tạp câu hỏi liệu một lỗi tính đúng đắn trong quá khứ có thể bị khai thác mà không để lại dấu vết công khai như có thể thấy trong một sổ cái minh bạch hay không. Phản hồi của Wilcox là tách biệt hai vấn đề đã bị trộn lẫn trong cuộc tranh luận: liệu tiền xu giả có từng được tạo ra hay không, và liệu nguồn cung hiện tại có thể được xác minh là an toàn sau Ironwood hay không.
"Điều này dường như cực kỳ khó hiểu đối với hầu hết mọi người, vì họ đang nhầm lẫn giữa hai điều khác nhau: Không có đồng xu giả nào được tạo ra. Nguồn cung hiện tại là an toàn," Wilcox viết. "Đây là những điều khác nhau! Tôi đang ưu tiên điều thứ hai."
Theo đề xuất Ironwood, nhóm Orchard cũ về cơ bản sẽ bị ngăn không thể tiếp tục hoạt động như một địa điểm lưu thông nội bộ tích cực. Các giao dịch tạo đầu ra mới trong nhóm Orchard cũ sẽ bị từ chối, có nghĩa là tiền không thể tiếp tục di chuyển riêng tư bên trong nhóm đó sau khi kích hoạt. Thay vào đó, tiền sẽ phải thoát ra thông qua cơ chế kế toán turnstile của Zcash trước khi vào nhóm Ironwood mới.
Cơ chế turnstile đó là chìa khóa cho lập luận. Nó theo dõi lượng ZEC hợp pháp đã vào và ra khỏi một nhóm và chặn các nỗ lực di chuyển ra nhiều hơn số lượng đã vào. Theo Wilcox, điều đó có nghĩa là người dùng không cần phải chờ mọi người dùng Orchard di chuyển, cũng không cần dựa vào các giả định lý thuyết trò chơi về cách một kẻ tấn công giả định có thể hành xử.
"Và điều tôi đã nói ở trên — rằng bạn sẽ ngay lập tức có được sự xác minh cục bộ, không cần tin tưởng về tính đúng đắn của nguồn cung Zcash — là đúng bất kể có hay không bất kỳ đồng xu giả nào trong nhóm Orchard," ông viết. "Làm thế nào điều này có thể xảy ra!? Bởi vì Ironwood, vào Ngày 1, trong khối đầu tiên kích hoạt Ironwood, sẽ loại bỏ bất kỳ ZEC dư thừa nào trong nhóm Orchard."
Wilcox chỉ định ngưỡng liên quan là số lượng "hợp pháp thuộc nguồn cung ZEC trong nhóm Orchard," mà ông đặt ở mức 4,5 triệu ZEC. Bất kỳ ZEC dư thừa nào trên ngưỡng đó sẽ không thể duy trì tính hữu ích kinh tế theo các quy tắc mới, vì nó không thể tiếp tục lưu thông trong nhóm Orchard cũ hoặc thoát vào một nhóm khác vượt quá giới hạn turnstile.
"Nó sẽ loại bỏ bất kỳ ZEC dư thừa nào ngay lập tức, không cần tin tưởng và trên toàn cầu," ông nói thêm. "Nó sẽ loại bỏ bất kỳ ZEC dư thừa nào bất kể có thực sự có ZEC dư thừa hay không. Nếu không có, thì tất cả những gì Ironwood làm là cung cấp cho bạn khả năng chứng minh cho chính mình rằng không có."
Wilcox cho biết cá nhân ông tin rằng không có ZEC giả, và đưa ra các lý do mà ông nói đã đưa ra trước đó. Nhưng ông nhấn mạnh rằng Ironwood được thiết kế để loại bỏ sự cần thiết phải tin tưởng vào đánh giá của ông, hoặc vào phán đoán của bất kỳ cá nhân nào khác. Trong bài đăng trên diễn đàn, ông đã đưa ra hai thế giới khả dĩ: một thế giới mà trong đó một lượng ZEC giả không giới hạn được tạo ra bên trong Orchard trước khi lỗ hổng được đóng lại, và một thế giới mà điều đó không xảy ra. Trong cả hai trường hợp, ông lập luận, Ironwood sẽ cho phép người dùng xác minh vào Ngày 1 rằng không có nhiều hơn 16 triệu ZEC đang lưu hành hiện tại.
Đề xuất này cũng có thể tạo ra bằng chứng theo thời gian về việc Orchard có từng bị khai thác hay không. Nếu không có ZEC dư thừa nào cố gắng rời khỏi nhóm cũ khi người dùng di chuyển, điều đó sẽ hỗ trợ quan điểm rằng không có hành vi làm giả nào xảy ra. Nếu ZEC dư thừa cố gắng rời đi, cơ chế turnstile sẽ từ chối nó, bảo tồn nguồn cung đang lưu hành trong khi tiết lộ rằng việc làm giả đã diễn ra.
Tại thời điểm báo chí, ZEC được giao dịch ở mức $
