LayerX R&D Projects
Research Topics
CBC Casper
Formal verification of programs, cryptographic protocols and distributed algorithms.
Casper CBC in Isabelle/HOL
CBC Casper simulator GitHub
Visualizer GitHub
Team: nrryuya.icon dominik.icon
Zero-chain
Develop a new ZK-friendly blockchain using substrate
GitHub
People: osuke.icon
Previous projects
Vyper
Plasma MVP in Vyper GitHub
Remix plugin for Vyper GitHub
Formal verification of smart contracts
FVyper GitHub (progress: 40%)
Formal verification of Plasma contracts GitHub (progress: 20%)
“https” in blockchain: Verifiable Formal Verification of Smart Contracts ethresearch
Dev tools for SNARKs/STARKs
gram - A 64bit-TinyRAM simulator in Go GitHub
STARK simulation over the fibonacchi sequence using libstark GitHub
#LayerX