This project contains specifications and models of the shell's bootstrapping protocol (see Bootstrap_pipeline). Please see this project's readme for more information.
This project contains a specification and models of the shell's distributed database (see Distributed_db). Please see this project's readme for more information.
This project contains a specification and models of the shell's distributed database with selected parts abstract away to cut down on the size of the state space. Please see this project's readme for more information.
This project contains a high-level specification and models of the handshaking and bootstrapping processes.
This project contains a specification and models of the shell's mempool propagation and maintanence processes.