Hub Monthly Update - March 2024

Hub Monthly Update - February 2024

Informal as a Business: Recap & Outlook

Tendermint algorithm logo

The latest view on Tendermint's responsiveness

Comet-Dark

Intro to ABCI v2 (aka ABCI++)

Introducing Proposer-Based Timestamps (PBTS) in CometBFT

Hub Monthly Update — January 2024

CometBFT Engineering Update — January 2024

Learning to Live with “Unbonding Pausing”

Model-Based Testing for the Cosmos Hub

IBC Engineering Update: December 2023

CometBFT Engineering Update: December 2023

Informal Systems' Hub Team: Year-End Recap

Cosmos Hub Update: Q4 2023

Reflecting on our CometBFT 2023 Journey: A Retrospective

Paving the Way for a V1 Release of ibc-rs

CometBFT v1 Alpha Release

CometBFT Engineering Update: October 2023

FAQ Informal Hypha Proposal 839

CometBFT Engineering Update: Q3 Wrapped Up, & Q4 Priorities

Cosmos Hub Update: September 2023

CometMock

Cosmos Hub Engineering Update August 2023

Intro to IBC-rs

Atomic IBC

Stride Relaying Issue Post Mortem

818 Post Mortem

Cosmos Hub Engineering Update: July 2023

Releasing Hermes v1.6

Cosmos Hub Engineering Update: June 2023

Cosmonaut observing Comet

CometBFT Engineering Newsletter: May Updates!

Cosmos Hub Engineering Update for May 2023

Finer-Grained Control Over Hermes' Performance with v1.5

Informal Systems Cosmos Hub Living Roadmap

Hub Engineering Update for April & May 2023

Informal Systems Helps Launch the Cosmos Ecosystem’s First Consumer Chain

Intro to CometBFT QA for v0.34

A History of Informal Systems — Informal & Cosmos

CometBFT Priorities for 2023 Q2

Cosmos Hub Team March 2023 Update

A History of Informal Systems — Origins

Governance Proposal Spam

Late Payment

Cosmos Hub Team February Update

The Invoice

Is Namada’s Cubic Proof-of-Stake Secure?

Informal Hub Team Jan 2023 update

Governance-Gated vs. Automatic Equivocation Slashing

Commit with Comet, Future of Cosmos Consensus

Comet Blog@2x

Cosmos, meet CometBFT

Hyperspace Architecture 

Comparing the Hyperspace IBC Relayer with Hermes

The Hermes Relayer v1 Architecture

Replicated vs. Mesh Security

Interchain Scheduler Design Update

interchain-security-timeline

Announcing: Interchain security v0.1 Pre-Release

Cosmos and the Era of Community Computers

interchain-security-diagram

Building with Interchain Security

interchain-security-v1

An Overview of Interchain Security v1

workflow

The Informal System: Introducing Workflow

articles-of-incorporation-params

Themis Update

dev-update-formalization

Dev Update: Cosmos Protocol Design and Formalization

model-testing

Dev Update: Apalache

apalache-update

Dev Update: Model-Based Testing

ceph

Informal Partners with Cephalopod Equipment Validator

Q3/Q4 2020 Technical Progress Update

config-files

Configuration Files in Terms of User Empowerment

Informal Organizations: Iterating on Cooperative Ownership

Q2 2020 Technical Progress Update

Q1 2020 Technical Progress Update

webinar

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

verifiable-orgs

Introducing Informal Systems

Cosmos Logo

Late Payment

The Invoice

Subscribe to Blog Updates

Links