Icl_system 0.6.0 โ BFT consensus kernel with fixed-point observability layer [Show & Tell]
โ Rust ๐ 2026-06-07 ๐ค surdeus ๐๏ธ 3
Info
Hi everyone,
I've just open-sourced icl_system, a Byzantine-fault-tolerant consensus kernel in Rust.
What it is
A research prototype combining a BFT threshold consensus engine with a lock-free Q32.32 fixed-point observability layer. The core architectural decision: strict one-way boundary between Security Layer and Observability Layer โ metrics are never used as security signals.
Key components
MLROQuorumGate โ BFT threshold consensus, one vote per node per blockInsurancePoolV2Monitor โ Ed25519 multisig with nonce protectionICLEventBus โ deadlock-safe COW Arc + RwLock publish/subscribeEntropyDivergenceMonitor โ Welford online stats, O(1) median via DualHeapPressureField<N> โ Q32.32 fixed-point EMA, cache-line aligned, zero-floatSecurity work
6 rounds of white-box audit, 18 P0/P1 findings closed including vote stuffing, TOCTOU in nonce handling, replay via auto-pruning, future-block DoS, timing side-channel in Ed25519 loop, and QuorumVersion isolation.
Status
Research prototype (alpha). No formal verification (TLA+) or independent audit yet โ both planned.
Happy to discuss architecture or security decisions.
1 post - 1 participant
๐ท๏ธ Rust_feed