Protocol Labs Research
About
People
Research
Outreach
Blog
Research
Our mission urges us to consider problems across multiple subject areas, both applied and theoretical. We pursue these problems in the open and share our results in recorded talks and published papers.

Research Groups

ConsensusLab explores cutting-edge scalable permissionless consensus protocols, including three main pillars of sharding, consensus proper, and scalable execution.

CryptoNetLab is a Public Good Cryptography Lab providing technological empowerment by creating secure building blocks for Web 3.0 protocols.

CryptoEconLab at PL aspires to become a hub for research on economic incentives, coordination games, and novel marketplaces. We aim to develop capacity to design, validate, deploy, and govern large-scale economic systems. CryptoEconLab strives to empower projects in the ecosystem through novel incentives and advance humanity’s understanding of multiagent systems and algorithmic steering of economic networks.

The AbstractionLab houses several independent research projects directly exploring the future of decentralization and how infrastructure affects technological possibilities.

CryptoComputeLab is focused on the intersection of applied cryptography, high performance computing, and programming language design. We strive to create and consume practical research to develop deployed software

The mission of the Resilient Networks Lab is to build resilient distributed systems, by creating and operating a platform where researchers can collaborate openly and asynchronously on deep technical work.

Research Areas

We aim to use learnings from previous efforts, growth in available data, and ambitions of qualitatively novel capabilities to facilitate the discovery, linking, and processing of knowledge. This work primarily consists of support for The Underlay, a project intending to build a global, distributed graph of public knowledge.

A long-term goal for the IPFS ecosystem is to merge distributed apps and local apps into a single paradigm: fundamentally rethinking the UNIX programming model for a content-addressable platform. As a component of this, we aspire to make the best use of state-of-the-art advances in programming language design and implementation, such as substructural types, modal types, and algebraic effects.

Category theory (CT) originated as a subdiscipline of pure mathematics, with a historical strength in unifying disparate mathematical areas to transport proofs and constructions between them. CT can also be viewed as an upgraded foundation for all of math, taking the place traditionally occupied by first-order logic and set theory, and is commonly used in theoretical computer science (especially type theory), and as a foundation for computational theorem-proving.

Distributed systems are, broadly speaking, networked systems whose components are located in different nodes that communicate and coordinate to achieve the system’s purpose. Distributed systems are at the very core of what we do and our interests extend across the entire field.

Modern cryptography plays an integral role in every aspect of online and electronic security, including providing evidence you’re speaking to the intended party and hindering spying on the subsequent communication. Cutting-edge cryptography tools will allow the creation of incredibly strong evidence that general information processing has been performed in a privacy-preserving and trustless way.

In any forum or marketplace where people can interact, the venue itself guides and constrains human interaction. Cryptoeconomics provides practices, tools, and knowledge that allow us to engineer the venue to achieve a goal.

Our electricity system is undergoing a monumental transition from a centralized design based on fossil fuels to a distributed architecture based on renewable energy. Successfully navigating this requires reconceiving the grid as a distributed system, able to coordinate diverse resources and influence the deployment of capital by setting up appropriate incentive structures.

Computer networks enable information to move across the globe. They are foundational to the world we live in and to the vast majority of our work. Our interests include transport and routing protocols, network security, p2p systems, publish-subscribe protocols, and network monitoring and simulation.

Metaresearch is the investigation of how scientific innovation occurs. It encompases work in the history, philosophy, and economics of science; the effects of incentive systems in research; the evaluation and validation of scientific data; and the dissemination of scientific knowledge, among other fields.

Recent Publications

View all publications
2021.6.21 / Conference paper
Pulsarcast: Scalable, reliable pub-sub over P2P nets
The publish-subscribe paradigm is a wildly popular form of communication in complex distributed systems. The properties offered by it make it an ideal solution for a multitude of applications, ranging from social media to content streaming and stock exchange platforms.
DI2F / 2021.06.21 / Espoo, Finland
Joao Antunes, David Dias , Luis Veiga
2021.6.21 / Conference paper
The case for AI based Web3 reputation systems
Initiatives such as blockchains and decentralized storage networks are pushing for a decentralized Web3 to replace the current architecture. At the core of Web3 are network resource sharing services, which allow anyone to sell spare network capacity in return for rewards.
DI2F / 2021.06.21 / Espoo, Finland
Navin V. Keizer, Fan Yang, Yiannis Psaras , George Pavlou
2021.6.11 / Conference paper
IPFS-FAN: A Function-Addressable Computation Network
Permissionless computation is one of the missing pieces in the web3 stack in order to have all the tools needed to “decentralise Internet services”. There are already proposals to embed computation in decentralised networks like smart contracts, or blockchain networks for computational offloading.
DI2F / 2021.06.21 / Espoo, Finland
2021.5.13 / Conference paper
SnarkPack: Practical SNARK aggregation
Zero-knowledge SNARKs (zk-SNARKs) are non-interactive proof systems with short and efficiently verifiable proofs. zk-SNARKs are widely used in decentralised systems to address privacy and scalability concerns. One of the main applications is the blockchain, were SNARKs are used to prove computations with private inputs and reduce on-chain footprint verification and transaction sizes.
ZKProof Workshop / 2021.04.21