4th International Workshop on Distributed Infrastructure for Common Good

December 2023, Bologna

Colocated with Middleware 2023

About

The DICG'23 workshop is co-located with ACM/IFIP Middleware 2023, which takes place on December 11th - 15th, 2023 in Bologna.

This workshop is focused on distributed infrastructures that enable human interactions and economic activity in general with a focus on the common good. Daily life is transitioning to digital infrastructures, including friendships, education, employment, health-care, finances, family connections, and more. These infrastructures can contribute to the common good enabling us to work together to improve the wellbeing of people in our society and the wider world.

Call for Papers

Private ownership of infrastructures does not seem to solve the traditional problems of Tragedy of Commons: pollution (spam and bot network on social media), over-exhaustion of resources (net neutrality), and fairness (gig economy). Privatization of digital commons also introduces the potential for monopolistic abuse, such as: stifled innovation, price discriminations, and distorted market knowledge discovery. We aim to explore within this workshop viable alternatives to 'winner-takes-all' platform ecosystems. Failure of market mechanisms to address these issues suggest that such infrastructures could be treated as commons. We recognize the promising avenue of research build on Nobel laureate Ostroms idea that commons is the third way to organize complex human cooperation, beyond capitalist regulation or governmental regulations.

Scientific challenges include, but are not limited to: the Tragedy of the Commons in such shared-resource systems, fake identities with Sybil attacks, robot economy, trustworthiness in general, self-organizing machine learning, market infrastructures in cashless society, and governance issues in decentralized systems.

This workshop focuses on the tools, frameworks, and algorithms to support the common good in a distributed environment. Both theoretical work and experimental approaches are welcomed. Reproducibility, open source and public datasets are endorsed. Each submission must clearly contribute to the middleware community, to facilitate the development of applications by providing higher-level abstractions for better programmability, performance, scalability, and security.

Scope:

The topics of interest include, but are not limited to:

  • Distributed algorithms
  • Trust and reputation systems
  • Fault tolerance
  • Decentralized machine learning
  • Self-sovereign identity
  • Peer-to-peer networks
  • Solutions to tragedy of the commons
  • Decentralized markets, mechanism design
  • Incentives for participants
  • Fairness in market systems
  • Decentralized governance
  • Local-first Software
  • Collaborative Systems
Important Dates:

  • Paper submissions: September 25, 2023 October 5, 2023 (AOE)
  • Notification of acceptance: October 20, 2023s> October 27, 2023 (AOE)
  • Camera-ready version: October 27, 2023 October 31, 2023 (AOE)

Submission Guidelines:

Full papers can have a maximum length of 6 pages in the standard, 10pt ACM SIGPLAN format. The page limits include figures, tables, and references. All submitted papers will be judged through single-blind reviewing.

Please submit your manuscripts here.

Publication of Accepted Papers:

All accepted papers will appear in a Middleware 2023 companion proceedings, which will be available in the ACM Digital Library prior to the workshop. At least one of the authors will have to register for the workshop and present the paper.

The accepted papers and their reviews are also available on OpenReview.

Program

All times are specified in Central European Time (CET). Click here to see the start time of the event in your time zone.

Opening
  • 9:00 - 9:10 - Welcome
  • 9:10 - 9:55 - Keynote: What Distributed Infrastructure Could Save the Planet?

    Bryan Ford (École Polytechnique Fédérale de Lausanne)

    Biography

    Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) lab at the Swiss Federal Institute of Technology in Lausanne (EPFL). He focuses broadly on building secure decentralized systems, including privacy and anonymous communication, systems security, and blockchain technology. Since earning his Ph.D. at MIT, Ford has held faculty positions at Yale University and EPFL.


