167 posts
Third Party
Protocol Berg 2025 Insights on Future Development Trends
Key takeaways from Protocol Berg 2025 on UX, decentralization, and emerging security practices.
Third Party
Apex Fusion Cross-Chain Bridge Security Audit
Our security audit of Apex Fusion's multi-chain bridge analyzes BFT consensus mechanisms.
Third Party
Celestia CIP-31 Vesting Mechanism Security Audit
Security review validates lockup account implementation and reward distribution logic.
Third Party
Espresso HotShot Epoch Changes in Quint
How we used Quint to formalize Espresso's epoch change protocol with executable specifications.
Third Party
Malachite Consensus Engine 2025-2026 Roadmap
High-performance consensus engine roadmap: 10x throughput and 30% latency reduction.
Third Party
Our Security Audit Process Explained
How Informal Systems conducts blockchain security audits using threat modeling and formal verification.
Third Party
Quint Launch Event Follow-Up Q&A and Recap
Recap of our Quint launch event with community Q&A covering formal methods and model checking.
Third Party
Quint Launch Event Follow-Up Q&A and Recap
Recap of our Quint launch event with community Q&A covering formal methods and model checking.
Third Party
Malachite x Reth, Part 2: Connecting to Ethereum execution clients via Engine API
We introduce malaketh-layered , an MVP of Malachite x Reth integration via the Engine API.
Third Party
Understanding Mysticeti Consensus with Quint
How Quint transforms complex DAG consensus algorithms into interactive, testable models.
Third Party
Malachite x Reth: Conclusions from two MVPs
Performance analysis of single binary vs Engine API integration architectures.
Third Party
Case Study: Formalizing Grug’s Jellyfish Merkle Tree with Quint
Case study on using Quint to formally specify and verify Left Curve's Jellyfish Merkle Tree implementation.
Third Party
Go Supply Chain Attack Impact Investigation
How we investigated the boltdb-go supply chain attack and assessed impact across Cosmos partner projects.
Third Party
Informal Systems' Rust Development Journey
How Informal Systems uses Rust across Hermes, Malachite, and Quint for secure distributed systems development.
Third Party
Quint Deserves Rust
Why we're rewriting Quint's simulator in Rust for improved performance and more comprehensive testing.
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.