167 posts
Third Party
Cosmos Hub Update June 2024: Gaia v17 Upgrade, ICS Advancements & Hydro Progress
Cosmos Hub v17-v19 upgrades featuring ICS Launchpad and Babylon Bitcoin security.
Third Party
Cosmos Hub Update May 2024: Gaia v16, v17, v18 Integration & ICS Advancements
Cosmos Hub v16-v18 upgrades featuring PSS, CosmWasm, and ATOM Wars liquidity.
Third Party
Cosmos Hub Update - April 2024
Cosmos Hub v16-v18 upgrades featuring PSS, CosmWasm, and ATOM Wars liquidity.
Third Party
ABCI v2 Unlocks Decentralized Oracles and Cross-Chain Coordination
Technical examples of CometBFT vote extensions enabling new blockchain features.
Third Party
Hub Monthly Update - March 2024
Cosmos Hub v15 SDK upgrade plus ICS epochs and Megablocks parallel execution.
Third Party
Hub Monthly Update - February 2024
Cosmos Hub v15 testnet plus LSM SDK v0.50 upgrade and Babylon Bitcoin staking.
Third Party
Informal as a Business: Recap & Outlook
How we diversified from Cosmos R&D into security audits, staking, and Cycles.
Third Party
The Latest View on Tendermint's Responsiveness
Technical analysis proving Tendermint achieves responsive consensus timing.
Third Party
ABCI v2 Interface Unlocks Advanced CometBFT Application Control
How ABCI v2 enables vote extensions and optimistic execution in CometBFT.
Third Party
Introducing Proposer-Based Timestamps (PBTS) in CometBFT
How PBTS replaces BFT Time to enable signature aggregation and better light clients.
Third Party
CometBFT v1 Development Progress and January 2024 Engineering Updates
Monthly development recap covering PBTS progress and security patch releases.
Third Party
Hub Monthly Update — January 2024
Gaia v15 integration, ICS v4 release, PSS ADR, and oversight kickoff.
Third Party
Learning to Live with “Unbonding Pausing”
Technical analysis of VSCMaturedPackets and light client security constraints.
Third Party
Obligation-Clearing Algorithm Design 101
This post is an introductory overview of the core graph algorithm behind Cycles Protocol.
Third Party
Model-Based Testing Keeps Cosmos Hub Specifications Synchronized with Code
How Quint models prevent specification drift in Interchain Security development.
Third Party
IBC Engineering Update: December 2023
December 2023 updates on IBC relayer improvements and ibc-rs development.
Third Party
CometBFT v1 Alpha 2 Progress and December 2023 Engineering Updates
PBTS development prioritization and storage optimization work in latest release.
Third Party
Holiday protocols: Secret Santa with Quint 🎅
A fun exploration of drawing strategies for Secret Santa and their properties using Quint. Walk through specifying the game, comparing the redraw vs. reset strategies, and discover why redrawing isn't safe enough to keep Santas secret.
Third Party
Holiday protocols: Secret Santa with Quint 🎅
A fun exploration of drawing strategies for Secret Santa and their properties using Quint. Walk through specifying the game, comparing the redraw vs. reset strategies, and discover why redrawing isn't safe enough to keep Santas secret.
Third Party
Cosmos Hub 2023 Recap - Replicated Security Launch and LSM Integration
cosmos-hub-recap, replicated-security, neutron-launch, stride-migration, liquid-staking-module, model-based-testing, cosmos-governance, interchain-security, comet-mock, cosmos-development
Third Party
Cosmos Hub Q4 2023 Development - Cryptographic Verification and SDK Upgrades
Quarterly update covering Gaia v14 upgrade and Partial Set Security design.
Third Party
Reflecting on our CometBFT 2023 Journey: A Retrospective
Annual review of vote extensions, storage optimization, and v1 pre-release.
Third Party
IBC-rs V1 Release Preparation - Modular Architecture and Dependency Restructuring
How ADR 008 restructuring enables selective imports and CosmWasm integration.
Third Party
CometBFT v1 Alpha Release - Bandwidth Optimization and Data Companion API
Major milestone featuring protobuf versioning and mempool improvements.
Third Party
An Introduction to MTCS
How Multilateral Trade Credit Set-off reduces liquidity needs in B2B obligation networks.
Third Party
CometBFT v1 Alpha Development and October 2023 Engineering Progress
Monthly update covering bandwidth optimization and experimental release strategy.
Third Party
FAQ Informal Hypha Proposal 839
FAQ on the Informal and Hypha Cosmos Hub Funding Proposal 839.
Third Party
CometBFT Q3 Recap - ABCI 2.0 Release and Storage Optimization Progress
Quarterly update covering bandwidth experiments and Q4 v1 release planning.
Third Party
Cosmos Hub Update: October 2023
V12 upgrade, V13 release cut, Gaia SDK 47 upgrade, and more!
Third Party
CometMock Accelerates Cosmos Testing with 90% Faster End-to-End Tests
Mock consensus engine enables time manipulation and validator behavior simulation.