Open in app
Sign inGet started
CBC Casper and formal verification

CBC Casper and formal verification

This is Ryuya (Twitter: veryNR) from the LayerX R&D team. We published our first paper on our work on CBC Casper: “Refinement and…
Go to the profile of Ryuya Nakamura
Ryuya Nakamura
Announcing Zerochain: Applying zk-SNARKs to Substrate

Announcing Zerochain: Applying zk-SNARKs to Substrate

The first account-based blockchain for privacy-preserving
Go to the profile of Osuke
Osuke
Standard Sharing Economy Protocol for Smart Contract

Standard Sharing Economy Protocol for Smart Contract

Blockchain is a good target to establish sharing economy, because the lessor and lessee can connected each other without any intermediates…
Go to the profile of tak
tak
How to reduce gas cost in Solidity

How to reduce gas cost in Solidity

Gas efficiency tend to be low prioritized in most of the case. Since many projects pay attentions on security or cording readability. This…
Go to the profile of tak
tak
LayerX joins the Cryptorealty project

LayerX joins the Cryptorealty project

As presented in the August 30th 2018 PR, LayerX Inc. (noted as LayerX) and tsukuruba Inc. (noted as tsukuruba) will be partners in the…
Go to the profile of Kazuki Yamaguchi (yamarkz)
Kazuki Yamaguchi (yamarkz)
Plasma MVP Implementation In Vyper

Plasma MVP Implementation In Vyper

Ryuya Nakamura(@veryNR)and Osuke Sudo( @zoom_zoomzo) from LayerX R&D Team implemented Minimal Viable Plasma in Vyper, a smart contract…
Go to the profile of Ryuya Nakamura
Ryuya Nakamura
About LayerXLatest StoriesArchiveAbout MediumTermsPrivacyTeams