Cryptology ePrint Archive: Report 2019/1398

How to Construct Rational Protocols with Nash Equilibrium Consistency in the UC framework

Xiaoxia Jiang and Youliang Tian

Abstract: The inconsistency of Nash equilibrium of rational delegated computation scheme in the UC framework will lead to the lack of strict security proof of the protocols fundamentally. The consistency proof of Nash equilibrium between the ideal world and the real world has always been a challenge in the research field. In this paper, we analyze the Nash equilibrium according to the game model of rational delegated computation, and the ideal functionality for rational delegation of computation based on incentive-driven adversary is proposed, then we construct a rational delegated computation protocol for UC-realizing the ideal functionality. In a word, the proposed rational delegated computing protocol based on incentive-driven adversary has been proven to be secure in the universally composable framework, furthermore, we effectively solve the inconsistency problem of Nash equilibrium between the real world and the ideal world.

Category / Keywords: cryptographic protocols / Universally composable; Nash equilibrium ;Rational delegation of computation

Date: received 3 Dec 2019, last revised 3 Dec 2019

Contact author: 15650751086 at 163 com,yltian@gzu edu cn

Available format(s): PDF | BibTeX Citation

Version: 20191204:082227 (All versions of this report)

Short URL: ia.cr/2019/1398


[ Cryptology ePrint archive ]