Giao thức trọng tài

- Trọng tài: bên thứ ba đáng tin cậy giúp hoàn thành giao thức giữa hai hai bên không tin tưởng

- Trong thế giới thực, luật sư thường được sử dụng như các trọng tài

+ Ví dụ: Alice bán một chiếc xe cho Bob, là một người lạ. Bob muốn thanh toán bằng séc, nhưng Alice không có cách nào để biết séc là có hiệu lực.

+ Nhờ một luật sư đáng tin cậy cho  cả hai. Với sự giúp đỡ của luật sư, Alice và Bob có thểsửdụng giao thức sau đây để đảm bảo rằng không có ai gian lận

+ (1) Alice trao quyền cho luật sư

+ (2) Bob gửi séc cho Alice

+ (3) Alice đặt cọc séc

+ (4) Sau khi chờ đợi một khoảng thời gian cụ thể để séc được làm rõ ràng, luật   sư trao quyền cho Bob. Nếu séc không rõ ràng trong khoảng thời gian cụ thể, Alice chứng minh với luật sư và luật sư trả trao quyền lại cho Alice.

Giao thức phân xử

- Bởi vì chi phí thuê trọng tài cao, giao thức trọng tài có thể được chia thành 2 giao thức con

+ Giao thức con không có trọng tài, thực thi tại mọi thời điểm các bên muốn hoàn thành giao thức

+ Giao thức con có trọng tài, thực thi chỉ trong hoàn cảnh ngoại lệ- khi có tranh chấp

- Ví dụ: giao thức ký kết hợp đồng có thể được chính thức hóa theo cách này

+ Giao thức con không có trọng tài (thực thi ởmọi thời điểm):

* (1)  Alice và Bob đàm phán các điều khoản của hợp đồng

* (2) Alice ký hợp đồng

* (3) Bob ký hợp đồng

+ Giao thức con phân xử(chỉthực thi khi có tranh chấp):

* (4) Alice và Bob xuất hiện trước một quan tòa

* (5) Alice đưa ra bằng chứng của mình

* (6) Bob trình bày bằng chứng của mình

* (7) Quan tòa phán quyết dựa trên bằng chứng