Skip to main content
DEPARTMENT

Computer Science

Distributed Systems Without Message Passing

Explore stigmergy as a novel coordination primitive for distributed systems. Build systems that scale without global state.

For Computer Scientists

Distributed Systems Without Message Passing


You’ve Seen This Problem Before

Distributed consensus. Leader election. Load balancing. Fault tolerance.

Every distributed systems course teaches the same solutions: Paxos, Raft, gossip protocols, consistent hashing. Nodes talk to nodes. Messages fly across the network. Coordination requires communication.

What if it didn’t?


Stigmergy: Coordination Through Environment

Ants don’t have TCP/IP. They don’t elect leaders. They don’t gossip state.

They coordinate through environment modification:

  • Ant A deposits pheromone on path
  • Ant B perceives pheromone, follows path
  • No direct communication between A and B

This is stigmergy—indirect coordination through shared environment.

It scales to millions of agents. It tolerates arbitrary failures. It requires no global state.


What We Built

A distributed system running on Fetch.ai’s Agentverse:

  • 101 agents (scaling to millions)
  • TypeDB Cloud knowledge graph (the shared environment)
  • STAN algorithm (Stigmergic A* Navigation)
  • Real workload: hunting Bitcoin puzzle #71 ($700K)

The Architecture

┌──────────────────────────────────────────────────────────────────┐
│                         AGENTVERSE                                │
│                    (Agent Execution Layer)                        │
│  ┌─────────┐  ┌─────────┐  ┌─────────┐  ┌─────────┐             │
│  │ Scout   │  │Harvester│  │  Scout  │  │ Hunter  │  ...×101    │
│  │ Agent   │  │ Agent   │  │ Agent   │  │ Agent   │             │
│  └────┬────┘  └────┬────┘  └────┬────┘  └────┬────┘             │
│       │            │            │            │                    │
│       └────────────┴────────────┴────────────┘                    │
│                           │                                       │
│                           ▼                                       │
│              ┌───────────────────────┐                            │
│              │    TypeDB Cloud       │                            │
│              │  (Shared Environment) │                            │
│              │                       │                            │
│              │  • Pheromone levels   │                            │
│              │  • Edge weights       │                            │
│              │  • Event history      │                            │
│              │  • Crystallized       │                            │
│              │    patterns           │                            │
│              └───────────────────────┘                            │
└──────────────────────────────────────────────────────────────────┘

The Algorithm: STAN

effective_cost = base_weight / (1 + pheromone × sensitivity)

That’s it. One formula.

  • High pheromone → Low cost → Agents prefer this path
  • Path gets used → More pheromone deposited → Positive feedback
  • Unused paths → Pheromone decays → Negative feedback

Emergent load balancing. Emergent fault tolerance. Emergent optimization.


Why This Matters for CS Research

1. Novel Coordination Primitive

Every distributed system you’ve built uses message passing. This one doesn’t.

What are the implications?

  • Complexity class of stigmergic problems?
  • CAP theorem analogs for stigmergic systems?
  • New consistency models?

2. Convergence Analysis

Does STAN converge to optimal? Under what conditions?

This is an open research question. Classical ant colony optimization (Dorigo et al.) has convergence proofs for specific settings. Does STAN generalize?

3. Scalability

We’re at 101 agents. What happens at:

  • 1,000 agents?
  • 100,000 agents?
  • 10,000,000 agents?

The environment (TypeDB) becomes the bottleneck. How do we shard pheromone state? Can we use CRDTs for pheromone?

4. Fault Tolerance

Kill 50% of agents. Does the colony survive?

In theory, yes—stigmergy is inherently fault-tolerant. But theory vs. practice? You can test it.


Research Questions for CS

QuestionArea
What is the message complexity of stigmergic coordination?Distributed Systems
Can we prove STAN convergence for arbitrary graphs?Algorithm Analysis
What consistency model does pheromone state require?Distributed Databases
How do we shard environment state for massive scale?Systems
Can ML predict pheromone evolution?Machine Learning
What are the security implications of shared environment?Security

The Big Opportunity

Stigmergy as a new coordination paradigm for distributed systems.

Papers waiting to be written:

  • “Stigmergic Consensus: Coordination Without Communication”
  • “Scaling Stigmergy: Sharding Strategies for Pheromone State”
  • “STAN Convergence Bounds for General Graphs”

What We Provide

Infrastructure

  • TypeDB Cloud access (graph database with inference)
  • Agentverse deployment slots
  • 100 agents per team to spawn
  • GPU credits for heavy computation

Codebase

  • Full Python implementation of agents
  • TypeQL schema (35 entities, 17 relations)
  • STAN algorithm implementation
  • Worker infrastructure for distributed compute

Data

  • Complete traversal logs
  • Pheromone snapshots over time
  • Agent behavior traces
  • Colony metrics

Hackathon Challenges for CS

Challenge: Prove STAN Convergence

Under what conditions does STAN converge to optimal?

Approach:

  • Model as Markov chain
  • Analyze fixed points of pheromone dynamics
  • Prove or find counterexamples

Prize bonus: $1,000

Challenge: Scalability Analysis

What happens at 1M agents?

Approach:

  • Simulate at scale
  • Identify bottlenecks
  • Propose sharding strategies

Challenge: Build a New Mission

Deploy a mission that solves a real problem.

Ideas:

  • Supply chain optimization
  • Code navigation
  • Research paper discovery
  • Social network analysis

Prize: Colony co-ownership

Challenge: Visualization Dashboard

Build a real-time visualization of colony state.

Requirements:

  • Pheromone landscape visualization
  • Agent movement tracking
  • Superhighway identification
  • Emergence metrics

Your Heroes Worked on This

Marco Dorigo invented Ant Colony Optimization in 1992—the ancestor of our approach.

Leslie Lamport showed that distributed consensus is hard. Stigmergy might be easier.

Eric Brewer gave us the CAP theorem. What’s the stigmergic equivalent?

Barbara Liskov designed distributed systems that changed the world. The next paradigm might be stigmergic.


Publication Opportunities

VenueAngle
PODCTheoretical analysis of stigmergic coordination
SOSP/OSDISystems implementation and evaluation
VLDBDistributed pheromone state management
NeurIPSLearning stigmergic policies
AAMASMulti-agent system analysis
NatureCross-disciplinary emergence paper

How to Get Your Department Involved

For Faculty

  • Guest lecture: “Stigmergy: A New Distributed Systems Primitive”
  • Research collaboration: Novel distributed algorithms
  • Systems course project: Deploy agents on Agentverse

For PhD Students

  • Thesis chapter: Convergence analysis of STAN
  • Systems paper: Scaling stigmergy to millions of agents
  • Cross-disciplinary collaboration: Work with biologists on validation

For Undergrads

  • Senior thesis: Implement STAN in Rust/Go
  • Course project: Build a visualization dashboard
  • Research experience: Analyze colony data

Register Your Team

[REGISTER NOW]

Include at least one non-CS team member (we recommend Math or Biology).

Distributed systems work best with diverse perspectives.


“The best distributed systems are the ones where no node knows the global state—yet the system converges to optimal.”


You’ve built systems with Paxos, Raft, and gossip.

Now try building one with pheromones.

[JOIN THE HACKATHON]

Ready to Join?

Assemble a cross-disciplinary team and register for the hackathon. Build something that matters.