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.
Posts by Collection
projects
publications
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