6-tier architecture: Orange Paper → blvm-consensus (formally verified with blvm-spec-lock) → blvm-protocol → blvm-node → blvm-sdk → governance. See architecture docs for details.
blvm-spec
Mathematical Specification
Complete mathematical specification of Bitcoin consensus extracted from Bitcoin Core. Includes the 21 million supply convergence proof (Theorem 6.1).
blvm-consensus
Formally Verified Implementation
Pure Rust implementation of Orange Paper functions with blvm-spec-lock formal verification (Z3 SMT solver). All consensus decisions are mathematically proven. UTXO set operations verified for consistency and double-spend prevention.
Formal Verification: blvm-spec-lock proofs link code to Orange Paper specifications. Chain selection, block subsidy (21M limit proof), proof-of-work, transaction validation all verified with Z3.
blvm-protocol
Protocol Abstraction
Bitcoin variant abstraction (mainnet, testnet, regtest) built on blvm-consensus. All consensus calls go through the formally verified layer.
blvm-node
Full Node Library
Complete Bitcoin node library using blvm-protocol and blvm-consensus. Adds storage, networking, and RPC. Optional features: Iroh QUIC transport (NAT traversal), Quinn QUIC transport, UTXO commitments (faster initial sync).
blvm
Binary Wrapper
Standalone binary executable that wraps blvm-node. Provides command-line interface for running a full Bitcoin node. Depends on blvm-node library.
blvm-sdk
Developer Toolkit
Developer toolkit for building alternative Bitcoin implementations. Provides module composition framework for declaratively assembling custom Bitcoin nodes, plus governance cryptographic primitives.
governance
Governance Configuration
Central source of truth for governance rules, layer hierarchy, and emergency tier system. Defines who can merge what, and when.
blvm-commons
Cryptographic Enforcement
GitHub App enforcing governance rules through signature verification and review periods. Uses blvm-sdk for cryptographic operations. Phase 1: Infrastructure complete, enforcement not yet activated.
All consensus decisions flow through the formally verified blvm-consensus layer.
Orange Paper foundation → blvm-consensus (formally verified) → dependent components.