Tổng quan 

Kleros (PNK) coin là một giao thức ra quyết định phi tập trung để sử dụng trên các nền tảng hợp đồng thông minh được triển khai bằng Ethereum. Kleros hoạt động như một bên thứ ba phi tập trung có khả năng đưa ra quyết định về kết quả chính xác khi áp dụng một bộ quy tắc cho các vấn đề từ đơn giản đến rất phức tạp.

Điều này đạt được bằng cách sử dụng các biện pháp khuyến khích lý thuyết để tiến hành các bồi thẩm đoàn có nguồn lực từ đông đảo để phân tích các vụ việc và đưa ra quyết định đúng đắn. Do đó, Kleros cung cấp các giải pháp một cách rẻ tiền, đáng tin cậy, thường là nhanh chóng và phi tập trung. Đặc biệt quan trọng là việc sử dụng giao thức này để giải quyết tranh chấp, tạo ra một hình thức tư pháp phi tập trung.

Trọng tài và hợp đồng trọng tài

Kleros là một hệ thống tư pháp được lựa chọn. Hợp đồng thông minh “trọng tài” hoặc “trọng tài” phải chỉ định Kleros làm trọng tài viên của họ. Khi họ đồng ý, những người lập hợp đồng chọn bao nhiêu bồi thẩm viên và tòa án nào sẽ phán quyết về hợp đồng của họ trong trường hợp có tranh chấp.

Nhóm Kleros đã phát triển một bộ hợp đồng tiêu chuẩn sử dụng Kleros làm cơ chế giải quyết tranh chấp. Hơn nữa, Kleros đã đề xuất các tiêu chuẩn cho phép những người khác thiết kế các hợp đồng khác theo cách mà không phải biết trước cơ chế giải quyết tranh chấp nào cuối cùng sẽ được sử dụng. Tiêu chuẩn hóa này cho phép các bên thường xuyên yêu cầu dịch vụ giải quyết tranh chấp có thể dễ dàng chuyển đổi giữa các nhà cung cấp dịch vụ giải quyết tranh chấp.

Token Pinakion (PNK)

Người dùng có lợi ích kinh tế khi làm bồi thẩm viên tại Kleros: thu phí trọng tài để đổi lấy công việc của họ. Các ứng cử viên tự chọn mình làm bồi thẩm viên một cách độc lập bằng cách sử dụng token pinakion (PNK).

Khả năng bị xét xử bồi thẩm cho một tranh chấp cụ thể tỷ lệ thuận với số lượng thẻ mà bồi thẩm viên đặt. Số lượng token đặt càng cao thì khả năng bị xét xử trước bồi thẩm đoàn càng cao. Như vậy, tỷ lệ PNK báo hiệu rằng việc tham gia đấu giá sẽ có sự tham gia của ban giám khảo; những người dùng không đặt cược vào PNK sẽ không có cơ hội bị thu hút. Điều này ngăn cản việc lựa chọn một bồi thẩm đoàn không hoạt động.
PNK đáp ứng ba chức năng chính trong thiết kế của Kleros.

• Đầu tiên, nó bảo vệ hệ thống khỏi sự tấn công của Sybil. Nếu ban giám khảo chỉ được rút ra một cách ngẫu nhiên, kẻ tấn công có thể tạo nhiều địa chỉ, mà trong mỗi trường hợp sẽ phải chọn một số lượng lớn địa chỉ. Bằng cách được tuyển dụng nhiều lần hơn tất cả các bồi thẩm viên trung thực, bên độc hại sẽ kiểm soát hệ thống.
• Thứ hai, PNK cung cấp cho các hội thẩm một động cơ để bỏ phiếu trung thực bằng cách buộc các hội thẩm không nhất quán, tức là những hội thẩm có số phiếu không đồng ý với quyết định cuối cùng, trả một phần cổ phần của họ theo thỏa thuận.
• Cuối cùng, PNK có thể được “phân nhánh” để tạo ra các phiên bản Kleros song song, phục vụ như một biện pháp phòng thủ dự phòng trong trường hợp tấn công 51% thành công.

Lựa chọn ngẫu nhiên

Các ứng cử viên bồi thẩm đoàn được lựa chọn đến các tòa án cụ thể một cách độc lập. Bằng cách đặt token của họ tại tòa án này, người tham gia tuyên bố sẵn sàng tham gia vào cuộc rút thăm với tư cách là bồi thẩm đoàn tại tòa án này. Việc lựa chọn cuối cùng của ban giám khảo sau đó được thực hiện một cách ngẫu nhiên. Xác suất trở thành thành viên của ban giám khảo tỷ lệ thuận với số lượng token được đặt. Về lý thuyết, một ứng cử viên có thể được đề cử nhiều lần cho một tranh chấp cụ thể. Số lần người dùng tham gia vào một cuộc tranh chấp (được gọi là trọng số của anh ta) xác định số phiếu bầu mà anh ta sẽ nhận được trong cuộc tranh chấp và số lượng token mà anh ta sẽ thắng hoặc thua trong quá trình phân phối lại token.

