1/ Today we announce the launch of CometBFT, a state machine replication engine for the interchain!

CometBFT is a fork and successor of Tendermint Core, stewarded by @informalinc and supported by @interchain_io on behalf of the wider @cosmos 2/ Numerous teams in the interchain have been hard at work these past few weeks to prepare the launch of CometBFT. We decided to develop the flagship Cosmos consensus engine under this new name to mark multiple important changes sweeping across the @cosmos.

1/ Informal has been stewarding the Tendermint Core repo (github.com/tendermint/ten…) on behalf of @interchain_io. This repo has been a central element of the @cosmos stack - its BFT consensus engine.

Today we announce a new chapter in the lifecycle of this critical piece of infra 2/ TL;DR: Informal will maintain this consensus implementation under a new name, on a fork of the original repository!

This is an important decision, please read carefully. Some reasons that motivate our choice follow:

1/ Collaborative Finance (CoFi) is a vision for improving sustainability and reducing systemic risk between & within economies. At Informal, we’ve been working diligently towards realizing this vision.

cofi.informal.systems 2/ This week, we’ll share why we believe CoFi is the answer to grappling with an increasingly turbulent and unsustainable financial system.

Ready? Let’s jump in! 👇

First: What is CoFi? 🤝

1/ At Informal, we’ve been heads down preparing for Interchain Security launch in January 2023!

Over the coming months, we will welcome the first few consumer chains to the @cosmoshub – all of which will provide valuable services to @cosmos.

Who are they? Let’s dig in! ✨✨ 2/ First up: @Neutron_org, a permissionless smart contract platform that leverages @CosmWasm & which will allow developers to deploy their decentralized applications seamlessly!

Learn more about them here👇

https://twitter.com/Neutron_org/status/1585352262142263296

1/ Today, we are excited to share an overview of the first version of Interchain Security to launch in @cosmos. @cosmos 2/ Interchain Security will allow anyone to launch a blockchain using the robust and secure validator set of the @Cosmos Hub by making a governance proposal!

1/ Apalache is Informal’s symbolic checker for #tlaplus that checks your specifications by solving constraints instead of enumerating states. informal.systems/2021/03/08/apa… 2/ How does it work? Apalache translates TLA+ specs using SMT solvers to reason about states & transitions in terms of logic, rather than in terms of individual states & transitions. apalache.informal.systems

1/ v0.2 of Hermes, our @rustlang relayer built for IBC connected blockchains is out - now with experimental support for relaying on multiple channels and multiple chains! github.com/informalsystem… @rustlang 2/ A couple of months ago we unveiled Hermes to the world:

https://twitter.com/informalinc/status/1358900949570514944

1/ Shared security is coming to the @cosmos Hub in 2021. What does this mean? github.com/informalsystem…

https://twitter.com/sunnya97/status/1360260658193969153

@cosmos 2/ On Feb18 #IBC will land on the Hub which will enable communication between independent chains & support new kinds of cross chain functionality to be rolled out over the coming months and years.