Skip to main content

Crate blvm_primitives

Crate blvm_primitives 

Source
Expand description

§blvm-primitives

Foundational types, serialization, crypto, and config for Bitcoin consensus and protocol layers.

This crate provides the shared foundation that both blvm-consensus and blvm-protocol depend on, enabling parallel compilation and clean separation of concerns.

Re-exports§

pub use spec_types::SpecHashMap;
pub use spec_types::SpecVec;
pub use config::*;
pub use constants::*;
pub use crypto::*;
pub use error::*;
pub use opcodes::*;
pub use serialization::*;
pub use types::*;

Modules§

config
Configuration types for consensus and protocol layers
constants
Bitcoin consensus constants from Orange Paper
crypto
Cryptographic hash functions with CPU feature detection and optimizations
error
Error types for consensus validation
ibd_tuning
IBD Hardware Tuning
opcodes
Bitcoin Script Opcode Constants
orange_paper_helpers
Property test helpers from Orange Paper formulas
serialization
Bitcoin wire format serialization/deserialization
spec_types
Specification-aware type wrappers for formal verification (spec-lock/Z3).
types
Essential Bitcoin types for consensus validation

Macros§

spec_wrap
Macro for type aliases using spec wrappers (for spec alignment / formal verification).
tx_inputs
tx_outputs