Log inSign up
Informal Systems
3,136 posts
user avatar
Informal Systems
@informalinc
Fostering trust in software & money. Building @quint_lang, an executable spec language and @cyclesmoney, a clearing protocol for capital efficient finance.
informal.systems
Joined December 2019
692
Following
42.6K
Followers
  • user avatar
    Informal Systems
    @informalinc
    Feb 1, 2023
    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
    215K
  • user avatar
    Informal Systems
    @informalinc
    Feb 2, 2022
    1/ Today, we are excited to share an overview of the first version of Interchain Security to launch in @cosmos.
    00:00
  • user avatar
    Informal Systems
    @informalinc
    May 9, 2022
    1/ Interchain Security is coming to @cosmos.✨✨✨
    00:00
  • user avatar
    Informal Systems
    @informalinc
    Aug 11, 2022
    1/ Today, we are excited to announce the v0.1 pre-release of Interchain Security! This milestone gets us closer to the feature launch of Interchain Security on the @cosmos Hub! ✨✨✨ informal.systems/2022/08/11/int…
    00:00
  • user avatar
    Informal Systems
    @informalinc
    Mar 14, 2024
    Do you think Informal is just a core dev business funded by the ICF? Think again. 2023 was a major transition year for us 🧵
    20K
  • user avatar
    Informal Systems
    @informalinc
    Feb 12, 2024
    What if the Hub became a security aggregator, attracting billions in security from across the crypto space? We are happy to introduce the @Bitcoin @babylon_chain x @cosmoshub integration! (Forum post in last tweet - don't miss out)
    155K
  • user avatar
    Informal Systems
    @informalinc
    Nov 21, 2022
    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! ✨✨
    00:00
  • user avatar
    Informal Systems
    @informalinc
    Nov 25, 2021
    1/ Interchain Security is coming to the @cosmos Hub SOON™️. @JTremback shares his reflections on what this means for delegators. informal.systems/2021/11/25/int…
  • user avatar
    Informal Systems
    @informalinc
    Jan 16, 2024
    Replying to @informalinc
    .@ComposableFin already expanded IBC to @polkadot and will soon encompass @NEARProtocol, @ethereum, and even @solana! Cosmos' universal applicability knows no borders.
    The first Solana IBC connection will soon be realized through Picasso
    From medium.com
    13K
  • user avatar
    Informal Systems
    @informalinc
    Jan 12, 2023
    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
    GitHub - tendermint/tendermint: ⟁ Tendermint Core (BFT Consensus) in Go
    From github.com
    112K
  • user avatar
    Informal Systems
    @informalinc
    Aug 12, 2025
    Big milestone for Informal! Malachite is joining Circle to build Arc, a new Layer-1 for stablecoin finance. Proud to see our high-performance BFT consensus engine moving from incubation to real-world impact.
    user avatar
    Circle
    @circle
    Aug 12, 2025
    Introducing Arc, the home for stablecoin finance. @arc is an open Layer-1 blockchain purpose-built to drive the next chapter of financial innovation powered by stablecoins. Designed to provide an enterprise-grade foundation for payments, FX, and capital markets, Arc delivers
    00:00
    66K
  • user avatar
    Informal Systems
    @informalinc
    Jun 7, 2023
    Honoured to be working with great partners as we enter a new commercial phase of Informal 💫 Our mission is to leverage interchain tech to transform the quality standards of software, money, & organizations. Keep an eye on Informal Security and CoFi 🚀
    Informal Systems raises $5.3 million in first funding round
    From theblock.co
    56K
  • user avatar
    Informal Systems
    @informalinc
    Dec 6, 2022
    1/ Informal is building a @cosmos chain to connect crypto to the real world. While most of crypto is obsessed with providing liquidity, we believe liquidity is something that needs to be saved. But what does liquidity-saving mean exactly? Let’s explain 👇
  • user avatar
    Informal Systems
    @informalinc
    Jan 28, 2022
    ✨✨ For the @financialpost, @buchmanster shares his vision for the future of @cosmos and blockchains. financialpost.com/fp-finance/cry… x.com/informalinc/st…
    user avatar
    Informal Systems
    @informalinc
    Jan 26, 2022
    ✨ For @the_logic, Informal CEO and @cosmos co-founder @buchmanster discusses the vision for @cosmos, and the principles driving the development of local, sovereign, interoperable networks. ✨ "Buchman has a different story he wants to tell about blockchain technology..."

New to X?

Sign up now to get your own personalized timeline!

Create account

By signing up, you agree to the Terms of Service and Privacy Policy, including Cookie Use.

Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
Don't miss what's happening
People on X are the first to know.
Log inSign up