Hãy tưởng tượng 6 chủ sở hữu token đã đặt cược tổng cộng 10.000 với phân phối trên. Sau đó, 5 token được rút ra: số 2519, 4953, 2264, 3342 và 9531. Kết quả là chủ sở hữu của token B, C và F được rút ra với trọng lượng là 1. Chủ sở hữu token D được rút ra với trọng lượng là 2.

Phí trọng tài

Kleros sử dụng phí trọng tài để bồi thường cho các bồi thẩm viên vì công việc của họ. Các khoản phí này cũng khiến kẻ tấn công khó spam hệ thống hơn bằng cách tạo ra các tranh chấp không đáng có và / hoặc nộp đơn kháng cáo, vì những hành động này yêu cầu thanh toán phí trọng tài. Mỗi bồi thẩm viên đồng ý với quyết định cuối cùng sẽ được trả một khoản phí do tòa án nơi tranh chấp đang được giải quyết. Hợp đồng thông minh trọng tài sẽ xác định bên nào sẽ trả phí bồi thẩm đoàn, điều này có thể thay đổi tùy theo từng ứng dụng.

• Đầu tiên, mỗi bên sẽ đóng góp một số tiền bằng phí bồi thẩm trong hợp đồng thông minh. Nếu một trong các bên không làm điều này, hợp đồng thông minh sẽ xem xét rằng tòa án đã ra phán quyết có lợi cho bên đã trả phí bồi thẩm (thậm chí không tạo ra tranh chấp tại tòa). Nếu cả hai bên đặt cọc, bên thắng sẽ nhận được tiền hoàn lại khi kết thúc tranh chấp.
• Khi nộp đơn kháng cáo, cả hai bên đều phải trả phí trọng tài. Nguyên đơn cũng phải đăng một tỷ lệ bổ sung tương ứng với phí trọng tài, phí này sẽ được chuyển cho bên thắng. Do đó, nếu một bên đưa ra kháng cáo không hợp lý gây tổn hại cho bên đối lập, bên phản đối sẽ nhận được tiền bồi thường cho thời gian đã mất, và nếu các kháng cáo cuối cùng được xác định là hợp pháp, tiền đặt cọc sẽ được trả lại cho nguyên đơn.

Biểu quyết

Sau khi đánh giá bằng chứng, bồi thẩm đoàn lấy phiếu bầu của họ là một trong những lựa chọn. Họ gửi một hàm băm (giọng nói, muối, địa chỉ). Salt là một giá trị ngẫu nhiên được tạo cục bộ để thêm entropy nhằm ngăn việc sử dụng bảng cầu vồng. Địa chỉ là địa chỉ bồi thẩm đoàn Ethereum. Điều này nhằm đảm bảo rằng nghĩa vụ của mỗi bồi thẩm viên là khác nhau, do đó ngăn chặn một trong những nghĩa vụ của bồi thẩm đoàn sao chép một nghĩa vụ khác. Khi cuộc bỏ phiếu kết thúc, họ tiết lộ {vote, salt} và hợp đồng thông minh Kleros xác nhận rằng nó đáp ứng cam kết. Các bồi thẩm đoàn không tiết lộ phiếu bầu của họ sẽ bị phạt.

Một khi một bồi thẩm viên đã cam kết, thì phiếu bầu của anh ta không thể thay đổi được. Nhưng điều này vẫn không được nhìn thấy cho các hội thẩm hoặc các bên khác. Điều này ngăn cản việc bỏ phiếu của một trong các hội thẩm ảnh hưởng đến phiếu bầu của những người khác.

Hội thẩm vẫn có thể tuyên bố đã bỏ phiếu theo một cách nhất định, nhưng họ cảm thấy khó cung cấp cho các hội thẩm khác lý do để nghĩ rằng những gì họ đang nói là đúng. Đây là một tính năng quan trọng đối với sự xuất hiện của Schelling point. Nếu bồi thẩm đoàn biết phiếu bầu của các bồi thẩm viên khác, họ có thể bỏ phiếu theo cách họ làm, thay vì bỏ phiếu cho điểm Schelling.

Kháng nghị

Nếu sau khi hội đồng xét xử đã đưa ra phán quyết, bên nào không hài lòng (vì cho rằng kết quả đó không công bằng) thì có thể khiếu nại và giải quyết lại tranh chấp. Mỗi tòa phúc thẩm mới sẽ có số lượng bồi thẩm viên gấp đôi cộng với một. Do số lượng hội thẩm tăng lên, phí kháng cáo phải được trả (phí kháng cáo = bồi thẩm mới * phí trung bình cho mỗi bồi thẩm).

