LayerX R&D Projects
Layer1 Security
Supported by Ethereum Foundation Grants (Annoucement at DEVCON V)
Formal Verification of CBC Casper
Paper Refinement and Verification of CBC Casper
Accepted at Crypto Valley Conferece 2019
Blog (English), Blog (Japanese)
Presented at EDCON2019
Securiy Analysis of Ethereum 2.0
Posts at ethresear.ch
Decoy-flip-flop attack on LMD GHOST
Saving strategy and FMD GHOST
Prevention of bouncing attack on FFG
Analysis of bouncing attack on FFG
Presented at DEVCON V
Featured by
Ethereum Foundation Blog
仮想通貨 Watch (Japanese)
Privacy
Anonify: A trusted anonymization tool for any blockchain
WIP, Unpublished
TEE
Zerochain: A privacy-preserving blockchain on Substrate
GitHub
SNARKs
Supported by Web3 Foundation Grants
Featured by Neweconomy (Japanese)
Presented at DEVCON V, BUIDL ASIA 2019
Other Projects
Smart Contract Security
Contribution to the development of Vyper
Remix plugin for Vyper GitHub
FVyper: Formal Verification of Vyper contracts with KEVM GitHub
“https” in blockchain: Verifiable Formal Verification of Smart Contracts ethresearch
CBC Casper
CBC Casper simulator GitHub and Visualizer GitHub
SNARKs/STARKs
gram - A 64bit-TinyRAM simulator in Go GitHub
STARK simulation over the fibonacchi sequence using libstark GitHub
Layer2
Plasma MVP in Vyper GitHub, Blog (English), Blog (Japanese)
Non-attributable censorship attack on fraud-proof-based Layer2 protocols
Interoperability
Atomic swap
Members
osuke
nrryuya
minaminao
Alumni
dominik
mathetake
yudetamago
Zak
Zabeth
#LayerX