Vấn đề Bao thư Đóng Kín: Xác minh mà không tiết lộ Vấn đề Tướng Byzantine đặt câu hỏi làm thế nào những người không thể tin tưởng lẫn nhau có thể đồng thuận về một lịch sử công khai: Làm thế nào để đạt được sự đồng thuận mà không cần niềm tin? Bên cạnh nó là một nghịch lý song song, trực giao: Làm thế nào một mạng lưới không đáng tin cậy có thể thi hành các quy tắc của một giao dịch mà không thành viên nào được phép xem nội dung? Đó là Vấn đề Bao thư Đóng Kín—nghịch lý khái niệm được giải quyết bởi tiền tệ bằng chứng không tri thức. Hai chiều của niềm tin phân tán Bitcoin và Zcash điều hành hai lớp hệ thống phân tán riêng biệt: * Vấn đề Tướng Byzantine điều phối thứ tự: Làm thế nào các nút mạng không tin tưởng đồng thuận về các giao dịch nào đã xảy ra và theo thứ tự nào? * Vấn đề Bao thư Đóng Kín điều phối tính hợp lệ: Làm thế nào các nút này xác minh rằng một giao dịch ẩn đang hợp lệ, có khả năng thanh toán và không gây lạm phát mà không cần kiểm tra nội dung của nó? Bitcoin giải quyết sự đồng thuận công khai bằng cách làm cho toàn bộ lịch sử của nó minh bạch. Mỗi nút tự chủ kiểm tra sổ sách: truy vết đầu ra, cộng tổng số dư công khai và xác minh chữ ký. Bitcoin hoạt động vì mọi người tham gia đều đọc cùng một trang: * Bitcoin: Làm thế nào chúng ta đồng thuận về một sổ cái công khai mà mọi người đều có thể kiểm tra? $BTC * Zcash: Làm thế nào chúng ta chứng minh sổ cái cân bằng khi các mục nhập bị ẩn? Sự đồng thuận quyết định bao thư nào đến trước; Vấn đề Bao thư Đóng Kín đặt câu hỏi làm thế nào một đám đông đối địch chứng minh bao thư đó không phải hàng giả. $ZEC Chợ Samarkand Hãy tưởng tượng một ngã tư cổ đại trên Con đường Tơ lụa Các thương nhân từ những đế chế đối địch tụ họp dưới những vòm mái cong: thương nhân lụa Sogdian, người đổi tiền Ba Tư và du khách Venice. Họ không chia sẻ chủ quyền chung, nói những ngôn ngữ khác nhau và mang trong mình sự nghi ngờ lẫn nhau. Hai người lạ khoác áo choàng gặp nhau giữa quảng trường. Trước ánh mắt của đám đông và đội tuần tra thành phố, một người đưa cho người kia một bao thư sáp đóng kín. Không ai được mở bao thư. Không ai được phép biết ai gửi, ai nhận, đồng tiền nào trước đây nó đại diện hay mệnh giá của nó. Không có vị đại thần đáng tin cậy hay viên kiểm định hoàng gia lặng lẽ kiểm tra nội dung. Tuy nhiên, đám đông nghi ngờ phải được trang bị toán học để từ chối giao dịch nếu: * Đồng tiền bên trong không tồn tại. * Người gửi không có quyền hợp pháp để chi tiêu nó. * Đồng tiền đã từng được chi tiêu ở một nhà trọ khác hôm qua. * Việc chuyển nhượng làm tăng cung tiền bằng cách tạo ra đồng tiền mới từ hư vô. Sáp vẫn nguyên vẹn. Nội dung vẫn được giấu kín. Nhưng mỗi thương nhân trong chợ đều tự chủ xác minh rằng các quy định tiền tệ của vương quốc đã được tuân thủ nghiêm ngặt. Về mặt lịch sử, thương mại vật lý đã trộn lẫn hai thuộc tính khác nhau: kiến thức về giao dịch & kiến thức rằng giao dịch đó là hợp lệ. Việc kiểm toán truyền thống đạt được thuộc tính thứ hai bằng cách chiếm đoạt thuộc tính thứ nhất: bạn cắn vàng, đếm tiền, kiểm tra sổ sách riêng của thương nhân hoặc tin tưởng vào xưởng đúc hoàng gia đã thực hiện việc đó. Mật mã không tri thức cắt đứt mối liên hệ đó. Người xác minh không cần biết các sự thật nền tảng. Họ chỉ cần một bằng chứng toán học súc tích chứng minh rằng những sự thật ẩn đó đáp ứng các ràng buộc của giao thức. Sự đồng thuận và Sự tiết lộ Tên gọi mô tả ràng buộc chứ không phải công nghệ. Mã hóa thông thường chỉ che giấu thông điệp, khiến nó trở nên mờ ảo đối với việc xác minh. Vấn đề tiền tệ khó hơn là cho phép một tập hợp phi tin cậy, đối địch kiểm tra trạng thái bị ẩn. Hai trụ cột nền tảng của tiền tệ phi tập trung đứng cạnh nhau: * Tướng Byzantine: Đồng thuận mà không cần niềm tin. * Bao thư Đóng Kín: Xác minh mà không cần tiết lộ. Khả năng chịu lỗi Byzantine cung cấp dòng thời gian công khai bất biến, trong khi bằng chứng không tri thức thi hành tính hợp lệ riêng tư. Bitcoin chứng minh rằng những người lạ có thể duy trì một lịch sử tiền tệ mà không cần tin tưởng vào một cơ quan trung ương. Zcash chứng minh rằng lịch sử này có thể đảm bảo sự bảo toàn tiền tệ mà không đòi hỏi mọi đời sống riêng tư trở thành tài sản công cộng. Bitcoin dạy cho chợ biết đồng thuận về một cuốn sách mở. Zcash chứng minh cuốn sách cân bằng mà không cần mở trang.