Efficient Provably Secure Blockchain Protocols And Applications

该项目已经实现了为基于区块链的应用程序开发新的可证明安全的加密协议的目标，主要关注基于权益证明的区块链协议和有效的协议，用于保护隐私的纸牌游戏，并提供经济处罚和奖励保证。在这个项目的支持下设计的协议激发了新的研究，并为具有强大安全保证的更高效的区块链应用程序铺平了道路。为这个项目提供的资金用于通过在会议上发表报告来传播结果，并用于资助旨在获得计划成果的研究访问。如本摘要的其余部分所述，在整个项目中获得的结果已在主要国际会议上发表。该项目产生了Ouroboros，这是第一个半同步自适应安全权益证明区块链协议，该协议于2018年在Eurocrypt上发布。它还产生了万花筒（Kaleidoscope）和皇家（Royale），这是第一个可证明安全的扑克和一般纸牌游戏协议，有经济奖励和惩罚，分别发表在《金融密码学2018》和《金融密码学2019》上。安全纸牌游戏协议领域的另一个成果是为没有秘密状态（即没有虚张声势）的游戏提供高效的协议。最后，该项目还产生了一个协议，用于用基于加密货币的奖励激励移动自组织网络中的路由。

The project has achieved its goal of developing new provably secure cryptographic protocols for blockchain based applications, with the general focus on Proof-of-Stake based blockchain protocols and efficient protocols for privacy preserving card games with financial penalties and rewards guarantees. The protocols designed in with the support of this project have inspired novel research and paved the way for more efficient blockchain applications with strong security guarantees. The funds granted for this project were used for both disseminating the results through presentations in conferences and for funding research visits aimed at obtaining the planned results. The results obtained throughout this project have been published in leading international conferences as described in the remainder of this summary. This project yielded Ouroboros, the first semi-synchronous adaptively secure Proof-of-Stake blockchain protocol, which was published in Eurocrypt 2018. It has also yielded Kaleidoscope and Royale, the first provably secure protocols for poker and general card games with financial rewards and penalties, which were published in Financial Cryptography 2018 and Financial Cryptography 2019. Another result in the field of protocols for secure card games was a highly efficient protocol for games without secret state (i.e. without bluffing). Finally, this project also yielded a protocol for incentivizing routing in mobile ad-hoc networks with cryptocurrency based rewards.