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

daniel-tisdall

giuseppe-littera

daniel-cason

cezara-dragoi

gabriela-moreira

ethan-buchman

igor-konnov

jasmina-malicevic

ivan-gavran

greg-szabo

jehan-tremback

jelena-djuric

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

tesnim-abdellat

tesnim-abdellatif

soares-chen

simon-noetzlin

thane-thomson

tomaž-fleischman

zarko-milosevic

tolulope-fakeye

our-work-organizations

our-work-systems

our-work-verifiable

value-icon-challenge

value-icon-own

value-icon-serve

value-icon-love

value-icon-dance

value-icon-think

value-icon-play

About Us 4

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

Core Engineer

Developer Relations Engineer

General Counsel

General Application

Senior Software Engineer @ Regen

Business Development Lead

Principal Research Engineer

Developer Relations, Cosmos Hub @ Interchain

Software Engineer

Hub Lead, Cosmos Hub @ Interchain

Local Currency Developer

Research Engineer

Chief Scientist

Integration / Cosmos Hub

Cosmos Security Engineer

Infrastructure Engineer

Principal Scientist

Talent & People Ops Manager

@Ethernal

Software Engineer, Cosmos Hub @ Interchain

Finance Assistant

Design

Community Manager

Infrastructure & Security Lead

Senior Software Engineer @ IG

Engineering Manager @ IG

Product Marketing Manager

Product Lead

Senior UX/UI Engineer

Research Scientist (Part-Time)

Hub Strategy, Cosmos Hub @ Interchain

Finance & Admin Manager

Validator BizDev

Project Lead

Product Manager - Local Money

Software Engineer / Developer Advocate

Operations Manager

Site Reliability Engineer

Frontend Developer, Cosmos Hub @ Interchain

About Us 1

About Us 2

About Us 3

Cosmos Logo

bg-galaxy

Floating Heads

Cephalopod

art-security-audits

Services / Security Audits / Automated Analysis

Services / Security Audits / Expert Review