CV
Work experience
- Aug 2018 - Present: Research and Development
- LayerX Inc.
- Feb 2017 - Jul 2018: Software Engineer/Data Scientist
- Gunosy Inc.
- Sep 2015 - Oct 2016: Business Development
- Coubic Inc.
Education
- Faculty of Engineering, The University of Tokyo, 2015 - Present (Suspending)
Skills
- Language: Japanese, English
- Software development (Golang, Python)
- Distributed systems (state machine replication, sharding)
- Smart contract security (Solidity, Vyper)
- Formal verification (Isabelle/HOL, K framework)
- Data analysis, Machine learning
Grant
- Ethereum Foundation, 2019
Publications
Refinement and Verification of CBC Casper
Ryuya Nakamura, Takayuki Jimba and Dominik Harz. (2019). "Refinement and Verification of CBC Casper." CVCBT 2019.
Poster: Random Rewards in Proof-of-Stake Protocols
Dominik Harz and Ryuya Nakamura. (2019). "Random Rewards in Proof-of-Stake Protocols." IWSEC 2019.
Poster: ブロックチェーンフォークチョイスルールLMD GHOSTに対する攻撃手法
中村龍矢. (2019). "ブロックチェーンフォークチョイスルールLMD GHOSTに対する攻撃手法." CSS 2019.
Casper the Subjective Finality Gadget
Ryuya Nakamura. (2020). "Casper the Subjective Finality Gadget." SCIS 2020.
Poster: Prevention of Bouncing Attack on Casper FFG
Ryuya Nakamura. (2020). "Prevention of Bouncing Attack on Casper FFG." FC 2020.
Load Balancing for Sharded Blockchains
Naoya Okanami, Ryuya Nakamura and Takashi Nishide. (2020). "Load Balancing for Sharded Blockchains." WTSC 2020.
