Collective decisions

Goal

• Reach consensus: What is the most frequent color?

Use the existing approach and add a security layer on top of it

• Scalability: Robots can be added to the swarm at any time (to increase accuracy, size of the explored area, ...)
• Trustlessness: The swarm members are untrusted (you don't have to know which organization or person a robot belongs to; robots don't have to authenticate themselves, you don't have to know if a robot sends right or wrong information, you don't have to identify a robot)

Problems

• Noise (of sensors, actuators, communication channel)
• Asynchronicity (some robots might be in the dissemination state, some might be in the sense state)
• Absence of global information/trusted third parties -> no one collects the votes, they get propagated in a peer-to-peer manner
• AND malicious intruders/failing sensors (Byzantine robots)

Approach

Normal approach:

• Define initial swarm
• Each robot has an initial opinion (one of the colors)
• Robots move arbitrarily in the area
• Robots have two states: (1) sense color, (2) disseminate/receive color opinion (robots change preference based on majority voting)
• Robots only sense the relative frequency of their current color preference and ignore all other colors
• Dissemination time is a function of the relative frequency of that color (change from sense state to disseminate state is based on time)

Problems:

• Robots can disseminate wrong color preference
• Robots can stop disseminating at all
• Robots can only disseminate and never sense

=> Robots will never reach consensus, reach consensus only very slowly or reach consensus but not on the right color

Blockchain approach:

• Define initial swarm (e.g., 10 trusted members)

Apart from that, everything is the same as above Two types of robots:

• Honest (working) robots: sense and disseminate as above
• Byzantine robots: can do anything

FAQ

• Q: Why would the robots keep the blockchain running?
  • While the incentive to keep the blockchain running among human participants is getting new valuable tokens and guaranteeing the security of existing tokens, the incentive in a blockchain based on robotic participants is more indirect:
    • the robots perform a mission that is useful for someone (probably the initiators of the mission)
    • the robots belong to a person or organization that benefits from the token

Therefore, we can assume that at least some of the robots are programmed to do the right thing and follow the blockchain protocol (state update via generation of valid blocks). In the end, no matter which algorithm you are using, no robot will care if it is dead or alive except if it is programmed to do so.

• Q: Why don't you use an authentification system to include trusted members only?
  • A classical authentification system can be easily compromised (e.g., once the password is revealed, the entire system breaks down)
  • The swarm is more flexible without an authentification system: everyone can join at any time