LayerX R&D Projects
Research Topics
1. Formal methods
Formal verification of programs, cryptographic protocols and distributed algorithms.
Projects
FVyper
Casper CBC in Isabelle
Team: nrryuya.icon yudetamago.icon
2. Zero knowledge proof
Development of libraries or tools of ZK proof system (SNARKs STARKs)
Projects:
zero-chain
People: osuke.icon
3. Smart contract programming
Smart contract language design (especially Vyper) and development of dev-tools.
Projects:
FVyper
Remix plugin for Vyper
Team: nrryuya.icon yudetamago.icon
Projects
Casper CBC in Isabelle
Goal: Formal verifiation of Casper CBC using Isabelle/HOL
GitHub: cbc-casper-proof
Zero chain
Goal: Develop a new ZK-friendly blockchain using substrate
GitHub zero-chain
FVyper
Goal: Develop a collection of useful Vyper contracts based on formal methods (KEVM)
GitHub verified-vyper-contracts
Previous projects
Plasma MVP in Vyper
Formal verification of Plasma contracts
gram - A 64bit-TinyRAM simulator in Go
“https” in blockchain: Verifiable Formal Verification of Smart Contracts
STARK simulation over the fibonacchi sequence using libstark
#LayerX