top of page

Architecting

Autonomy

Creating open-source frameworks

for co-owned AI

Mission
statement

To enable communities, organizations and countries to co-own AI systems, beginning with decentralized autonomous agents

Trading Agent Competition with Autonomous Economic Agents

David Minarsch, Seyed Ali Hosseini, Marco Favorito, and Jonathan Ward

 

We provide a case study for the Autonomous Economic Agent (AEA) framework; a toolkit for the development and deployment of autonomous agents with a focus on economic activities. The use case is the trading agent competition (TAC). It is a competition between autonomous agents with customizable strategies and market parameters. 

Peer-to-peer Autonomous Agent Communication Network

Lokman Rahmani, David Minarsch,

Jonathan Ward

Reliable and secure communication between heterogeneously resourced autonomous agents controlled by competing stakeholders in a decentralized environment is a challenge. Agents require a means to find each other and communicate without reliance on a centralized party and participation in the system must be permissionless.

Autonomous Economic Agents as a Second Layer Technology

for Blockchains

David Minarsch, Seyed Ali Hosseini, Marco Favorito, and Jonathan Ward

 

The user experience of interacting with distributed ledger technologies (DLT) is fraught with excessive complexity, high risk and unintuitive processes. Moreover, smart contracts deployed in these systems are restricted to being reactive. These limitations have negative implications on user adoption and prevent DLTs from being general purpose.

Research

Generate synthetic data to improve agent architectures & AI models
Bring synthetic users to your protocol, chain or app
Generate synthetic data to improve agent architectures & AI models
Bring synthetic users to your protocol, chain or app
Generate synthetic data to improve agent architectures & AI models

Bring synthetic users to your protocol, chain or app

Generate synthetic data to improve agent architectures & AI models

GET INVOLVED

Benefit from autonomous AI agent economies, incentivized by Olas

Robust Subgroup Multi-Signatures for Consensus

David Galindo and Jia Liu

 

We introduce a new multi-signature variant called robust subgroup multi-signatures, whereby any eligible subgroup of signers from the global set can produce a multi-signature on behalf of the group, even in the presence of a byzantine adversary. We propose several constructions that improve multi-signature computation time.

Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons

David Galindo, Jia Liu, Mihai Ordean and Jin-Mann Wong

We provide a systematic analysis of two multiparty protocols, namely Distributed Verifiable Random Functions (DVRFs) and Decentralised Random Beacons (DRBs), including their syntax and definition of robustness and privacy properties. Our new DRB instantiations are extremely efficient and enjoy strong and formally proven security properties.

An Offline Delegatable Cryptocurrency System

Rujia Li, Qin Wang, Xinrui Zhang, Qi Wang, David Galindo and Yang Xiang

 

We propose DelegaCoin, an offline delegatable cryptocurrency system that uses trusted execution environments (TEEs) as decentralized "virtual agents" to prevent malicious delegation. In DelegaCoin, an owner can delegate his coins through offline-transactions without interacting with the blockchain network. 

Peer-to-peer Autonomous Agent Communication Network

Lokman Rahmani, David Minarsch,

Jonathan Ward

Reliable and secure communication between heterogeneously resourced autonomous agents controlled by competing stakeholders in a decentralized environment is a challenge. Agents require a means to find each other and communicate without reliance on a centralized party and participation in the system must be permissionless.

Trading Agent Competition with Autonomous Economic Agents

David Minarsch, Seyed Ali Hosseini, Marco Favorito, and Jonathan Ward

 

We provide a case study for the Autonomous Economic Agent (AEA) framework; a toolkit for the development and deployment of autonomous agents with a focus on economic activities. The use case is the trading agent competition (TAC). It is a competition between autonomous agents with customizable strategies and market parameters. 

Autonomous Economic Agents as a Second Layer Technology

for Blockchains

David Minarsch, Seyed Ali Hosseini, Marco Favorito, and Jonathan Ward

 

The user experience of interacting with distributed ledger technologies (DLT) is fraught with excessive complexity, high risk and unintuitive processes. Moreover, smart contracts deployed in these systems are restricted to being reactive. 

Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons

David Galindo, Jia Liu, Mihai Ordean and Jin-Mann Wong

We provide a systematic analysis of two multiparty protocols, namely Distributed Verifiable Random Functions (DVRFs) and Decentralised Random Beacons (DRBs), including their syntax and definition of robustness and privacy properties.

Robust Subgroup Multi-Signatures for Consensus

David Galindo and Jia Liu

 

We introduce a new multi-signature variant called robust subgroup multi-signatures, whereby any eligible subgroup of signers from the global set can produce a multi-signature on behalf of the group, even in the presence of a byzantine adversary. We propose several constructions that improve multi-signature computation time.

An Offline Delegatable Cryptocurrency System

Rujia Li, Qin Wang, Xinrui Zhang, Qi Wang, David Galindo and Yang Xiang

 

We propose DelegaCoin, an offline delegatable cryptocurrency system that uses trusted execution environments (TEEs) as decentralized "virtual agents" to prevent malicious delegation. In DelegaCoin, an owner can delegate his coins through offline-transactions without interacting with the blockchain network.

A Practical Framework for General Dialogue-based Bilateral Interactions

Seyed Ali Hosseini, David Minarsch, Marco Favorito

For autonomous agents and services to cooperate and interact in multiagent environments they require well-defined protocols. A multitude of protocol languages for multi-agent systems have been proposed in the past, but they have mostly remained theoretical or have limited prototypical implementations.

Symbolic modelling of remote attestation protocols for device and app integrity on Android

Abdulla Aldoseri, Tom Chothia, José Moreira, David F. Oswald

Automatic verification of transparency protocols

Vincent Cheval, José Moreira, Mark Ryan

Protocols for a Two-Tiered Trusted Computing Base

José Moreira, Mark Ryan, Flavio D. Garcia

Transparent Registration-Based Encryption through Blockchain

Qin Wang, Rujia Li, Qi Wang, David Galindo, Shiping Chen, Yang Xiang

SoK: TEE-Assisted Confidential Smart Contract

Rujia Li, Qin Wang, Qi Wang, David Galindo, Mark Ryan

Robust Subgroup Multi-signatures for Consensus

David Galindo, Jia Liu

Research

David Minarsch

Co-founder, CEO

David led the team which built the first framework for developing MAS in the DLT space. He has founding experience via Entrepreneur First and a PhD in Applied Game Theory from the University of Cambridge.