Inferensys

Glossary

Krum Aggregator

A Byzantine-resilient aggregation rule that selects the single local model update that is geometrically closest to its peers, discarding outliers to defend federated learning against malicious clients.
ML engineer managing model training cluster on laptop, GPU utilization visible, technical deep learning setup.
BYZANTINE-RESILIENT AGGREGATION

What is Krum Aggregator?

A robust aggregation rule for distributed machine learning that selects a single local model update closest to its peers, effectively neutralizing Byzantine failures.

The Krum aggregator is a Byzantine-resilient aggregation rule that selects the single local model update geometrically closest to its n - f - 2 nearest neighbors, where n is the total number of clients and f is the estimated number of Byzantine adversaries. By discarding all other updates, it ensures the global model remains unaffected by arbitrary or malicious gradient manipulations.

Introduced by Blanchard et al., Krum operates on the principle of majority-based similarity: for each candidate vector, it sums the squared Euclidean distances to its closest peers and selects the vector with the minimal score. This mechanism guarantees convergence even when up to f clients submit corrupted updates, making it a foundational defense against data poisoning and free-rider attacks in decentralized healthcare training pipelines.

BYZANTINE-RESILIENT AGGREGATION

Key Properties of Krum

Krum is a foundational aggregation rule in Byzantine fault-tolerant distributed learning. It operates on a simple geometric principle: select the single local model update that is closest to its neighbors, effectively isolating and discarding adversarial outliers.

01

Core Selection Mechanism

Krum selects the one local model update that minimizes the sum of squared Euclidean distances to its n - f - 2 closest peers, where n is the total number of clients and f is the maximum number of Byzantine adversaries. This distance-based scoring inherently isolates outliers, as malicious updates are geometrically distant from the honest majority.

02

Byzantine Fault Tolerance Guarantee

Krum provides provable convergence under the assumption that the number of Byzantine clients f satisfies 2f + 2 < n. Under this condition, the selected update will fall within the convex hull of the honest updates, ensuring the global model moves in a direction that reduces the loss function even when up to f clients are adversarial.

03

Computational Complexity

The algorithm has a time complexity of O(n² * d) where d is the dimensionality of the model update vector. For each of the n clients, Krum computes distances to all other clients. This quadratic scaling makes it most suitable for cross-silo federated learning with tens to hundreds of institutional participants rather than cross-device settings with millions of nodes.

04

Multi-Krum Variant

The standard Krum selects only a single update, discarding valuable information from other honest clients. Multi-Krum extends the algorithm by selecting the top m lowest-scoring updates and averaging them. This improves statistical efficiency and convergence speed while maintaining Byzantine resilience, trading a slight reduction in theoretical robustness for practical performance gains.

05

Limitations and Attack Vectors

Krum is vulnerable to tailored attacks where an adversary crafts updates that are geometrically close to one another but far from the honest cluster, forming a deceptive majority. Additionally, in high-dimensional spaces common in deep learning, the curse of dimensionality can degrade the effectiveness of Euclidean distance-based outlier detection, requiring careful dimensionality reduction or normalization strategies.

KRUM AGGREGATOR EXPLAINED

Frequently Asked Questions

Clear, technically precise answers to the most common questions about the Krum aggregation rule, its Byzantine-resilient selection mechanism, and its role in securing federated learning against adversarial model updates.

The Krum aggregator is a Byzantine-resilient aggregation rule designed to select a single local model update that is geometrically closest to its peers, effectively discarding outliers. It operates by computing, for each candidate gradient vector, the sum of squared Euclidean distances to its n - f - 2 nearest neighbors, where n is the total number of clients and f is the maximum number of expected Byzantine adversaries. The gradient with the smallest cumulative distance score is chosen as the global update. This mechanism ensures that even if up to f clients submit arbitrary or malicious updates, the selected vector remains within the cluster of honest contributions, preserving model convergence without requiring prior knowledge of which clients are compromised.

BYZANTINE-RESILIENT AGGREGATION COMPARISON

Krum vs. Other Robust Aggregation Methods

Comparative analysis of Krum against alternative robust aggregation rules for defending federated learning against Byzantine adversaries.

FeatureKrumTrimmed MeanMedianMulti-Krum

Core mechanism

Selects single update closest to n-f-2 neighbors by Euclidean distance

Removes k largest and smallest values per coordinate then averages remainder

Computes coordinate-wise median of all submitted updates

Averages m updates with lowest Krum scores

Byzantine tolerance (max f)

f ≤ (n-2)/2

f < n/2 (with sufficient trimming)

f < n/2

f ≤ (n-2)/2

Dimensionality handling

Aggregates full vector as single unit; robust in high dimensions

Operates coordinate-wise; may miss cross-dimension attacks

Operates coordinate-wise; vulnerable to coordinated per-dimension poisoning

Same as Krum; full-vector distance computation

Computational complexity

O(n²·d) per round

O(n·d log n) per round

O(n·d) per round

O(n²·d + m·n·d) per round

Convergence guarantee under attack

Handles non-IID client data

Output type

Single client update (deterministic selection)

Coordinate-wise average of trimmed subset

Coordinate-wise median vector

Average of m selected client updates

Information loss risk

Discards n-1 updates; high information loss

Moderate; retains central bulk per coordinate

High; discards distribution tails entirely

Lower than Krum; retains m updates

Prasad Kumkar

About the author

Prasad Kumkar

CEO & MD, Inference Systems

Prasad Kumkar is the CEO & MD of Inference Systems and writes about AI systems architecture, LLM infrastructure, model serving, evaluation, and production deployment. Over 5+ years, he has worked across computer vision models, L5 autonomous vehicle systems, and LLM research, with a focus on taking complex AI ideas into real-world engineering systems.

His work and writing cover AI systems, large language models, AI agents, multimodal systems, autonomous systems, inference optimization, RAG, evaluation, and production AI engineering.