Protocol Labs Research
About
People
Research
Outreach
Blog

ConsensusDay 22

Event: 11 November 2022

Submission deadline: 24 June 2022 1 July 2022

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

Our research philosophy

Updates

2022-06-24 / Posts

ConsensusFactory summary and recordings

Last Wednesday, we hosted the first edition of ConsensusFactory: Decentralized Reflections on Consensus, a new virtual event that brought together speakers from different blockchain ecosystems to talk about the scalability strategies each of their projects are pursuing.

2022-06-24 / Talks

Hierarchical consensus: A horizontal scaling framework for blockchains

We present the Filecoin Hierarchical Consensus framework, which aims to overcome the throughput challenges of blockchain consensus by horizontally scaling the network. Unlike traditional sharding designs, based on partitioning the state of the network, our solution centers on the concept of subnets –which are organized hierarchically– and can be spawned on-demand to manage new state. Child subnets are firewalled from parent subnets, have their own specific policies, and run a different consensus algorithm, increasing the network capacity and enabling new applications. Moreover, they benefit from the security of parent subnets by periodically checkpointing state. In this paper, we introduce the overall system architecture, our detailed designs for cross-net transaction handling, and the open questions that we are still exploring.

2022-06-20 / Posts

Network Research and Bacalhau at DeSci Berlin

The Network Research team was excited to participate in DeSci Berlin, an amazing and very energized “unconference” that brought together researchers, technologists, and enthusiasts of science and web3 to discuss current problems and opportunities in the practice of science and workshop on how blockchain and decentralized technology can solve them.

2022-06-15 / Publications

Influencing NFT pricing on secondary markets: A case study of Vpunks

Non-fungible tokens (NFTs) allow for users to transfer the digital rights of a good, for example, art, via a blockchain. This enables users to track the art’s proof of origin and authenticity.

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

Knowledge engineering

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.

Type theory

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.

Applied category theory

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

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.

Distributed power systems

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.

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.

Metaresearch

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.

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