151 posts
Third Party
CometBFT Q2 2023 Priorities - ABCI Support and State Sync Improvements
Five development streams addressing protocol design and storage optimization.
Third Party
Cosmos Hub March 2023 Update - Replicated Security V9 Upgrade Launch
Monthly update covering Neutron preparation and liquid staking module progress.
Third Party
Informal Systems Origins - Worker Cooperative Building Verifiable Distributed Systems
How Informal spun out from ICF to become employee-owned Cosmos development company.
Third Party
Cosmos Hub Governance Spam Mitigation - Filtering Proposals with High Veto Rates
How block explorers can filter spam proposals using voting patterns and deposit thresholds.
Third Party
Cosmos Hub February 2023 Update - V8 Upgrade and V9 Replicated Security Progress
Monthly update covering Cosmovisor issues, time drift, and equivocation verification.
Third Party
Cosmos Hub 2023 Development Roadmap - Replicated Security and Governance Improvements
Comprehensive living roadmap covering customer needs, operations, and interchain security future.
Third Party
Is Namada’s Cubic Proof-of-Stake Secure?
Formal methods approach to verifying epoched staking and slashing mechanisms.
Third Party
Cosmos Hub January 2023 Update - V8 and V9 Release Coordination
Monthly team update covering IBC bug fixes and replicated security launch preparation.
Third Party
Governance-Gated vs Automatic Equivocation Slashing in Replicated Security
Why governance-gated slashing provides equivalent security to automatic slashing.
Third Party
Cosmos, meet CometBFT
New consensus engine fork brings ABCI 2.0 and improved quality assurance.
Third Party
Hyperspace IBC Relayer Architecture Comparison with Hermes
Analyzing ComposableFi's Polkadot-focused relayer design and Rust implementation.
Third Party
Hermes IBC Relayer v1 Architecture - Supervisor and Packet Processing Design
Deep dive into packet command workers, operational data, and chain endpoints.
Third Party
Replicated vs Mesh Security Analysis - Cost to Censor and Control Comparison
Mathematical model comparing security approaches and addressing subset problem.
Third Party
Interchain Scheduler Design for Cross-Chain MEV and Block Space Auctions
Synchronous atomic transactions and MEV capture across multiple Cosmos chains.
Third Party
Interchain Security v0.1 Pre-Release Launches with CCV Protocol
Cross-Chain Validation protocol enables Cosmos Hub to secure consumer blockchains.
Third Party
Cosmos and the Era of Community Computers
Application-specific blockchains enable community sovereignty with global interoperability.
Third Party
Developer Guide to Building Cosmos Consumer Chains with Interchain Security
Launch blockchains with Cosmos Hub security through smart contracts or custom chains.
Third Party
Interchain Security v1 Technical Implementation and Protocol Design
Technical overview of Cross-Chain Validation protocol and validator set replication.
Third Party
The Informal System: Introducing Workflow
Promise-based organizational framework builds trust and accountability in cooperatives.
Third Party
Themis Contract Enables Version Controlled Corporate Management
Plaintext legal documents with git workflow revolutionize corporate governance.
Third Party
Formal Verification and Protocol Design for Cosmos IBC and Tendermint
TLA+ specifications and security audits strengthen Cosmos ecosystem protocols.
Third Party
Model-Based Testing Automates Complex Blockchain Protocol Validation
Automated test generation from formal specifications catches real bugs in distributed systems.
Third Party
Apalache Model Checker Advances TLA+ Verification for Distributed Systems
Symbolic model checking tools enhance formal verification capabilities for blockchain protocols.
Third Party
Informal Partners with Cephalopod Equipment Validator
Partnership integrates validator operations with protocol R&D for Cosmos ecosystem growth.
Third Party
IBC Protocol Audit and Rust Implementation for Cosmos Interoperability
Security audit results and Stargate-compatible relayer development progress.
Third Party
Dhall Configuration Language for Distributed Systems Management
Best practices for configuration formats in open-source distributed applications
Third Party
Building Worker Cooperatives in Blockchain Technology Companies
Experimental corporate structure blending cooperative governance with R&D focus.
Third Party
Model-Based Testing and Formal Verification Tools for Blockchain Protocols
Apalache model checker advances and TLA+ specifications for Cosmos ecosystem.
Third Party
Verification Driven Development for Tendermint and IBC Protocols
TLA+ specifications and formal verification progress for blockchain protocols.
Third Party
Blockchain Solutions for Global Financial System Transformation
Expert analysis of monetary systems and proof of stake network applications.