Crypto Gloss

Ethan Buchman

Ethan Buchman is a Canadian computer scientist and co-founder of both Tendermint (the consensus engine) and the Cosmos Network — a decentralized ecosystem of interoperable blockchains. Alongside Jae Kwon, Buchman co-designed Tendermint BFT (Byzantine Fault Tolerant) consensus, one of the most widely adopted consensus algorithms in blockchain development. He was also a key author of the Cosmos whitepaper, the Cosmos SDK, and the foundational design of the IBC (Inter-Blockchain Communication) Protocol. After the Cosmos Hub launched in 2019, Buchman went on to found Informal Systems, a research organization focused on formal verification of distributed systems — applying academic-grade rigor to blockchain protocol design.

Background

  • Education: University of Guelph — Biophysics; graduate work in distributed systems
  • Early career: Biophysics research, open-source software development; discovered Bitcoin in 2012
  • Key roles: Co-founder, Tendermint Inc.; Co-creator, Cosmos Network; CEO, Informal Systems
  • Philosophy: Long-term thinker focused on distributed systems correctness, ecological economics, and formal verification

Key Contributions

Tendermint BFT:

  • Co-designed the Tendermint BFT consensus engine with Jae Kwon — a classical BFT consensus implementation with deterministic finality optimized for permissioned validator sets
  • Tendermint became the consensus engine for the Cosmos Hub and hundreds of downstream Cosmos SDK chains (Osmosis, Terra, Binance Chain, Kava, etc.)
  • First described in Buchman’s 2016 MSc thesis “Tendermint: Byzantine Fault Tolerance in the Age of Blockchains”

Cosmos Whitepaper:

  • Co-authored the 2016 Cosmos whitepaper with Jae Kwon — laying out the vision for a “internet of blockchains” connected via IBC
  • The whitepaper proposed the Hub-and-spoke model for Cosmos, with the Cosmos Hub (ATOM) as the first chain

IBC Protocol:

  • Core contributor to IBC’s design and specification — the protocol enabling trustless cross-chain communication between any two Cosmos SDK chains
  • IBC launched on the Cosmos Hub in March 2021

Informal Systems:

  • Founded Informal Systems (2019) — a formally-incorporated cooperative focused on formal verification, distributed systems research, and protocol design
  • Developed Apalache — a symbolic model checker for verifying correctness of distributed protocols written in TLA+
  • Informal Systems became a key contributor to Cosmos Hub development continuing after Tendermint Inc. reorganized as Ignite

Timeline

  • 2012: Discovers Bitcoin; begins studying cryptography and distributed systems
  • 2014: Meets Jae Kwon; begins Tendermint development
  • 2016: Co-authors Cosmos whitepaper; Buchman’s MSc thesis formally describes Tendermint BFT
  • 2017: Cosmos ICO raises ~$17M in 30 minutes; Interchain Foundation established
  • 2019: Cosmos Hub (ATOM) mainnet launches; Buchman leads technical direction
  • 2019: Founds Informal Systems — formal verification lab for blockchain protocols
  • 2021: IBC goes live on Cosmos Hub; Buchman’s cross-chain vision becomes operational
  • 2022–2024: Informal Systems contributes to Interchain Security and CometBFT (Tendermint’s successor fork)

Common Misconceptions

“Ethan Buchman and Jae Kwon are the same story.”

Jae Kwon was the more public-facing co-founder and first CEO of Tendermint. Buchman was the deeper technical architect — authoring the formal MSc thesis on Tendermint BFT and taking a key role in the Cosmos SDK architectural decisions. After Kwon stepped back from day-to-day Cosmos work, Buchman remained active via Informal Systems.

“Informal Systems is the new Tendermint.”

Informal Systems is a separate, cooperative-structured research organization — not a direct rebrand. Tendermint Inc. became Ignite (later reorganized again). Informal Systems focuses on formal verification and protocol research, not developer tooling or chain launches.

Criticisms

  • Cosmos Hub’s slow growth: Despite IBC and the Cosmos SDK being widely adopted, the Cosmos Hub (ATOM) itself has underperformed relative to competing L1s in market capitalization — leading community debates about the Hub’s value proposition
  • ATOM 2.0 controversy: The ATOM 2.0 whitepaper (2022), which proposed major changes to ATOM supply and inflation, was rejected by governance — exposing tensions between core Cosmos builders and the wider community
  • Formal methods vs. shipping: Informal Systems’ focus on formal verification is sometimes criticized as too academic for crypto’s fast-moving development culture

Social Media Sentiment

Buchman is widely respected in the Cosmos community and among distributed systems researchers as a serious technical figure. His tone is academic and measured compared to most crypto builders. He commands genuine respect for the longevity and breadth of Cosmos ecosystem influence — Tendermint BFT powers chains representing tens of billions in collective market cap. Less active on social media than many in crypto.

Last updated: 2026-04

Related Terms

Sources

  1. “Tendermint: Byzantine Fault Tolerance in the Age of Blockchains” — Ethan Buchman MSc Thesis (University of Guelph, 2016). The definitive academic description of Tendermint BFT consensus.
  1. Cosmos Whitepaper — Kwon & Buchman (2016). The foundational document proposing the “internet of blockchains” architecture, the Hub-spoke model, and IBC cross-chain communication.
  1. Informal Systems: Formal Verification for Blockchains — informalsystems.org. Overview of Informal Systems’ research mandate, team structure, and projects — including Apalache (TLA+ model checker) and Cosmos Hub contributions.
  1. IBC Protocol Documentation — Interchain Foundation (ibc.cosmos.network). Technical reference for the Inter-Blockchain Communication Protocol — the cross-chain standard co-designed by Buchman.
  1. “The ATOM 2.0 Proposal and Its Rejection” — Cosmos Forum (2022). Community discussion and governance vote on the ATOM 2.0 whitepaper.