Protocol Labs Research
About
People
Research
Outreach
Blog
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. In recent times, we have focused our efforts in the topics of consensus protocols, content-addressed networking, decentralized markets, and distributed data structures.

Related talks

View all talks
2019.2.2
Consensus hierarchies
ConsensusDay 1 / 2019.02.02 / Stanford, CA, USA
2019.2.2
Expected consensus
ConsensusDay 1 / 2019.02.02 / Stanford, CA, USA
2019.2.2
Mergeable consensus
ConsensusDay 1 / 2019.02.02 / Stanford, CA, USA
2019.2.2
New directions in consensus
ConsensusDay 1 / 2019.02.02 / Stanford, CA, USA
2019.2.2
Single secret leader election
ConsensusDay 1 / 2019.02.02 / Stanford, CA, USA
2018.10.23
IPLD research and future directions
Lab Day 2018 / 2018.10.23 / San Francisco, CA, USA
2018.10.23
PoReps: Proof of space on real data
Lab Day 2018 / 2018.10.23 / San Francisco, CA, USA
2018.2.3
VDFs and Filecoin
VDF Day / 2018.02.03 / Stanford, CA, USA
2018.1.26
Proof of replication using depth robust graphs
BPASE 18 / 2018.01.26 / Stanford, CA, USA

Related publications

