Protocol Labs Research
About
People
Research
Outreach
Blog

We explore the future of decentralization and examine the infrastructure limiting what you can do with technology.

Our research philosophy

Updates

2023-08-30 / Publications

Filecoin Proof of Useful Space

This document provides a simple formal definition of Proof of Space (taken from the academic literature) and an informal definition of persistent and useful space (needed for Filecoin). It describes construction details and a security proof for the Stacked-DRGs proof of space (SDR), and goes into how SDR is used in Filecoin.

2023-08-14 / Publications

Security analysis of Filecoin's Expected Consensus in the Byzantine vs honest model

Filecoin is the largest storage-based open-source blockchain, both by storage capacity (>11EiB) and market capitalization. This paper provides the first formal security analysis of Filecoin’s consensus (ordering) protocol, Expected Consensus (EC).

2023-07-17 / Talks

Janus and Granite

Henrique presents Janus and Granite, a consensus framework and algorithm to bring fast finality to the Filecoin network.

2023-06-16 / Posts

ConsensusDays 23 recordings now available

ConsensusDays 23 took place 5-6 June and we have another successful edition to celebrate! Beyond the exciting programme, here are a few stats from this year: 22 talks 35 submissions 231 registrations 347 members of the #consensus channel 612 members of the ConsensusDays mailing list 614 YouTube views of the raw streams Today, we bring you the final news of the year: the edited talks are now available on YouTube.

Research areas

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.

Learn more

Distributed systems

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.

Cryptography

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.

Cryptoeconomics

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.

Networking

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.

Our People

We're a fully remote team distributed across the globe. We work with talented and intellectually curious people of diverse backgrounds and perspectives who share a passion for improving technology for humanity.

Meet the team