Projects
Data Privacy
Anonify
Research and development of Anonify: a software to share sensitive personal data with privacy-preserving data mining.
Resourses (Japanese)
- Website: https://www.anonify.layerx.co.jp/
- Articles:
Blockchain
Ethereum Foundation Grant: Academic Research on Casper
My research @LayerX Inc. is supported by the Ecosystem Support Program of Ethereum Foundation (Oct 2019). The mission of this grant is to publish academic papers and participate in academic conferences to spread interesting research topics in Ethereum. We are also actively participating in the Japanese security community (e.g., IWSEC, CCS and SCIS) to make Casper/sharding gain more recognition in Japan.
Ethereum 2.0
Security analysis of the consensus protocol in Ethereum 2.0.
- My findings and proposals are posted on Ethereum Research:
- These proposals are adopted in Ethereum 2.0 (version 0.9.1) (See Ethereum Foundation Blog)
- This work is partially published as a poster @Financial Cryptography 2020
Correct-by-construction (CBC) Casper
Contribution to the blockchain consensus protocol CBC Casper.
- Formal verification of CBC Casper with Isabelle/HOL: GitHub
- This work is partially published as a paper: Refinement and Verification of CBC Casper
- Blog: English, Japanese
- The first formal proofs of the safety oracle (finality detection mechanism): Link
- CBC Casper simulator @EDCON HACK 2019
Vyper
Contribution to the Ethereum smart contract language Vyper.
- Development of Vyper
- 6th contributor (as of Feb 15, 2019)
- Vyper plugin for Remix (Ethereum browser IDE): GitHub
- Running (as of Feb 15, 2019)
- FVyper: Formal Verification of Vyper contracts with KEVM: GitHub
- Plasma MVP in Vyper: GitHub
Others
- LayerX Research: Public research notes of LayerX Inc. on Scrapbox
- My curated lists of academic papers: Tweet thread
- Blog posts (Japanese)/日本語ブログ記事