Commit with Comet, Future of Cosmos Consensus

Comet Blog@2x

whitebg

Evmos logo

Stride logo

White

Axelar

thyborg-

Hyperspace-Hermes-features

Hyperspace-Hermes Comparison

Primitives traits

Hyperspace Architecture 

Hyperspace Diagram

hernán-vanzetto

luca-joss

manuel-bravo

matija-salopek

shawn-marshall-spitzbart

Injective bg

Injective logo

black background

shawn-rypstra

regen-bg

regen-logo

osmosis-bg

osmosis-logo

nomic-bg

nomic-logo

juno-bg

juno-logo

ixo-bg

ixo-logo

cosmos-bg

cosmos-logo

cheqd-bg

cheqd-logo

akash-bg

akash-logo

agoric-bg

agoric-logo

farhad-shabani

lasaro-camargos

matthew-mcgrath

This diagram illustrates the high-level flow of the Hermes packet relaying lifecycle.

Hermes Packet Worker Diagram

formal-model

interchain-security-timeline

interchain-security-diagram

interchain-security-v1

workflow

articles-of-incorporation-params

dev-update-formalization

apalache-update

model-testing

ceph

config-files

webinar

verifiable-orgs

logo-starkware

logo-regen

logo-osmosis

art-ibc

apalache-fancy

adi-seredinschi

andy-nogueira

anca-zamfir

aaron-wright

andrey-kuprianov

arianne-flemming

giuseppe-littera

daniel-cason

cezara-dragoi

gabriela-moreira

ethan-buchman

igor-konnov

jasmina-malicevic

ivan-gavran

greg-szabo

jehan-tremback

josef-widder

jon-sparks

jure-kukovec

marie-leaf

marius-poke

juan-beccuti

mikhail-zabaluev

mircea-colonescu

profile-placeholder

philippe-laferrière

paolo-dini

preet-singh

oshan-starreveld

raj-pakiyanathan

sergio-mena

rodrigo-otoni

romain-ruetschi

ranadeep-biswas

shoaib-ahmed

sean-chen

shonali-kagal

shon-feder

thomas-pani

Cosmos, meet CometBFT

Comparing the Hyperspace IBC Relayer with Hermes

The Hermes Relayer v1 Architecture

Formal Model

Replicated vs. Mesh Security

Interchain Scheduler Design Update

Announcing: Interchain security v0.1 Pre-Release

Cosmos and the Era of Community Computers

Building with Interchain Security

An Overview of Interchain Security v1

The Informal System: Introducing Workflow

Themis Update

Dev Update: Cosmos Protocol Design and Formalization

Dev Update: Apalache

Dev Update: Model-Based Testing

Informal Partners with Cephalopod Equipment Validator

Q3/Q4 2020 Technical Progress Update

Configuration Files in Terms of User Empowerment

Informal Organizations: Iterating on Cooperative Ownership

Q2 2020 Technical Progress Update

Q1 2020 Technical Progress Update

Webinar: The Past, Present & Future of Our Global Financial Systems. Enabling Transformation with Blockchains.

Introducing Informal Systems

Developer Relations Engineer

General Counsel

Marketing Lead

Business Intern

General Application

Agoric is the first proof of stake blockchain to utilize hardened JavaScript smart contracts. Zoe, another first of its kind innovation, provides “offer safety”, ensuring users get what they pay for or a full refund. ERTP is the token standard that treats fungible and non-fungible assets exactly the same.

Agoric

Informal Staking has been an active validator on Agoric since March 2022. The Agoric team are pioneers of smart contracts, with their work predating blockchains, and also helped to standardize and generalize the IBC protocol. Agoric is also working with Informal Systems using formal verification tools to improve software integrity.

Agoric uses a dual token system to “grease” the on-chain economy. BLD is the staking and governance token and the primary token backing Run Protocol. RUN is a stable local currency that is used to pay network fees.

Akash Network powers the “Unstoppable Cloud”. Akash is decentralized, permissionless, censorship-resistant and is aiming to rival AWS and other cloud service providers by providing a digital p2p marketplace for cloud compute resources.

Akash Network

