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

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

Start your career with Informal Systems

Links

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

Subscribe to Blog Updates

Start your career with Informal Systems

Links