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

A trusted anonymization tool for any blockchain

Coming soon!

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 ethresear.ch

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

Alumni