Informal Staking has been an active validator for Akash Network since February, 2022. Here at Informal Staking we don’t consider current software solutions to be secure enough to build Web 3.0 infrastructure. Akash helps to solve this problem by providing a secure decentralized alternative to current cloud computing marketplaces.

Akash

AKT plays multiple roles for the Akash network. It is the gas staking and governance token for the network and is used for the cloud compute marketplace. AKT staking includes fees from the p2p marketplace.

Axelar Network aims to enable composability between blockchains,  dAPP users can interact with any asset/application on any chain.  Developers can build on their choice of platform that best suits their use case, however, they will have access to users, assets/applications in all other ecosystems.


Axelar Network

Informal Staking has been a validator on Axelar Network since October 2022.  Here at Informal Staking we believe that developers should have the ability to build on whichever platform best suits their application, while still having access to access to users, and assets/applications in other ecosystems.  Axelar Network aims to make this possible through a permissionless Proof-of-Stake transport layer.

AXL is the token that secures Axelar Network.  It is used for transaction fees, governance proposals, and to reward ecosystem builders and community contributors. Developers can build on their choice of platform that best suits their use case, however, they will have access to users, assets/applications in all other ecosystems.


Cheqd Network is an application specific blockchain powering a Self Sovereign Identity (SSI) platform. The Cheqd network enables digital trust, facilitates new business around SSI, and bridges DeFi to DID (Decentralized Identifiers) markets.

Cheqd Network

Informal Staking has been an active validator for Cheqd since November, 2021. Cheqd enables digital trust between people and organizations and is the first self sovereign identity solution in the Interchain. As one of the top validators for Cheqd we offer premium network security and are active in network governance.

Cheqd

The CHEQ token is used as a staking and governance token for the Cheqd blockchain. CHEQ is also used to monetize verifiable credentials and incentivize usage of the network.

Cosmos Hub was the first blockchain in the Interchain and is the only chain that upholds the core principles of the Cosmos vision. Cosmos Hub is dedicated to supporting the Interchain ecosystem.

Cosmos Hub


Informal Staking has been operating a Cosmos Hub validator since the genesis block in 2019 and continues to be an active network participant working to improve the utility of the Cosmos Hub and providing IBC relayer services. In our time as a validator for Cosmos Hub we have not been slashed and maintain 99.99% uptime.

The Cosmos Hub blockchain is powered by the ATOM, the gas, staking and governance token. ATOM is also used to bootstrap new networks and will be able to lease security to consumer chains following the Interchain Security upgrade.

Evmos is built using the Cosmos SDK.  It allows developers to have the features that they appreciate in Etherium while still benefiting from the aspects of Cosmos that increase their flexibility and interoperability such as Tendermint and IBC.


Evmos Network

Here at Informal Staking we believe that interoperability is a crucial part of the future of blockchains.  Evmos aims to be where EVM meets interchain composability.

Evmos

EVMOS is the token that secures the EVMOS Network.  It is used to participate in governance proposals and to pay developers and network operators for their services.

The Ixo Protocol is the foundation for building an internet of impact that supports sustainable social, environmental and economic developments. Ixo is building a global digital immune system for humanity.

IXO Protocol

Informal Staking has been operating a validator for the IXO Impact Hub since September, 2021. Here at Informal Staking we believe that blockchains enable more sustainable economies that will lead to new forms of economic and social coordination and the Impact Hub provides a platform for economic and social innovation.

IXO powers the tokenized impact economy by securing the Impact Hub through staking and functions as the fee token for the IXO blockchain.

Injective is a layer one blockchain built for finance.  It is interoperable, fast, and aims to power the next generation in DeFi applications, including decentralized spot and derivatives exchanges, prediction markets, and lending protocols.


Injective Network

Informal Staking has been a validator for Injective since November 2022.   At Informal Staking, we believe that blockchains can be used to enable the decentralization of finance-based applications.  This will hopefully contribute to more sustainable and transparent economies in the future.  Injective provides a finance-specific layer-1 blockchain for developers to build on. 

Injective

INJ is the native utility token of Injective. INJ is a scarce asset that is used for governance, token burn auctions, and staking on the PoS network. 60% of fees generated through dApps are put into an on-chain buy-back-and-burn auction used to maintain the deflationary nature of INJ.   40% of fees generated by users on dApps built on Injective go directly towards incentivizing new developers building on Injective!


