Back to browse
I solo-built Sovereign-Mohawk – FL with 500K nodes and 55% BFT

I solo-built Sovereign-Mohawk – FL with 500K nodes and 55% BFT

by rwilliamspbgops·Feb 24, 2026·1 point·2 comments

AI Analysis

Pass

Math-heavy claims without credible evidence of 500K-node stress test.

Strengths
  • Hierarchical aggregation reducing communication from O(n²) to O(d log n) is theoretically sound
  • Subjective Logic for tiered DP integration shows cryptographic rigor
  • Formal verification artifacts and zk-SNARK proofs suggest serious engineering
Weaknesses
  • 'Stress test yesterday' is unverifiable; no code, reproducibility, or third-party audit
  • 500K-node federated learning at this scale is not public knowledge—requires extraordinary evidence
  • Theorems stated without peer review or independent validation; reads as a résumé builder
Target Audience

Distributed systems researchers, federated learning practitioners, cryptography engineers

Similar To

Polkadot · Cosmos · Hotstuff consensus

Post Description

The Problem:Standard Federated Learning (FL) hits a wall at scale. When you move from a few hundred nodes to 500,000, two things happen: communication overhead explodes ($O(n)$ or $O(n^2)$), and the "honest majority" assumption falls apart. Most BFT systems (like PBFT or HotStuff) are hard-capped at <33% or <50% malicious actors.The Breakthrough:I developed the Sovereign-Mohawk Protocol. In a stress test conducted yesterday, it successfully coordinated 500,000 nodes in 4 minutes and 8 seconds, maintaining model accuracy even with 55.5% of nodes acting maliciously (gradient poisoning and sybil attacks).How it works (The TL;DR):Hierarchical Streaming Aggregation: Instead of a central parameter server, Mohawk uses a tree-based batching architecture. This drops communication complexity to $O(d \log n)$.Tiered Rényi Differential Privacy: I integrated DP directly into the consensus layer. By using Rényi DP ($\epsilon = 0.98$), we can filter outliers (malicious gradients) more aggressively than standard median-based aggregators.zk-SNARK Verifiability: Every aggregation step generates a 200-byte proof. The central coordinator can verify the integrity of 500,000 contributions in constant time without re-computing the gradients.The Stress Test Results (Feb 24, 2026):40% Byzantine: 86.6% accuracy | 9.1s avg round time.50% Byzantine: 85.8% accuracy | 10.5s avg round time.55.5% Byzantine: 81.0% accuracy | 9.9s avg round time (The theoretical "Mohawk Limit").Why Solo?I wanted to prove that Sovereign AI infrastructure doesn't require a Google-sized team. This implementation is written in Go with a Wasmhost, allowing it to run on anything from an NVIDIA Jetson to an Apple Silicon NPU.Links:Repo: Sovereign Map Federated LearningResearch/Docs: Sovereign-Mohawk Protocol SiteI'm particularly looking for feedback on the BFT boundary proofs. Is $55.5\%$ the absolute limit for DP-weighted aggregation, or can we push to 60% with higher noise injection?

Similar Projects

I solo-validated Fed learning at 10M nodes with 50% Byzantine tolerance

10M-node Byzantine FL is impressive; but GitHub release lacks runnable code or verifiable benchmarks.

Big BrainWizardry
rwilliamspbgops
203mo ago
Infrastructure●●Solid

DAG-BFT with multi-attribute reputation

DAG-BFT runtime with PoU-weighted pivot selection in pure Rust.

Big BrainBold Bet
And_Cadamuro
101mo ago

1Hash/Sec/Node PoW During A/V Calls, No Parallel Mining and P2P Telecom

The site ships an interactive simulation where you can start ‘mining’, tweak nonces, tamper with fields and watch blocks be accepted or rejected in real time — a neat educational sandbox for a novel ASIC‑resistance idea. It’s a focused MVP: the Proof of Witness + Witness Chains concept is intriguing, but the demo reads as a concept validation rather than a full P2P/telco implementation (security hardening and real-world networking are explicitly missing).

Bold BetBig BrainShip It
HurairahShamsi
314mo ago