Secure and secret cooperation in robot swarms

When robots, devices, or humans in an online network want to work together as peers, they must communicate with each other to reach their collective goals. If the group’s messages are not secure, outsiders might learn the goals of the group or even impersonate its members. In this work, we demonstrate the first multi-agent system able to autonomously secure its peer-to-peer communication while collaborating to achieve a common goal, using an authenticated data structure known as a Merkle tree. The demonstration of Merkle trees as a successful decentralized cooperation mechanism has significant implications for any future complex systems application in which security or privacy plays a crucial role—networks of IoT devices, multi-robot factories, healthcare automation, and well beyond.

Swarm robotic missions

We show the implications of this approach for two different swarm robotics missions: 

New business models for  swarm robotic systems

In the last section of this work we present  a futuristic scenario where this research can be monetized. We introduce the IRIDIA Swarm Marketplace: a web-based service marketplace for swarm robotics whose logic is coded in a smart-contract and uploaded in the Ethereum blockchain. In the proposed app, organizations (in this case, IRIDIA, the artificial intelligence lab of the Université Libre de Bruxelles) with a robot swarm at their disposal can advertise the robotics services available to them (number of robots, duration of service, and price) (1). Then, customers are able to purchase these services and pay with their own crypto-wallets. Customers can upload a Merkle tree  with the list of sequential tasks the robots need to complete (2).  Robots receive the Merkle with all required tasks to complete a service (3). Once the service is completed, customers get the cryptographic proof that the robots completed all the tasks included in the Merkle tree, which allows them to trust the system and understand the service was not faked (4). Finally, customers get pictures and video footage of the final work the robots conducted. Videos are automatically uploaded by the system to a Youtube playlist (5).

Conclusions

In this work, we show that two of the main Merkle tree properties (i.e., correctness and security) open a new path towards secure and secret cooperation in robot swarms. Regarding the security aspect, by using this approach, in order to cooperate, the robots in a swarm are required to prove to their peers that they fulfilled certain actions or that they know or own some particular information, rather than merely rely on information received from other robots (sensor data, votes, etc.). This approach makes robots resistant against potential threats such as tampering attacks since any change in the task’s data (i.e., cell location, objects to be delivered) will necessarily change the proof’s outcome. Regarding the secrecy component, with the use of Merkle trees robot swarms are now able to separate the mission data from its verification. This allows robots to verify that a task was carried out by a member of the swarm without knowing what this task entailed or which robot took part in its completion.