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, distributed data structures, and distributed energy systems.

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 & 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.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.
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.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.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.