10. Říjen 2019
The CBC Casper roadmap is a plan to implement Proof-of-Stake and Sharding for Ethereum using “correct-by-construction” (CBC) software design methodology. This talk will share new CBC Casper research, including specifications for light clients, liveness and sharding. It will include updates on formal verification and engineering efforts, and a roadmap for (eventual) release.
Next generation programming platform for decentralized applications.
Pro uložení prezentace do věčného trezoru hlasovalo 0 diváků, což je 0.0 %
Prezentace na podobné téma, kategorii nebo přednášejícího