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 

Hyperspace Diagram

Primitives traits

Hyperspace-Hermes Comparison

Hyperspace-Hermes-features

Comparing the Hyperspace IBC Relayer with Hermes

The Hermes Relayer v1 Architecture

Formal Model

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

About Us 1

About Us 2

About Us 3

About Us 4

value-icon-play

value-icon-think

value-icon-dance

value-icon-love

value-icon-serve

value-icon-own

value-icon-challenge

our-work-verifiable

our-work-systems

our-work-organizations

Cosmos Logo

bg-galaxy

Floating Heads

Cephalopod

art-security-audits

apalache-fancy

art-ibc

logo-osmosis

logo-regen

logo-starkware

Services / Security Audits / Automated Analysis

Services / Security Audits / Expert Review

An Overview of Interchain Security v1

Start your career with Informal Systems

Links

An Overview of Interchain Security v1

Subscribe to Blog Updates

Start your career with Informal Systems

Links