Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
About me
About me
Page not in menu
This is a page not in th emain menu
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
projects
publications
Poster: Refinement and Verification of CBC Casper
Published in IEEE Symposium on Security and Privacy 2019, 2019
Formal verification of CBC Casper in Isabelle/HOL.
Refinement and Verification of CBC Casper
Published in 2019 Crypto Valley Conference on Blockchain Technology, 2019
Formal verification of CBC Casper in Isabelle/HOL.
Recommended citation: Ryuya Nakamura, Takayuki Jimba and Dominik Harz. (2019). "Refinement and Verification of CBC Casper." CVCBT 2019. https://eprint.iacr.org/2019/415
Poster: Random Rewards in Proof-of-Stake Protocols
Published in The 14th International Workshop on Security, 2019
Randomize the reward function of a PoS protocol to improve equitability.
Recommended citation: Dominik Harz and Ryuya Nakamura. (2019). "Random Rewards in Proof-of-Stake Protocols." IWSEC 2019. https://www.iwsec.org/2019/
Poster: ブロックチェーンフォークチョイスルールLMD GHOSTに対する攻撃手法
Published in Computer Security Symposium 2019, 2019
Analysis of the bouncing attack on LMD GHOST.
Recommended citation: 中村龍矢. (2019). "ブロックチェーンフォークチョイスルールLMD GHOSTに対する攻撃手法." CSS 2019. https://www.iwsec.org/css/2019/index.html
Casper the Subjective Finality Gadget
Published in 2020 Symposium on Cryptography and Information Security, 2020
A blockchain finality gadget with subjective finality.
Recommended citation: Ryuya Nakamura. (2020). "Casper the Subjective Finality Gadget." SCIS 2020. https://www.iwsec.org/scis/2020/index.html
Poster: Prevention of Bouncing Attack on Casper FFG
Published in Financial Cryptography and Data Security 2020, 2020
Propose a mitigation of a liveness attack on Casper FFG.
Recommended citation: Ryuya Nakamura. (2020). "Prevention of Bouncing Attack on Casper FFG." FC 2020.
Load Balancing for Sharded Blockchains
Published in 4th Workshop on Trusted Smart Contracts, 2020
A protocol to improve sharded blockchain by reducing the overhead due to cross-shard transactions.
Recommended citation: Naoya Okanami, Ryuya Nakamura and Takashi Nishide. (2020). "Load Balancing for Sharded Blockchains." WTSC 2020.
talks
Formal Verification and CBC Casper
Published:
- Video: YouTube.
CBC Casper
Published:
Tutorial on blockchain consensus/CBC Casper and present our formal verification on CBC Casper.
Towards Correct-by-construction Design of Protocols
Published:
Devcon 5 side event. Presented the “correct-by-construction” concept and how it is used in CBC Casper, recommending similar approach in a design of Layer2 protocols.
Academic Research on Casper
Published:
Presented our mission as the Ethereum Foundation grant recipient.
- Video: YouTube.
Analyzing the Security of Casper
Published:
最近のEthereumコミュニティおよびEthereum 2.0の概要
Published:
- Video YouTube