Cuộc trao đổi công khai giữa CTO của Polygon Mudit Gupta và người sáng lập Zcash Zooko Wilcox đã mở lại các câu hỏi về việc liệu các hệ thống tiền điện tử tập trung vào quyền riêng tư có thể đảm bảo nguồn cung tiền tệ của họ vẫn nguyên vẹn không. Tranh cãi tập trung vào một lỗ hổng làm giả năm 2019 trong bể giao dịch bảo vệ của Zcash và liệu các cơ chế kiểm toán của mạng có thể chắc chắn chứng minh không có sự tạo ra tiền bất hợp pháp nào xảy ra không.
Nhận thức cần biết:
- CTO của Polygon đặt câu hỏi liệu giới hạn 21 triệu đồng của Zcash có thể xác minh do lỗi đúc vô hạn được phát hiện vào tháng 3 năm 2019 và sửa chữa bảy tháng sau đó
- Người sáng lập Zcash lập luận rằng các cơ chế kế toán "turnstile" khiến việc làm giả không bị phát hiện trở nên không thể bằng cách theo dõi tất cả giá trị đi vào và đi ra khỏi bể bảo vệ
- Sự bất đồng kỹ thuật làm nổi bật căng thẳng giữa sự bảo mật giao dịch và khả năng kiểm toán nguồn cung trong thiết kế tiền điện tử
Cuộc đụng độ công khai
Gupta khởi xướng tranh luận trên X với một khẳng định trực tiếp về sự mờ đục của Zcash. "Không ai biết chính xác có bao nhiêu token Zcash tồn tại," ông viết. "Tài sản được bảo vệ như Zcash rất khó audit. Vào tháng 3 năm 2019, một lỗi đúc vô hạn đã được phát hiện trong tài sản được bảo vệ của Zcash. Nó đã được sửa chữa vào tháng 10 năm 2019 nhưng không có cách nào đảm bảo để biết liệu lỗi đó đã từng bị khai thác không."
Ông sau đó điều chỉnh quan điểm của mình, cho rằng phân tích heuristic cho thấy khả năng lỗi này chưa được khai thác.
"Dựa trên heuristics, khả năng lỗi này bị khai thác là khó xảy ra, vì vậy không cần hoảng sợ," Gupta thêm vào.
Ông đánh giá nhận xét của mình như là việc xác định một danh mục rủi ro vốn có chứ không phải cáo buộc về sự khai thác thực tế. "Tôi chỉ nhấn mạnh một vector tấn công với Zcash và các bể bảo vệ tương tự," ông làm rõ.
Wilcox từ chối mô tả này là không chính xác. Ông hướng dẫn Gupta tới các kiểm toán blockchain công khai có thể theo dõi cơ sở tiền tệ. "Họ cho thấy tính toàn vẹn của cơ sở tiền tệ Zcash," Wilcox viết, thêm vào rằng "phân tích lý thuyết trò chơi đơn giản cho thấy không có sự làm giả."
Người sáng lập Zcash đưa ra một thí nghiệm tâm trí liên quan tới bể Sprout không còn sử dụng nữa.
"Giả sử ai đó đã làm giả ZEC trong bể Sprout trước ngày 28 tháng 10 năm 2018," ông viết. "Sau đó, có một cuộc đua ra khỏi bể giữa kẻ làm giả và nạn nhân của anh ta. Ai chuyển ZEC của mình ra khỏi bể Sprout trước sẽ giữ được toàn bộ số tiền. Kết luận: không có sự làm giả."
Wilcox thêm rằng ngay cả khi có sự làm giả, tổng cung vẫn sẽ bị giới hạn. "Dù có sự làm giả... vẫn chỉ có 16,355,911 ZEC tồn tại, và sẽ luôn chỉ có 21 triệu," ông viết. "Cảm ơn turnstiles!"
Bối cảnh kỹ thuật
Lỗ hổng ảnh hưởng đến Sprout, triển khai ban đầu của bể bảo vệ Zcash. Công ty Electric Coin và Quỹ Zcash phát hiện ra lỗi này vào năm 2018 và công khai vào ngày 5 tháng 2 năm 2019. Nâng cấp Sapling, đã kích hoạt vào ngày 28 tháng 10 năm 2018, đã loại bỏ mã dễ bị tấn công này trước khi công khai.
Zcash đã triển khai kế toán turnstile để giải quyết khả năng khai thác. Cơ chế này hoạt động bằng cách ghi lại tất cả chuyển giao giá trị tại biên giới giữa các bể bảo vệ và trong suốt. Vì các giao dịch vào và ra tiết lộ số tiền ở các điểm chuyển đổi này, mạng có thể tính toán số dư bể dự kiến. Bất kỳ nỗ lực rút nhiều giá trị hơn đã vào đều trở nên có thể phát hiện.
Công ty Electric Coin đã cho biết tại thông báo rằng họ không tìm thấy bằng chứng nào về sự làm giả. Tổ chức này đã duy trì quan điểm này trong khi mô tả turnstile như một biện pháp bảo vệ để duy trì tính toàn vẹn tiền tệ ngay cả trong các kịch bản khai thác tưởng tượng.
Phép ẩn dụ "cuộc đua đến các lối ra" của Wilcox minh họa lý thuyết trò chơi.
Một kẻ tấn công đã tạo ra các đồng tiền giả danh trong Sprout sẽ cạnh tranh với những người sở hữu hợp pháp để rút tiền trước khi hạn chế của turnstile ngăn chặn rút thêm. Sự vắng mặt của các lần thoát đáng ngờ hoặc các đối chiếu thực âm gợi ý rằng không có sự làm giả xảy ra quy mô lớn.
Phản hồi của Gupta tập trung vào các giới hạn về kiến thức hơn là chỉ trích thiết kế của Zcash. "Có lẽ tôi nên rõ ràng hơn," ông viết. "Do khả năng có lỗi, không có gì đảm bảo rằng các bể bảo vệ có cùng số lượng Zcash lưu thông bên trong chúng như Zcash trong suốt đã vào. Do đó, bạn không thể chắc chắn 100% về tổng cung thực tế."
Ông thừa nhận rủi ro thực dụng là tối thiểu. "Khả năng lỗi như vậy bị khai thác là gần như bằng 0," Gupta tuyên bố.
Hiểu cơ khí
Mô hình kinh tế của Zcash phản ánh cấu trúc của Bitcoin. Giao thức thiết lập một giới hạn cung cố định là 21 triệu đồng được phân phối thông qua lịch trình phát hành dựa trên halving. Giới hạn này xuất hiện trong tất cả tài liệu chính thức.
Các giao thức không có kiến thức cho phép Zcash che giấu các khoản tiền giao dịch cá nhân và thông tin người tham gia trong các bể bảo vệ. Tuy nhiên, những tính năng bảo mật này tạo ra một thách thức kiểm toán mà blockchain trong suốt không đối mặt. Giao thức phải cân đối giữa việc che giấu các giao dịch cụ thể trong khi duy trì tổng cung có thể xác minh.
Turnstiles hoạt động như các điểm kiểm soát giữa các phần trong suốt và riêng tư của mạng. Khi các đồng tiền di chuyển từ các địa chỉ trong suốt vào các bể bảo vệ, blockchain ghi lại số tiền nạp. Khi các đồng tiền rút về các địa chỉ trong suốt, số tiền rút trở nên hiển thị. Sự khác biệt cộng dồn giữa số tiền gửi và rút đã ghi lại thiết lập một số dư bể tối đa có thể.
Phương pháp kế toán này không thể tiết lộ liệu có sự làm giả xảy ra trong một bể bảo vệ trong một khung thời gian cụ thể không. Tuy nhiên, nó có thể phát hiện nếu có nhiều giá trị hơn cố gắng rời khỏi bể so với các khoản tiền gửi đã ghi lại cho phép. Sự khác biệt này làm nổi bật căng thẳng cốt lõi trong tranh luận.
Suy ngẫm cuối cùng
Cuộc trao đổi minh họa các câu hỏi cơ bản về khả năng kiểm chứng trong các hệ thống tiền điện tử bảo vệ quyền riêng tư. Trong khi các cơ chế turnstile của Zcash cung cấp bằng chứng xác suất mạnh mẽ chống lại việc làm giả không bị phát hiện, tranh luận cho thấy các tiêu chuẩn khác nhau về cái gì được coi là chứng minh rõ ràng trong môi trường mật mã thách thức. ZEC giao dịch ở mức $325 tại thời điểm công bố.