View all publications
2020.7.6 / Report
GossipSub: Attack-resilient message propagation in the Filecoin and ETH2.0 networks
Permissionless blockchain environments necessitate the use of a fast and attack-resilient message propagation protocol for Block and Transaction messages to keep nodes synchronised and avoid forks. We present GossipSub, a gossip-based pubsub protocol, which, in contrast to past pubsub protocols, incorporates resilience against a wide spectrum of attacks.
Dimitris Vyzovitis, Yusef Napora, Dirk McCormick, David Dias , Yiannis Psaras
2020.4.18 / Report
Gossipsub-v1.1 evaluation report
Permissionless blockchain environments necessitate the use of a fast and attack-resilient message propagation protocol for Block and Transaction messages to keep nodes synchronised and avoid forks. We present GossipSub, a gossip-based pubsub protocol, which, in contrast to past pubsub protocols, incorporates resilience against a wide spectrum of attacks.
Dimitris Vyzovitis, Yusef Napora, Dirk McCormick, David Dias , Yiannis Psaras
2020.2.17 / Report
Vector commitment techniques and applications to verifiable decentralized storage
Vector commitments with subvector openings (SVC) [Lai-Malavolta and Boneh-Bunz-Fisch, CRYPTO'19] allow one to open a committed vector at a set of positions with an opening of size independent of both the vector’s length and the number of opened positions.
Theory and Practice of Blockchains 2020 / 2020.07.01
Matteo Campanelli, Dario Fiore, Nicola Greco , Dimitris Kolonelos, Luca Nizzardo
2020.1.6 / Conference paper
DClaims: A censorship resistant web annotations system using IPFS and Ethereum
The proliferation of unreliable and biased information is a significant problem on the Internet. To assess the credibility of the information retrieved from news websites and other sources, users often resort to social platforms looking for confirmation with trustworthy parties.
ACM/SIGAPP Symposium On Applied Computing (to appear) / 2020.04.30 / Brno, Czech Republic
João Santos, Nuno Santos, David Dias
2018.10.15 / Report
Scaling proof-of-replication for Filecoin mining
A proof-of-replication (PoRep) is a proof system that a server can use to demonstrate to a network in a publicly verifiable way that it is dedicating unique resources to storing one or more replicas of a data file.
2018.7.14 / Report
PoReps: Proofs of space on useful data
A proof-of-replication (PoRep) is an interactive proof system in which a prover defends a publicly verifiable claim that it is dedicating unique resources to storing one or more retrievable replicas of a data file.
2017.8.31 / Thesis
Decentralized infrastructure for file storage
How might we incentivize a peer-to-peer network to store users’ files? The purpose of this research is to combine ideas from existing peer-to-peer file sharing systems, blockchain technology and Proofs-of-Storage to create an incentivized decentralized storage network, where every participant can earn a reward for storing and serving files or pay the network to store or retrieve their own.
2017.7.27 / Report
Power fault tolerance
Byzantine Fault Tolerance (BFT) accounts for faults as the number of faulty nodes and is thus cumbersome to apply to many modern decentralized systems. We introduce the Power Fault Tolerance (PFT) model, which reframes BFT in terms of participants’ influence over the outcome of a protocol, instead of the number of nodes.
protocol-labs
2017.7.27 / Report
Proof of replication
We introduce Proof-of-Replication (PoRep), a new kind of Proof-of-Storage, that can be used to prove that some data D has been replicated to its own uniquely dedicated physical storage. Enforcing unique physical copies enables a verifier to check that a prover is not deduplicating multiple copies of D into the same storage space.
2017.7.19 / Report
Filecoin: A decentralized storage network
The internet is in the middle of a revolution: centralized proprietary services are being replaced with decentralized open ones; trusted parties replaced with verifiable computation; brittle location addresses replaced with resilient content addresses; inefficient monolithic services replaced with peer-to-peer algo-rithmic markets.
protocol-labs
2016.5.25 / Tutorial
Distributed web applications with IPFS
The contents of this document describe the tutorial session delivered at ICWE 2016, focused on Building Distributed Web Applications with IPFS. IPFS, the InterPlanetary File System, is the distributed and permanent Web, a protocol to make the Web faster, more secure and open.
16th International Conference on Web Engineering (ICWE) / 2016.05.25 / Lugano, Switzerland
2014.7.15 / Report
Filecoin: A cryptocurrency operated file storage network
Filecoin is a distributed electronic currency similar to Bitcoin. Unlike Bitcoin’s computation-only proof-of-work, Filecoin’s proof-of-work function includes a proof-of-retrievability component, which requires nodes to prove they store a particular file. The Filecoin network forms an entirely distributed file storage system, whose nodes are incentivized to store as much of the entire network’s data as they can.
protocol-labs
2014.7.14 / Report
IPFS - Content addressed, versioned, P2P file system
The InterPlanetary File System (IPFS) is a peer-to-peer distributed file system that seeks to connect all computing devices with the same system of files. In some ways, IPFS is similar to the Web, but IPFS could be seen as a single BitTorrent swarm, exchanging objects within one Git repository.

Related posts

View all posts
2020.10.13 / News, Grants
Meet the latest Protocol Labs Research Grant recipients
In January of 2020, the Resilient Networks Lab (ResNetLab) launched two RFPs (Requests for Proposals) to address pressing open problems faced by IPFS and libp2p, namely, Routing at Scale and PubSub at Scale.
2020.10.6 / Blog
GossipSub: An attack-resilient messaging-layer protocol for public blockchains
Securing permissionless networks is the bane of open networks, starting with the Internet and every overlay network that operates over it. This challenge has existed from the early days of the Internet to the current Web 3.
2020.9.18 / Blog
A brief history of (re)building the Internet
The Internet began life as a military network engineered for resilience in the face of a nuclear attack. That’s right—the same network you use to check on your friends and share cat photos has at its core a structural pattern intended to survive a nuclear exchange long enough to mutually assure destruction with the USSR.
2020.7.1 / Talks
IEEE/IFIP DSN 2020 - The InterPlanetary File System and the Filecoin Network
ResNetLab was invited to present “The InterPlanetary File System and the Filecoin Network” in a 3-hour tutorial at the IEEE/IFIP International Conference on Dependable Systems and Networks! The conference, now in its 50th edition, has an established track record of top-quality research contributions, and is one of the oldest conferences in its subject area.
2020.6.8 / Talks
IPFS talk at the IRTF Decentralised Internet Infrastructure Research Group meeting
ResNetLab was invited to meet with the Decentralised Internet Infrastructure Research Group (DINRG) of the Internet Research Task Force (IRTF) to present and discuss the Software Architecture of the IPFS protocol.
2020.5.18 / Talks
NDN Seminar: a high-level overview of the InterPlanetary File System
ResNetLab was invited to present the “High-Level Overview of the IPFS Architecture” to the Named Data Networking consortium!
2020.5.7 / Talks
Next Generation Networks (NGN) group talk: A high-level overview of the InterPlanetary File System
The Next Generation Networks (NGN) group recently invited the Resilient Networks Lab (ResNetLab) to present a tutorial on IPFS. NGN is a vibrant group of academics, industry researchers and engineers working in the general area of — you guessed it — next-generation networks.
2020.5.3 / Talks
IEEE ICBC 2020: The InterPlanetary File System and the Filecoin Network
ResNetLab presented at one of the most prominent conferences in the area of Distributed Ledger Technologies: the IEEE International Conference on Blockchain and Cryptocurrencies! IEEE ICBC 2020 took place remotely, was well-attended, and had an exciting programme both in terms of tutorials during the first day and invited talks during the main conference, where Vitalik Buterin delivered the keynote speech.
2020.4.17 / Talks
Gossipsub v1.1 at 'Open Tech Will Save Us' virtual event
ResNetLab was present at Open Tech Will Save Us virtual meetup, an event organized by the Matrix.org team during which participants could watch a live stream provided by Jitsi and ask questions using the Matrix protocol (often through a client like Riot).
2020.2.25 / News, Team
Yiannis Psaras joins Protocol Labs Research
Yiannis (Ioannis) is joining the Resilient Networks Lab, which he helped get off the ground after becoming an advisor to PL in July 2019. Yiannis is currently a fellow of the United Kingdom’s Engineering and Physical Sciences Research Council and a Lecturer at University College London, where he has worked on a number of topics within the broad field of networking, with a significant focus on Information-Centric Networking (ICN).
2020.2.18 / News, Team
Sarah Azouvi joins Protocol Labs Research
Sarah joins us from the Information Security Group at University College London, where she did research on consensus and worked towards her forthcoming PhD in Computer Science. During her studies, she collaborated with Protocol Labs and was also an intern at Calibra.
2020.1.27 / News, Team
Luca Nizzardo’s thesis wins UPM Extraordinary Award
Source: IMDEA Software Institute. Posted here with permission. Luca Nizzardo was a PhD student of the IMDEA Software Institute and his thesis “Cryptographic Techniques for the Security of Cloud and Blockchain Systems” defended in 2018 was directed by Associate Professor Dario Fiore.
2019.12.30 / News
A new lab for resilient networks research
Resiliency is at the core of systems that are capable of standing the test of time, providing unshakable access for the many generations to come. A resilient system or network is fundamentally uncompromised by an isolated failure or network split.