Do thực tế là phí trọng tài được trả cho nhiều bồi thẩm viên, tăng theo cấp số nhân khi có đơn kháng cáo, phí trọng tài cũng tăng theo cấp số nhân với số lượng kháng cáo. Điều này có nghĩa là trong hầu hết các trường hợp, các bên sẽ không kháng cáo hoặc chỉ kháng cáo một số ít lần. Tuy nhiên, khả năng có nhiều lần kháng cáo là rất quan trọng để ngăn kẻ tấn công hối lộ bồi thẩm đoàn.

Hệ thống khuyến khích

Sau khi Kleros đã quyết định về tranh chấp, các token sẽ không được đóng băng và được phân phối lại giữa các bồi thẩm đoàn. Cơ chế phân phối lại được lấy cảm hứng từ SchellingCoin, nơi các bồi thẩm viên thu được hoặc mất token tùy thuộc vào việc phiếu bầu của họ có khớp với phiếu bầu của các bồi thẩm viên khác hay không.

Số lượng token bị mất cho mỗi bồi thẩm viên không nhất quán là: A – đặt cược tối thiểu, B – trọng lượng. Tham số xác định số lượng token sẽ được phân phối lại sau sắc lệnh. Đây là một biến nội sinh sẽ được xác định bởi cơ chế kiểm soát như một hệ quả của các động lực bên trong của môi trường bỏ phiếu. Thông số đặt cược tối thiểu là số lượng thẻ tối thiểu có thể được đặt trong một trận đấu phụ.

Phí trọng tài và token bị mất được chia cho các bên đã thỏa thuận tương ứng với trọng lượng của họ. Ban giám khảo không được tiết lộ phiếu bầu của họ. Để ngăn cản hành vi đó, hình phạt cho việc không tiết lộ phiếu bầu của một người ít nhất cũng nặng bằng hình phạt cho việc bỏ phiếu không mạch lạc. Điều này khuyến khích ban giám khảo luôn công khai phiếu bầu của họ. Trong trường hợp có kháng nghị, phí trọng tài và token được phân bổ lại ở mỗi cấp dựa trên kết quả của kháng nghị cuối cùng.

Phân phối lại token sau một cuộc bỏ phiếu của bảy bồi thẩm đoàn. Token được phân phối lại từ các bồi thẩm viên đã bỏ phiếu không mạch lạc cho các bồi thẩm đoàn đã bỏ phiếu liên tiếp. Vasily thua kiện và trả phí trọng tài. Phần còn lại của số tiền gửi được trả lại.

Nhưng Schelling nhận thấy rằng một số phương án có nhiều khả năng được chọn hơn những phương án khác. Do đó, ngay cả khi một phương án đặc biệt rõ ràng không tồn tại, một số phương án sẽ được coi là có nhiều khả năng được các bên khác lựa chọn hơn và sẽ được lựa chọn một cách hiệu quả. Chúng ta không thể mong đợi một ban giám khảo đúng 100% thời gian. Điều này không thể đạt được bằng bất kỳ thủ tục trọng tài nào.

6 ứng dụng

Kleros là một hệ thống linh hoạt, đa năng có thể được sử dụng trong nhiều tình huống khác nhau. Kleros trình bày một số ví dụ về các trường hợp sử dụng có thể có:

