LayerX R&D Projects
Layer1 Security
Supported by Ethereum Foundation Grants (Annoucement at DEVCON V) Formal Verification of CBC Casper
Securiy Analysis of Ethereum 2.0
Posts at ethresear.ch
Featured by
Privacy
A trusted anonymization tool for any blockchain
Coming soon!
Zerochain: A privacy-preserving blockchain on Substrate
SNARKs
Other Projects
Smart Contract Security
Contribution to the development of Vyper FVyper: Formal Verification of Vyper contracts with KEVM GitHub “https” in blockchain: Verifiable Formal Verification of Smart Contracts ethresear.ch CBC Casper
SNARKs/STARKs
gram - A 64bit-TinyRAM simulator in Go GitHub STARK simulation over the fibonacchi sequence using libstark GitHub Layer2
Interoperability
Atomic swap
Members
Alumni