Informal Systems Logo
All36
Cosmos23
Engineering20
Research11
CoFi4
Cooperative7
Subscribe to blog updates to get notified of new posts

Informal Systems Cosmos Hub Living Roadmap

Hub Engineering Update for April & May 2023

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

  • 2023-04-11
    Date
  • Jehan Tremback
    Author
  • Cosmos
    Tags

A History of Informal Systems — Origins

Governance Proposal Spam

  • 2023-03-14
    Date
  • Jehan Tremback
    Author
  • Cosmos
    Tags

Late Payment

  • 2023-03-13
    Date
  • Patrick Fitzgerald
    Author
  • CoFi
    Tags

Cosmos Hub Team February Update

  • 2023-03-08
    Date
  • Jehan Tremback
    Author
  • Cosmos
    Tags

The Invoice

  • 2023-03-07
    Date
  • Patrick Fitzgerald
    Author
  • CoFi
    Tags

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

Informal Hub Team Jan 2023 update

  • 2023-02-21
    Date
  • Jehan Tremback
    Author
  • Cosmos
    Tags

Governance-Gated vs. Automatic Equivocation Slashing

  • 2023-02-13
    Date
  • Jehan Tremback, Josef Widder
    Author
  • Research, Cosmos
    Tags

Cosmos, meet CometBFT

  • 2023-02-01
    Date
  • Adi Seredinschi, Thane Thomson
    Author
  • Cosmos
    Tags

Comparing the Hyperspace IBC Relayer with Hermes

The Hermes Relayer v1 Architecture

  • 2022-11-09
    Date
  • Sean Chen, Adi Seredinschi
    Author
  • Engineering
    Tags

Replicated vs. Mesh Security

Interchain Scheduler Design Update

  • 2022-10-24
    Date
  • Juan Becutti, PhD, Sergio Mena, PhD, Marius Poke, PhD, Josef Widder, PhD, Jehan Tremback
    Author
  • Engineering, Cosmos
    Tags

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

  • 2022-01-25
    Date
  • Ethan Buchman, Arianne Flemming
    Author
  • Cooperative
    Tags

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

  • 2021-01-24
    Date
  • Ethan Buchman
    Author
  • Cosmos
    Tags

Configuration Files in Terms of User Empowerment

Informal Organizations: Iterating on Cooperative Ownership

  • 2020-09-21
    Date
  • Arianne Flemming, Ethan Buchman
    Author
  • Cooperative
    Tags

Q2 2020 Technical Progress Update

Q1 2020 Technical Progress Update

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

  • 2020-02-27
    Date
  • Informal Systems, Penrose Partners
    Author
  • Cosmos
    Tags

Introducing Informal Systems

  • 2020-02-24
    Date
  • Ethan Buchman, Arianne Flemming
    Author
  • Cooperative
    Tags

Subscribe to Blog Updates

Informal Systems Logo
Our R&D powers and secures the Interchain.
Visit us on Github
Visit us on Github
Visit us on Twitter
Visit us on Twitter
Visit us on LinkedIn
Visit us on LinkedIn

Links