Session I
  • Session chair: Georgy Ishmaev
  • 10:00 - 10:25 - Designing Peer-to-Peer Systems as Closed Knowledge Commons

    Erick Lavoie (University of Basel),

    Abstract

    In contrast to many online services based on client-server infrastructure, peer-to-peer systems are usually designed as open commons. This is partly because, by design, peer-to-peer systems replicate data on end-user devices and typically use open implementations, precluding access control. Open commons however lower incentives for end users to contribute the resources necessary to cover development and maintenance costs, resulting in chronic under-funding and few offerings of mature peer-to-peer alternatives. In this paper, we show how to design peer-to-peer systems as closed commons by making the replication of updates conditional to proven contributions, tracked by a blockchain or eventually-consistent ledger. We also present an economic model that incentivizes users to support both developers of the system and content producers. We finally identify factors that suggest our economic model might be cost-competitive with cloud-hosting for compatible applications.

    Pre-print

  • 10:25 - 10:50 - Tokenization of the Common: An Economic Model of Multidimensional Incentives

    Benjamin Kraner (University of Zurich) , Nicolò Vallarano (University of Zurich) , Claudio J. Tessone (University of Zurich)

    Abstract

    The concept of the tragedy of the commons, originally rooted in economics, describes the depletion of shared resources due to self-interested actions by individuals. This work proposes a novel solution to address this economic challenge by leveraging tokens to capture its multidimensional nature. By utilising blockchain and DLTs, this decentralised approach aims to achieve a social optimum while promoting self-regulation. The paper presents a mathematical treatment of the tragedy of the commons, incorporating multi-dimensional tokens and exploring the divergence from the classic optimal solution, highlighting the potential of tokenisation in shaping a sustainable and efficient economy.

    Pre-print

  • 10:50 - 11:00 - Coffee Break

Session II
  • Session chair: Bulat Nasrulin
  • 11:00 - 11:25 - Can Smart Contracts Become Smart? An Overview of Transaction Impact on Ethereum DApp Engineering

    Emanuel Onica (Alexandru Ioan Cuza University of Iasi), Marius Georgica (Alexandru Ioan Cuza University of Iasi)

    Abstract

    Despite the growth in the number of decentralized applications (DApps) supported by the Ethereum blockchain, we can observe the narrow scope of these DApps, concentrated within the fintech and games areas. A cause for the lack of range of DApps lies in the fees for transactions sent to backing smart contracts. While consistent steps have been made to overcome cost efficiency problems, introducing rollups as a secondary layer solution, intertwined accessibility and security drawbacks still persist. Measures addressing some of these issues like account abstraction were independently proposed. These solutions bring changes in transaction handling that often exceed the scope of smart contracts, where the core of DApp logic resides. Integrating such measures often requires the use of new frameworks and understanding the changes in the transaction flow, which can prove challenging to a DApp developer. A question is whether the current landscape of solutions proposed for increasing usability is capable of producing a consistent impact on DApp scope trends. In this position paper we try to answer this, raising also the matter of impact on DApp engineering.

    Pre-print

  • 11:25 - 11:50 - Attacks on Rollups

    Adrian Koegel (Columbia University, Quantstamp) , Zeeshan Meghji (Quantstamp) , Donato Pellegrino (Quantstamp) Jan Gorzny (University of Waterloo, Quantstamp) Martin Derka (Quantstamp)

    Abstract

    A rollup is a network, implemented via smart contracts on a blockchain, that aims to scale that slow but general purpose blockchain. The rollup executes transactions and posts the resulting state root, along with the transaction data, to a blockchain they are built on. As a result, the state root of the rollup network is always recorded on the underlying blockchain. The underlying blockchain is used to derive the state of the rollup itself, meaning that the rollup state cannot be changed arbitrarily or would be easily detected (subject to how its state is updated and recorded on the underlying blockchain). In turn, the rollup inherits some security from its underlying blockchain --- but the rollup network itself is not immune to direct attacks. Some attacks are like other network-level attacks (e.g., denial-of-service attacks) while others are a result of the rollup's connection to its underlying blockchain (e.g., re-organization attacks). In this work, we collect a list of known attacks on rollups and illustrate their impact.

    Pre-print

  • 12:00 - 13:30 - Lunch Break

