Efficient Provably Secure Blockchain Protocols And Applications

该项目已经实现了为基于区块链的应用开发新的可证明安全的加密协议的目标，总体重点是基于利害关系证明的区块链协议和用于保护隐私的高效协议，并提供经济处罚和奖励保证。在该项目的支持下设计的协议启发了新的研究，并为更高效的区块链应用铺平了道路，具有强大的安全保障。为该项目提供的资金既用于通过在会议上作陈述来传播成果，也用于资助旨在取得计划成果的研究访问。如本摘要其余部分所述，在整个项目中取得的成果已在主要国际会议上发表。该项目产生了Ouroboros，这是第一个半同步自适应安全的区块链协议，该协议在2018年欧洲加密中发布。它还产生了万花筒和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.