Cuối cùng cũng đến lúc tweet về bài báo của chúng tôi "zk-promises" tại Usenix Security. Hai động lực: Làm thế nào để xây dựng uy tín cho những người dùng ẩn danh không thể bị liên kết với hành động của họ? Làm thế nào để có một mô hình tài khoản riêng tư cho các hợp đồng thông minh? Câu trả lời của chúng tôi: các callback ẩn danh.

Hãy tưởng tượng một chứng chỉ ẩn danh có trạng thái—các tín đồ crypto: hãy nghĩ về nó như một hợp đồng thông minh—mà lưu trữ danh tiếng của bạn. Bạn sử dụng nó để làm những việc trực tuyến một cách ẩn danh, như chỉnh sửa Wikipedia hoặc đăng bài trên một diễn đàn. Nhưng làm thế nào danh tiếng đó được cập nhật nếu bạn làm điều gì đó xấu?

Tài khoản ẩn danh của bạn không liên kết với bài đăng, vì vậy bạn không có động lực để tôn trọng một phiếu xuống hoặc cấm. zk-promises giải quyết vấn đề này bằng cách tạo ra các callback ẩn danh. Khi bạn thực hiện một hành động, bạn cũng tạo ra một callback có thể được phát an toàn mà không liên kết trở lại với thông tin xác thực của bạn.

Khi một người điều hành gọi một callback ẩn danh, họ đăng nó lên một bảng thông báo công cộng với một số tham số hàm. Để sử dụng lại thông tin xác thực của bạn, trước tiên bạn phải chứng minh rằng bạn đã kiểm tra bảng thông báo đó và đã áp dụng tất cả các callback đang chờ của bạn.

Chúng ta có thể xây dựng điều này cho thông tin xác thực trên web với một máy chủ đơn giản, hoặc sử dụng nó cho các hợp đồng thông minh riêng tư trên một blockchain. Trong trường hợp sau, chúng ta có một mô hình tài khoản riêng tư, nơi khách hàng tự sắp xếp các cập nhật của họ nhưng không thể chọn lọc loại bỏ các yêu cầu.

Từ góc độ học thuật: zk-promises là một công cụ mới cho danh tiếng và thông tin xác thực ẩn danh. Từ góc độ tiền điện tử: nó cuối cùng làm cho mô hình tài khoản trở nên riêng tư. Trước đây, các dự án lấy cảm hứng từ Zexe như Aleo và Aztec (cộng với Zcash nếu chúng ta quay lại với thanh toán) đã bị mắc kẹt với UTXOs.