Zcash(ZEC) công bố hơn 2.700 chứng minh cho Ironwood, liệu có giảm nghi ngại nguồn cung?

Zcash(ZEC) đã công bố hơn 2.700 chứng minh được máy kiểm chứng cho tính toàn vẹn cân bằng của quỹ ẩn danh mới Ironwood, nhằm củng cố niềm tin vào nguồn cung trong một hệ thống che giấu số tiền giao dịch và người tham gia.

Theo Cointelegraph đưa tin ngày 28 (giờ địa phương), tổ chức phát triển Project Tachyon cho biết các nhà nghiên cứu và chuyên gia mật mã từ ba nhóm nghiên cứu đã làm việc hơn một tháng, với các chứng minh được viết bằng ngôn ngữ chứng minh định lý Lean.

Trọng tâm của đợt xác minh là “tính toàn vẹn cân bằng”. Điều kiện này yêu cầu quỹ ẩn danh không thể chi ra nhiều giá trị hơn số giá trị đã được đưa vào công khai. Với các đồng tiền riêng tư như Zcash(ZEC), giao dịch được thiết kế để che giấu số tiền và người tham gia, nên nếu nguồn cung bị thổi phồng, bên ngoài khó phát hiện ngay lập tức.

Nhóm nghiên cứu cho biết chứng minh lần này bao quát các thành phần liên quan đến hệ thống bằng chứng không kiến thức của Ironwood, quy tắc mạch và kế toán ở cấp sổ cái. Tuy nhiên, kết quả chỉ có hiệu lực trong phạm vi “các giả định mật mã đã nêu”. Bản thân bảo đảm quyền riêng tư của Ironwood không nằm trong phạm vi xác minh này.

Ironwood được đưa vào thông qua bản nâng cấp Zcash NU6.3. TokenPost trước đó đã đưa tin Zcash kích hoạt nâng cấp Ironwood tại chiều cao khối 3.428.143 và niêm phong quỹ Orchard cũ. Với quỹ Orchard, một lỗ hổng từng được nêu ra về khả năng giả mạo ZEC mà về mặt lý thuyết có thể không bị phát hiện.

Đội ngũ phát triển Zcash cho biết chưa ghi nhận dấu hiệu lỗ hổng này từng bị khai thác trong thực tế. Dù vậy, trong một cấu trúc ưu tiên quyền riêng tư, nếu niềm tin vào nguồn cung bị lung lay, vấn đề có thể lan rộng thành rủi ro uy tín đối với toàn mạng lưới. Đây là lý do Zcash chọn chuyển sang quỹ ẩn danh mới thay vì tiếp tục duy trì cấu trúc cũ.

Dòng tiền chuyển từ Orchard sang Ironwood phải đi qua một cổng kế toán công khai gọi là turnstile. Cơ chế này cho phép xác minh công khai lượng giá trị rời khỏi quỹ cũ, nhằm ngăn số tiền vượt quá mức đã được kiểm chứng đi vào quỹ mới.

Xác minh hình thức là phương pháp dùng toán học để kiểm tra liệu mã có vận hành đúng theo đặc tả dự kiến hay không. Nếu kiểm toán thông thường tập trung rà soát mã và thiết kế, xác minh hình thức nhấn mạnh việc chứng minh bằng máy rằng không có ngoại lệ trong phạm vi đã định. Tuy nhiên, nếu các giả định mật mã nền tảng hoặc quá trình triển khai thực tế có vấn đề, ý nghĩa của chứng minh cũng có thể thay đổi.

Phản ứng thị trường hiện vẫn thận trọng. ZEC trước đó đã giảm gần 40% ngay cả sau khi lỗ hổng được vá. Bình luận từ giới quan sát cho thấy phe ủng hộ xem việc công bố chứng minh là bước tiến quan trọng về minh bạch nguồn cung, trong khi bên thận trọng cho rằng hiệu quả thực tế sẽ chỉ rõ hơn khi quá trình chuyển tiền từ Orchard sang Ironwood diễn ra.

Việc hơn 2.700 chứng minh của Ironwood có thể giảm bao nhiêu nghi ngại về tính toàn vẹn nguồn cung của Zcash(ZEC) sẽ được thị trường theo dõi trong giai đoạn di chuyển tài sản từ quỹ cũ sang quỹ mới.