167 posts
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.
Third Party
Introducing Informal Systems
Worker cooperative brings formal verification to Cosmos protocols and blockchain systems.