Bạn đang tìm kiếm một nguyên thủy trao đổi công bằng (tái cấu trúc cổ phiếu công bằng là một biến thể phức tạp hơn một chút, tôi sẽ tập trung vào câu hỏi đầu tiên trong câu trả lời này). Đã có rất nhiều nghiên cứu về chủ đề này. Điểm mấu chốt là:
- Trong mô hình tính toán tiêu chuẩn không có đa số trung thực và không có bất kỳ bên thứ ba đáng tin cậy nào, việc trao đổi công bằng là không thể (kết quả cuối cùng đây, một số công việc gần đây hơn đây).
- Tuy nhiên, với một hình thức rất hạn chế của TTP (không nhìn thấy gì và chỉ được sử dụng khi có sự cố xảy ra), nó trở nên khả thi. từ khóa là trao đổi công bằng lạc quan (đây hoặc đây).
- Với đa số các bên trung thực nghiêm ngặt, tính toán an toàn công bằng nói chung là có thể.
Sau đó, có những giải pháp khéo léo khác, khác với mô hình tính toán tiêu chuẩn:
- Bạn có thể sử dụng các giả định về thời gian và các nguyên tắc cơ bản như câu đố khóa thời gian hoặc cam kết về thời gian. Để tôi cho bạn một ví dụ đơn giản: giả sử Alice và Bob có bí mật tương ứng $a$ và $b$. Đầu tiên họ trao đổi các cam kết $c_a$ và $c_b$ đến đầu vào của họ. Sau đó, họ sẽ dần dần suy yếu sự mở đầu của cam kết - think about e.g. tiết lộ từng chút một thông tin mở đầu, theo vòng. Sau đó, bạn nhận được sự đảm bảo sau, điều này không hoàn toàn công bằng, nhưng có thể đủ tốt: chẳng hạn, giả sử rằng Bob hủy bỏ sớm và quản lý để phục hồi $a$ bằng cách cưỡng bức phần còn thiếu của phần mở đầu kịp thời $T$. Sau đó, Alice luôn có nhiều thông tin gần bằng Bob, tối đa là một bit (vì các bên trao đổi một bit mỗi vòng). Vì vậy, cô ấy có thể tự phục hồi $b$ trong thời gian nhiều nhất $2T$.
Các cấu trúc liên quan hơn cố gắng đảm bảo rằng "thời gian vũ phu" nhất thiết phải tuần tự, sao cho ngay cả khi kẻ gian lận có một lượng lớn sức mạnh tính toán, chúng cũng không thể tăng tốc đáng kể. Xem thêm chi tiết đây - có nhiều lượt theo dõi.
Nhược điểm của giải pháp này là không có giới hạn trên đối với quyền lực mà các bên trung thực có thể phải đầu tư: nếu đối thủ sẵn sàng dành một khoảng thời gian cực lớn $T$, thì bên lương thiện phải tốn gấp đôi thời gian hơn thế. Điều này có thể được khắc phục phần nào, nếu bạn sẵn sàng chấp nhận công bằng một phần, nơi bạn thấy ổn với xác suất nhỏ $1/n$, ở đâu $n$ là đa thức, rằng kẻ thù phá vỡ sự công bằng. Trong cài đặt này, chúng tôi đã hiển thị trong tờ giấy này rằng bạn có thể nhận được một giao thức trao đổi công bằng (một phần) với ràng buộc rõ ràng về tính toán tối đa mà những người tham gia có thể phải đầu tư (ngay cả khi ai đó gian lận).
Hoặc bạn có thể thay thế TTP bằng cách sử dụng chuỗi khối làm giả định tin cậy của mình. Theo một nghĩa nào đó, điều này phân cấp TTP. Một số đề xuất dọc theo những dòng này thực sự có thể được triển khai trong thực tế trên chuỗi khối Ethereum. Điểm khởi đầu cho dòng công việc này là tờ giấy này.
Các biến thể của khuyến khích sử dụng tiền ở trên, với các hợp đồng thông minh đảm bảo rằng bạn chơi trung thực và công bằng hoặc bạn mất tiền (đây là một mẫu từ dòng công việc này, mặc dù tôi không nghĩ rằng nó giải quyết rõ ràng sự công bằng).
Lời giới thiệu về bài viết của tôi đây cung cấp thêm các cuộc thảo luận và gợi ý mở rộng mà bạn có thể quan tâm.
