Efficient Provably Secure Blockchain Protocols And Applications

高效、可证明安全的区块链协议和应用程序

• 批准号: 18K17999
• 负责人: David Bernardo
• 金额: $ 2.75万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Early-Career Scientists
• 财政年份: 2018
• 资助国家: 日本
• 起止时间: 2018-04-01 至 2019-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K17999/
• 关键词: Blockchain; Proof-of-Stake; MPC; Cards; Provable Security; Cryptography; Cryptographic Protocols

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.

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

项目成果

MARS: Monetized Ad-hoc Routing System (A Position Paper)

MARS：货币化临时路由系统（立场文件）

• DOI: 10.1145/3211933.3211948
• 发表时间: 2018
• 期刊: CryBlock'18 Proceedings of the 1st Workshop on Cryptocurrencies and Blockchains for Distributed Systems
• 作者: David Bernardo;Dowsley Rafael;Larangeira Mario
• 通讯作者: Larangeira Mario

Bernardo David's Homepage

贝尔纳多·大卫的主页

Bar=Ilan University(イスラエル)

巴尔=伊兰大学（以色列）

21 - Bringing Down the Complexity: Fast Composable Protocols for Card Games Without Secret State

21 - 降低复杂性：无需秘密状态的纸牌游戏的快速可组合协议

• DOI: 10.1007/978-3-319-93638-3_4
• 发表时间: 2018
• 期刊: Information Security and Privacy. ACISP 2018. Lecture Notes in Computer Science.
• 作者: David Bernardo;Dowsley Rafael;Larangeira Mario
• 通讯作者: Larangeira Mario

Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement

万花筒：一种具有支付分配和惩罚执行功能的高效扑克协议

• 发表时间: 2018
• 作者: Bernardo David;Rafael Dowsley;Mario Larangeira
• 通讯作者: Mario Larangeira