Architecting

Autonomy

Creating open-source frameworks

for co-owned AI

Get involved

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.

Read paper

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.

Read paper

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.

Read paper

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

Get funding now

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

Read paper

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.

Read paper

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.

Read paper

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.

Read paper

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.

Read paper

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.

Read paper

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.

Read paper

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.

Read paper

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.

Read paper

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.

Read paper

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

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

Read paper

Automatic verification of transparency protocols

Vincent Cheval, José Moreira, Mark Ryan

Read paper

Protocols for a Two-Tiered Trusted Computing Base

José Moreira, Mark Ryan, Flavio D. Garcia

Read paper

Transparent Registration-Based Encryption through Blockchain

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

Read paper

SoK: TEE-Assisted Confidential Smart Contract

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

Read paper

Robust Subgroup Multi-signatures for Consensus

David Galindo, Jia Liu

Read paper

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.

David Galindo

Co-founder, CTO

David is a renowned scientist in the field of cryptography. He has served as an Associate Professor of Computer Security at University of Birmingham and holds the world record for number of votes in a live digital voting ballot.

Oaksprout the Tan

Co-founder, CPO

Oaksprout has made significant contributions to a number of cryptonetwork communities by developing well-used ecosystem tools, education sites and community building efforts.

A. Rosa Castillo

Senior Machine Learning Engineer

Adamantios Zaras

Python Engineer – Coordinator

Adriano

Delivery Lead

AL

Senior Crypto Engineer

Alex Kuperman

Senior Solidity Engineer

Anna

Junior Software Engineer

Ardian

Software Engineer

Artem

Senior Systems Engineer

Bolade Oladipo

People Operations Associate

Carol

Product Manager – Dev Academy

David Vilela Freire

Senior Python Engineer

Gaurav Lochab

Python Engineer

Gemma

Head of Operations

Haneefa

Executive Assistant

José Moreira-Sánchez

Senior Cryptography Engineer

Joshua Miller

Senior Frontend

Engineer

Julinda Stefa

Senior Technical Product Manager

Keshav Mishra

Machine Learning Engineer

Mariapia Moscatiello

Research Scientist Coordinator

Mohan Das

Frontend Engineer

Ralph Pahlmeyer

Head of Business Development

Roman Semenchenko

Product Designer

Tanya Priemova

Senior Frontend Engineer

Thomas Maybrier

Producer - Digital Media

Vibhuti Nageshwar

Marketer

Victor Notaro

Accounting & Operations Associate

Yuri Turchenkov

Senior Python Engineer

Team

See all

News