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

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. 

Research

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

Investors

News

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.

Adamantios Zaras

Python Engineer – Coordinator

Adriano 

Ecosystem Lead

AL

Senior Crypto Engineer

Senior Solidity Engineer

Ardian

Software Engineer

David Vilela Freire

Senior Python Engineer

Gemma

Head of Operations

José Moreira-Sánchez

Senior Cryptography Engineer

Mariapia Moscatiello

Research Scientist Coordinator

Mohan Das

Frontend Engineer

Thomas Maybrier

Producer - Digital Media

Viraj Patel

Python Engineer - Framework

Yuri Turchenkov

Senior Python Engineer

Bolade Oladipo

People Operations Associate

Artem

Senior Systems Engineer

Joshua Miller

Senior Frontend

Engineer

Team

Team

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, Chief Research Officer

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, Growth

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

8Baller

Ecosystem Manager -Developer Relations & DevOps

Adamantios Zaras

Machine Learning & Data Engineer

Adriano

Ecosystem Associate

AL

Senior Crypto Engineer

Solidity Engineer

Ardian

Software Engineer

Camelia

Brand Designer

David Vilela Freire

Senior Python Engineer

Gemma

Operations Coordinator & Founder Associate

José Moreira-Sánchez

Senior Cryptography Engineer

Mariapia Moscatiello

Research Scientist Coordinator

Michiel Karrenbelt

Python Engineer

Mohan Das

Frontend Engineer

Thomas Maybrier

Community Manager

Viraj Patel

JuniorPython Engineer

View More

Propel

The fastest way to get a decentralized, off-chain service to market.
A subscription service blending human and software services, to suit any organization size.

Autonolas

The permissionless blockchain protocol for registering, running and securing open-source, decentralized and ownable off-chain services.
Plus the first off-chain services on this protocol.

PRODUCTS

Open Autonomy

Open-source framework for developing decentralized and ownable off-chain services.

Open Autonomy

Open-source framework for developing decentralized and ownable off-chain services.

bottom of page