Sistemas informales, sistemas distribuidos verificables (de máquinas) y organizaciones (de humanos). Se centra en verificar formalmente los protocolos de Cosmos e implementarlos en Rust Language.
Visualizamos un ecosistema de código abierto de organizaciones distribuidas gobernadas y de propiedad cooperativa que se ejecutan en sistemas distribuidos confiables.
