151 posts
Third Party
Quint Deserves Rust
Why we're rewriting Quint's simulator in Rust for improved performance and more comprehensive testing.
Third Party
Expanding Horizons: Looking Into 2025
Informal Systems' 2025 strategy focuses on three pillars: Partner, Invest, and Incubate across ecosystems.
Third Party
The Most Flexible Consensus API in the World
Deep dive into Malachite's core consensus API design enabling extreme flexibility for decentralized applications.
Third Party
Malachite: Decentralize Whatever
Open-sourcing Malachite, a flexible BFT consensus engine in Rust with high performance and reliability.
Third Party
CometBFT DOG Protocol Reduces Mempool Bandwidth by 2.5x
Dynamic Optimal Graph gossip protocol cuts transaction redundancy and improves consensus.
Third Party
Model-Based Testing Neutron's Liquidity Pool Migration with Quint
Using Quint for model-based testing to discover critical bugs in Neutron's $23M liquidity pool migration.
Third Party
Skip to Reunite the Cosmos Hub and Stack
Supporting Skip's unified leadership role for Cosmos Hub while Informal transitions to broader ecosystem focus.
Third Party
Announcing the Cycles Whitepaper
Introducing Cycles, a peer-to-peer electronic clearing system designed to clear the most debt with least money.
Third Party
Cosmos Hub September 2024 Update Key Upgrades and ICS Advancements
September 2024 Cosmos Hub developments including v19.2 emergency upgrade, Gaia v20 completion, and Hydro progress.
Third Party
Gaia v20 Upgrade Easier Entry to Cosmos with Permissionless ICS
Gaia v20 introduces Permissionless ICS, inactive validator support, and unbonding pause removal for easier entry.
Third Party
Cosmos Hub August 2024 Update: v19 Upgrade, ICS Progress, and Hydro Launch
August 2024 Cosmos Hub developments including v19 upgrade, Gaia v20 progress, and Hydro launch preparations.
Third Party
Everything You Need to Know About the Cosmos Hub v19 Upgrade
Cosmos Hub v19 upgrade integrates latest Interchain Stack versions including Cosmos SDK v0.50 and IBC v8.4.0.
Third Party
Cosmos Hub Update July 2024: Forge, Hydro & New ICS Features
July 2024 Cosmos Hub developments including Forge launch, Hydro progress, and new ICS feature implementations.
Third Party
Interchain, meet Starknet
Building Starknet's Decentralized Sequencer with Malachite Consensus.
Third Party
CometBFT: Spam Mitigations and Mempool Improvement Plans
CometBFT Spam Mitigation Strategies and Quality of Service Updates.
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.