Efficient Provably Secure Blockchain Protocols And Applications
| Project/Area Number |
18K17999
|
|---|
| Research Category |
Grant-in-Aid for Early-Career Scientists
|
| Allocation Type | Multi-year Fund |
|---|
| Review Section |
Basic Section 60010:Theory of informatics-related
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
David Bernardo 東京工業大学, 情報理工学院, 特任助教 (80815796)
|
|---|
| Project Period (FY) |
2018-04-01 – 2019-03-31
|
| Project Status |
Discontinued (Fiscal Year 2018)
|
| Budget Amount *help |
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2019: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2018: ¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
|
|---|
| Keywords | Blockchain / Proof-of-Stake / MPC / Cards / Provable Security / Cryptography / Cryptographic Protocols |
|---|
| Outline of Annual Research Achievements |
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.
|
Report
(1 results)
Research Products
(9 results)
