Integration proposal: Sovereign Mohawk as verifiable BFT aggregator for PySyft Datasite FL #9398
Description
PySyft’s client-side aggregation is perfect for plugging in Sovereign Mohawk’s formally verified hierarchical Multi-Krum + zk-SNARK proofs (55.5% Byzantine tolerance, O(d log n) comms, TPM root).
PoC: https://github.com/rwilliamspbg-ops/Sovereign_Map_Federated_Learning/tree/main/examples/pysyft-integration
Uses existing Python SDK (MohawkNode.aggregate + verify_proof).
Would love to make this a first-class example or extension.
Happy to run a joint demo or contribute the module.