• Ký quỹ: Để thanh toán cho một sản phẩm hoặc dịch vụ trực tuyến, bạn có thể đầu tư tiền vào một hợp đồng thông minh. Sau khi nhận được sản phẩm hoặc dịch vụ, người mua có thể chuyển tiền cho người bán. Trong trường hợp xảy ra tranh chấp, Kleros có thể được sử dụng để buộc hợp đồng thông minh hoàn tiền cho người mua hoặc thanh toán cho người bán. Hệ thống ký quỹ dựa trên Kleros như vậy đã có sẵn. Kleros Escrow cũng có thể phức tạp hơn. Ví dụ, đối với hợp đồng thuê nhà, người thuê nhà có thể được yêu cầu đăng ký kết. Trong trường hợp tài sản bị hư hỏng mà người thuê không đồng ý bồi thường, chủ nhà có thể phát sinh tranh chấp để đòi một phần tiền đặt cọc.
• Các nhiệm vụ vi mô: Các nền tảng phi tập trung có thể trả tiền cho các nhiệm vụ vi mô . Các nhiệm vụ đã đăng ký tại ngoại và đưa ra câu trả lời cho các nhiệm vụ vi mô. Các nhiệm vụ sẽ được nhân rộng. Nếu nhiệm vụ nhận được các câu trả lời khác nhau, những người thực hiện có thể thừa nhận sai lầm của họ, điều này sẽ chuyển một phần tiền đặt cọc cho những người đã hoàn thành nhiệm vụ một cách chính xác. Trong trường hợp một số người biểu diễn vẫn giữ nguyên vị trí của họ, quá trình giải quyết tranh chấp sẽ bắt đầu và một phần tiền ký quỹ của họ sẽ được chuyển cho những người biểu diễn thua cuộc cho người thắng cuộc.
• Bảo hiểm: Người mua bảo hiểm trả một khoản hoa hồng cho người bảo hiểm để nhận tiền bồi thường trong trường hợp xảy ra một sự kiện nào đó. Công ty bảo hiểm sẽ phải trả một số loại ký quỹ bảo đảm, có thể phổ biến cho một số bên mua bảo hiểm (tuân theo các quy tắc quản lý rủi ro). Khi xảy ra sự kiện được bảo hiểm, doanh nghiệp bảo hiểm có thể xác nhận và bồi thường cho bên mua bảo hiểm. Nếu công ty bảo hiểm không xác nhận sự kiện này, quy trình giải quyết tranh chấp sẽ được thực hiện. Nếu bên mua bảo hiểm thắng trong quá trình giải quyết tranh chấp, tiền từ tiền ký quỹ bảo đảm của công ty bảo hiểm sẽ được chuyển cho bên mua bảo hiểm. Trong trường hợp khoản tiền đặt cọc là do một số chủ hợp đồng yêu cầu nhiều hơn số tiền đặt cọc, thì quy trình giải quyết tranh chấp cũng sẽ được yêu cầu để xác định cách phân chia các khoản tiền này giữa các chủ hợp đồng.
• Oracle: Luồng dữ liệu phi tập trung cho các hợp đồng thông minh là một trong những trường hợp sử dụng có mục đích sớm nhất cho Ethereum. Bên (có thể là một hợp đồng thông minh) đặt câu hỏi. Bất kỳ ai cũng có thể gửi một khoản tiền gửi và gửi phản hồi. Nếu mọi người đưa ra câu trả lời giống nhau, nó sẽ được trả về bởi Oracle. Nếu có nhiều câu trả lời, quy trình giải quyết tranh chấp sẽ được thực hiện theo. Oracle trả lại câu trả lời nhận được trong quá trình giải quyết tranh chấp và các bên trả lời sai sẽ mất khoản tiền gửi của họ, số tiền này sẽ được chuyển cho những người gửi trung thực. Realitio cung cấp dịch vụ Oracle dựa trên các nguyên tắc này, giúp cho việc sử dụng Kleros cho các tranh chấp tiếp theo có thể xảy ra. Hơn nữa, các ứng dụng khác sử dụng Realitio oracle, chẳng hạn như CryptoUnlocked, gián tiếp phụ thuộc vào việc giải quyết tranh chấp này.
• Danh sách giám tuyển:Danh sách được sắp xếp có thể được đưa vào danh sách trắng hoặc danh sách đen. Ví dụ: một danh sách trắng có thể liệt kê các hợp đồng thông minh bằng cách tuân theo các quy trình kiểm toán thích hợp. Danh sách đen có thể liệt kê các tên ENS (Ethereum Name Service) được đăng ký bởi các bên không liên quan gì đến tên này (ví dụ: kẻ tấn công có thể đăng ký “kleros-token-sale.eth” để lừa mọi người gửi tiền đến địa chỉ này). .. Các bên có thể liệt kê các mặt hàng bằng cách đăng một khoản tiền gửi. Nếu không có ai tranh chấp rằng mục đó thuộc danh sách trong một thời gian đủ, tên sẽ được thêm vào và tiền đặt cọc được trả lại. Nếu một số bên tranh chấp về việc đăng trái phiếu, quá trình giải quyết tranh chấp sẽ bắt đầu. Nếu mục được coi là thuộc danh sách, nó sẽ được thêm vào và người nộp đơn nhận tiền đặt cọc từ các bên tham gia.
• Truyền thông xã hội: Ngăn chặn thư rác, gian lận và lạm dụng khác là một thách thức đối với truyền thông xã hội phi tập trung. Các bên có thể báo cáo vi phạm chính sách mạng và đăng bảo lãnh. Nếu vi phạm được tranh chấp, quá trình giải quyết tranh chấp sẽ bắt đầu. Nếu xác định không có vi phạm xảy ra, bị cáo sẽ tước bỏ tiền ràng buộc đối với bị cáo. Nếu vi phạm không được Cleros tranh cãi hoặc xác nhận, có thể nhận ra nhiều tác động khác nhau: nội dung có thể bị xóa, tác giả của nội dung có thể mất tiền đăng ký và mức độ phù hợp của các bài đăng khác của anh ta có thể bị giảm.