blvm-spec
Mathematical Specification
Complete mathematical specification of Bitcoin consensus extracted from Bitcoin Core. Includes the 21 million supply convergence proof (Theorem 6.2.3). Orange Paper viewer on this site →
blvm-consensus
Consensus implementation
Rust implementation of the Orange Paper functions. blvm-spec-lock binds those functions to numbered spec sections. CI runs Z3 on those annotations.
Spec-lock: chain selection, block subsidy, proof-of-work, and transaction validation carry annotations. CI runs Z3 on those annotations.
blvm-protocol
Protocol Abstraction
Bitcoin variant abstraction (mainnet, testnet, regtest) built on blvm-consensus. Consensus calls go through that crate.
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.
Consensus decisions are made in blvm-consensus. Annotated functions there are checked with spec-lock.
Orange Paper → blvm-consensus (spec-lock + tests) → protocol, node, SDK, governance.