Iniciar sesión

Informal Systems

Sistemas y organizaciones distribuidos verificables.

DAO Development

Informal Systems

DAO Development

Resumen

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.

Miembros del equipo

Ingeniero de investigación en Informal Systems.

Adi Seredinschi

Líder de producto en Informal Systems.

Sean Braithwaite

Cofundador y CEO de Mekatek.

CTO de Tendermint.

Cofundador y director de tecnología de LazyLedger.

Portafolio

CypherHunter Plus

Access hyper-relevant news and analysis for the crypto markets.

Distraction-free reading. No ads.
Unprecedented access to our data.
Organize your knowledge with lists and highlights.
Exclusive news and analysis across crypto fundraising.

Already a subscriber? Log in

Patrocinadores

Inversor líder en el ecosistema blockchain.

Fondo de Inversión Blockchain.

Firma de inversión global y multiestrategia centrada en las criptomonedas y las finanzas abiertas.

CypherHunter Plus

Subscribe to distraction-free reading, and unprecedented access to our data.

También vieron

Empresa japonesa de identidad digital que utiliza tecnología blockchain.

El líder mundial en Bitcoin y tecnología blockchain.

API & Infrastructure Services for Next-Gen Proof of Stake Blockchain Networks.

Contratos inteligentes

Conecte contratos inteligentes a sus aplicaciones y datos.

Descubre ecosistemas