Session III
  • Session chair: Erick Lavoie
  • 13:30 - 13:55 - Quantifying the Performance of Conflict-free Replicated Data Types in InterPlanetary File System

    Quentin Acher (INRIA) , Claudia-Lavinia Ignat (INRIA) , Shadi Ibrahim (INRIA)

    Abstract

    The continuous growth in data volume increases the interest in using peer-to-peer (P2P) systems not only to store static data (i.e., immutable data) but also to store and share mutable data -- data that are updated and modified by multiple users. Unfortunately, current P2P systems are mainly optimized to manage immutable data. Thus, each modification creates a new copy of the file, which leads to a high "useless'' network usage. Conflict-free Replicated Data Types (CRDTs) are specific data types built in a way that mutable data can be managed without the need for consensus-based concurrency control. A few studies have demonstrated the potential benefits of integrating CRDTs in the InterPlanetary File System (IPFS), an open-source widely used P2P content sharing system. However, they have not been implemented and evaluated in a real IPFS deployment. This paper tries to fill the gap between theory and practice and provides a quantitative measurement of the performance of CRDTs in IPFS. Accordingly, we introduce IM-CRDT, an implementation of CRDTs in IPFS that focuses on the simple data type (i.e., Set); and carry out extensive experiments to verify whether CRDTs can efficiently be utilized in IPFS to handle mutable data. Experiments on Grid'5000 show that IM-CRDT reduces the data transfer of an update by up to 99.96% and the convergence time by 54.6%-62.6%. More importantly, we find that IM-CRDT can sustain low convergence time under concurrent updates.

    Pre-print

  • 13:55 - 14:20 - I'm InterPlanetary, Get Me Out of Here! Accessing IPFS From Restrictive Environments

    Leonhard Balduf (Technische Universität Darmstadt ), Sebastian Rust (Technische Universität Darmstadt ), Björn Scheuermann (Technische Universität Darmstadt )

    Abstract

    We investigate how well IPFS functions in real-world restrictive network environments. In a series of experiments, we utilize four vantage points, one of which lies behind the Great Firewall of China (GFW), to ascertain how various parts of the IPFS ecosystem perform in these settings. We test HTTP gateways and find that, although they are not systematically blocked, only about a third function in China, in comparison to Germany. Evaluating P2P functionality, we run experiments on data exchange between the four nodes. We find that the GFW has little measurable impact on these functionalities. The main inhibiting factor for P2P functionality remains network address translation (NAT). Lastly, to help NATed nodes spread their content, we propose and evaluate using public gateways as temporary replicators, but find only marginal gains.

    Pre-print

  • 14:20 - 14:45 - Toward Competitive Serverless Deep Learning

    Stefan Petrescu (Universität Hannover) , Diego Albo Martinez (Universität Hannover) , Jan S. Rellermeyer (Universität Hannover)

    Abstract

    Machine learning is becoming a key technology to make systems smarter and more powerful. Unfortunately, training large and capable ML models is resource-intensive and requires high operational skills. Serverless computing is an emerging paradigm for structuring applications to benefit from on-demand computing resources and achieve horizontal scalability while making resources easier to consume. As such, it is an ideal substrate for the resource-intensive and often ad-hoc task of training deep learning models and has a strong potential to democratize access to ML techniques. However, the design of serverless platforms makes deep learning training difficult to translate efficiently to this new world. Apart from the intrinsic communication overhead (serverless functions are stateless), serverless training is limited by the reduced access to GPUs, which is especially problematic for running deep learning workloads, known to be notoriously demanding. To address these limitations, we present KubeML, a purpose-built deep learning system for serverless computing. KubeML fully embraces GPU acceleration while reducing the inherent communication overhead of deep learning workloads to match the limited capabilities of the serverless paradigm. In our experiments, we are able to outperform TensorFlow for smaller local batches, reach a 3.98x faster time-to-accuracy in these cases, and maintain a 2.02x speedup for commonly benchmarked machine learning models like ResNet34.

    Pre-print


Closing
  • 14:45 - 15:00 - General Discussion and Closing Remarks
Organization

General Co-chairs:

Organization Chairs:

Program Committee:

  • Ittai Abraham (Intel Labs)
  • Jérémie Decouchant (TU Delft, The Netherlands)
  • Vero Estrada-Galiñanes (EPFL, Switzerland)
  • Pierre Fraigniaud (Université Paris Cité and CNRS, France)
  • Matt Garnett (Ethereum Foundation)
  • Thomas Hardjono (MIT, United States)
  • Can Umut Ileri (IOTA Foundation)
  • Hans-Arno Jacobsen (University of Toronto, Canada)
  • Leander Jehl (University of Stavanger, Norway)
  • Erick Lavoie (University of Basel, Switzerland)
  • Amir H. Payberah (KTH Royal Institute of Technology, Sweden)
  • Yvonne-Anne Pignolet (DFINITY, Switzerland)
  • Rafael Pires (EPFL, Switzerland)
  • Jan Rellermeyer (Leibniz University Hannover, Germany)
  • Claudio Tessone (University of Zurich, Switzerland)
  • Florian Tschorsch (TU Berlin, Germany)
  • Christian Tschudin (University of Basel, Switzerland)
  • Andreas Veneris (University of Toronto, Canada)
Previous Editions