Juno is a decentralized, permission-less, censorship resistant smart contract platform offering an open-source sandbox environment for developers to deploy smart contracts using CosmWasm. Juno utilizes IBC to enable interoperability with the Interchain ecosystem, from token transfers to smart contract calls.

Juno Network

Informal Staking has been an active Juno validator since the Juno launch on October 2021. Juno is an innovation by the community and became the first blockchain to implement CosmWasm 1.0 which introduced IBC enabled smart contracts. As innovators of the Interchain, we support Juno as a pioneer of fully interoperable smart contracts.

Juno

JUNO is the gas, staking and governance token for the Juno Network. JUNO is required to pay for fees when interacting with smart contracts and sending tokens on the Juno blockchain. JUNO also serves as the base pair for JunoSwap, the on-chain Interchain Automated Market Maker (AMM).

The Nomic blockchain secures the Nomic Bitcoin bridge – the first decentralized and permissionless bridge bringing BTC into the Interchain ecosystem. Nomic is a custom proof of stake blockchain developed using Rust running on top of Tendermint.

Nomic Bitcoin Bridge

Informal Staking has been an active validator for Nomic since April, 2022. The Nomic Bitcoin bridge is a custom developed blockchain designed specifically to bring BTC to the Interchain. We view BTC as central to the future of the decentralized cryptocurrency economy, and Nomic offers a novel and unique bridging protocol to enable Bitcoin transactions in the Interchain.

Nomic

Nomic has two tokens. NOM is the staking token used to secure and govern the Nomic Bitcoin bridge, as well as the fee token required to pay network fees. The second token on Nomic is nBTC, a 1:1 wrapped token of BTC on the Nomic blockchain.

Osmosis is a highly advanced and experimental AMM protocol developed using the Cosmos SDK. Beyond tools for DeFi, Osmosis is also leading the way for DeFi to ReFi (“Regenerative Finance”) as the first ever blockchain to go carbon neutral using completely on-chain methods.

Osmosis AMM

Informal Staking has been an active validator and main IBC relayer operator for Osmosis since the genesis block on June 2021. Osmosis has become an economic hub in the Interchain continuing to innovate and push the limits of what IBC is capable of, with the Hermes relayers supporting the highest volume channels in the ecosystem.

Osmosis

OSMO holds multiple roles in the Osmosis ecosystem. OSMO is a staking and governance token, liquidity mining incentive, staking reward token, and provides a base pair for Osmosis AMM Liquidity Pools. Osmosis supports a novel “superfluid staking” mechanism that allows OSMO in liquidity pools to be used to secure the chain.

Regen Ledger is the world’s first publicly-verifiable blockchain ledger designed to combat climate change by focusing on ecological health and regenerative finance. Regen Ledger was developed using Tendermint and the Cosmos SDK with some modifications, such as the eco-credit module.

Regen Ledger

Informal Staking has been an active validator for Regen Network since the genesis block in March, 2022. Regen was the second network that Informal Staking joined after the Cosmos Hub. We support Regen as pioneers of the DeFi to ReFi movement.

Regen

REGEN is the gas, staking and governance token for the Regen Ledger. The REGEN token also serves utility for eco-credit basket creation and the buying/selling of eco-credits.

Stride aims to provide liquid staking to all chains in the Cosmos ecosystem.  It is a liquid staking zone allowing delegators to earn their staking yield while earning additional yield through lending, LPing, and more.  When you stake with stride you will receive “stTokens”.   These can be traded, and redeemed for your original tokens at any time!


Stride Network

Informal Staking has been a validator on Stride Network since November 2022.  Here at Informal Staking we believe in a responsible approach to liquid staking.  The team at stride is not only the first liquid staking protocol available in Cosmos, but they also have had the most number of security audits. 


Stride

STRD is the token that secures the Stride network.  It is used as a token to vote on governance proposals.  stTokens are the functional token used to take advantage of the Stride liquid staking process.  Stride aims to have stTokens available for every Cosmos chain using IBC V3 in the future. 
