Ryuya NakamurainLayerX-jpCBC Casperと形式的検証こんにちは、R&Dチームの中村(Twitter: veryNR)です。本日、CBC Casperに関する論文: “Refinement and Verification of CBC Casper”を公開しました。Apr 24, 2019Apr 24, 2019
Ryuya NakamurainLayerXCBC Casper and formal verificationThis is Ryuya (Twitter: veryNR) from the LayerX R&D team. We published our first paper on our work on CBC Casper: “Refinement and…Apr 24, 2019Apr 24, 2019
Ryuya NakamurainLayerX-jpReserve Protocol: 暗号資産担保とアルゴリズムによるハイブリッド型ステーブルコインこんにちは、R&Dチームの中村(@veryNR)です。普段は形式的検証関連の研究開発に取り組んでおり、FVyperという、OpenZeppelinのVyper版の開発とその形式的検証や、プロトコル検証関連技術の研究をしています(最近読んでいる論文リスト)。Dec 19, 2018Dec 19, 2018
Ryuya NakamurainLayerX-jp効率的にブロックチェーンのリサーチをするための心がけLayerXにて研究開発、コード監査等を行なっている中村(@veryNR)です。Sep 17, 20181Sep 17, 20181
Ryuya NakamurainLayerX-jpVyperでPlasma MVPを実装しましたLayerX(@LayerXcom)研究開発チームのRyuya Nakamura(@veryNR), Osuke Sudo(@zoom_zoomzo)は、Ethereumのスマートコントラクト言語VyperによりPlasma MVPを実装しました。Aug 24, 2018Aug 24, 2018
Ryuya NakamurainLayerXPlasma MVP Implementation In VyperRyuya Nakamura(@veryNR)and Osuke Sudo( @zoom_zoomzo) from LayerX R&D Team implemented Minimal Viable Plasma in Vyper, a smart contract…Aug 24, 2018Aug 24, 2018
