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
Consensus Hierarchies
ConsensusDay 1 / 2019.02.02 / Stanford, CA, USA
Expected Consensus
ConsensusDay 1 / 2019.02.02 / Stanford, CA, USA
Mergeable Consensus
ConsensusDay 1 / 2019.02.02 / Stanford, CA, USA
New Directions in Consensus
ConsensusDay 1 / 2019.02.02 / Stanford, CA, USA
Single Secret Leader Election
ConsensusDay 1 / 2019.02.02 / Stanford, CA, USA
IPLD Research & Future Directions
Lab Day 2018 / 2018.10.23 / San Francisco, CA, USA
PoReps: Proof of Space on Real Data
Lab Day 2018 / 2018.10.23 / San Francisco, CA, USA
VDFs and Filecoin
VDF Day / 2018.02.03 / Stanford, CA, USA
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.
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.
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.
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