| Vol-3791 urn:nbn:de:0074-3791-8 Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# DLT 2024
Distributed Ledger Technology Workshop 2024

### Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024)

### Turin, Italy, May 14-15, 2024.

Edited by

### Massimo Bartoletti *
Claudio Schifanella**
Andrea Vitaletti ***

* Università degli Studi di Cagliari, Dipartimento di Matematica e Informatica, via Ospedale 72, 09124 Cagliari, Italy
** Università di Torino, Dipartimento di Informatica, Via Verdi 8, 10124 Torino, Italy
*** Sapienza Università di Roma, Dipartimento di Ingegneria informatica, automatica e gestionale, Via Ariosto 25, 00185 Roma

## Table of Contents

- Preface
- Improving driving behavior: a blockchain-based gamification system
  Alberto Butera, Noemi Romani, Valentina Gatteschi
- Tokenomics in Civic Blockchain: Implementing Community and SoulBound Tokens in a Game-Theoretical Framework for Collaborative Economies
  Irene Domenicale, Flavia Fredda, Claudio Schifanella
- DAO-ML: A Modelling Language for the Specification of Decentralized Autonomous Organization Governance
  Sowelu Avanzo, Alex Norta, Julio Linares, Claudio Schifanella, Marie Hattingh
- Certification of Business Processes and Workflows via Blockchain
  Alberto Leporati
- Automatic Smart Contract Generation Through LLMs: When The Stochastic Parrot Fails
  Fadi Barbàra, Emanuele A. Napoli, Valentina Gatteschi, Claudio Schifanella
- Virtual Private Blockchains for GDPR: Cheap Private Blockchains out of Public Ones
  Diego Pennino, Maurizio Pizzonia
- zkSNARKs Libraries for Blockchains: a Comparative Study
  Domenico Tortola, Andrea Pelosi, Giuseppe Gabriele Russo, Paolo Mori, Laura Ricci
- Accelerating Prolly Trees: Simplified Chunking for Rapid Updates
  Abhimanyu Rawat, Tarun Kumar Vangani, Hanno Cornelius, Vanesa Daza
- Data Redaction in Smart-Contract-Enabled Permissioned Blockchains
  Gennaro Avitabile, Vincenzo Botta, Daniele Friolo, Ivan Visconti
- Innovative Distributed Ledger Technologies for Local Product Traceability in Agro-Touristic Economies
  Carmelo Felicetti, Antonella Guzzo, Domenico Saccà, Francesco Pasqua
- SmartML: Enhancing Security and Reliability in Smart Contract Development
  Adele Veschetti, Richard Bubel, Reiner Hähnle
- Noninterference Analysis for Smart Contracts: Would you Bet on it?
  Samia Guesmi, Carla Piazza, Sabina Rossi
- How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol
  Dario Maddaloni, Riccardo Marchesin, Roberto Zunino
- Policy-based Credential Disclosure in SSI by Using ORCON-based Access Control
  Stefano Bistarelli, Chiara Luchini, Francesco Santini
- Integrating Computer Vision & Blockchain for Enhanced Saffron Evaluation: A Focus on Filament Curvature Assessment
  Mohammad Rowhani Sistani, Pierluigi Gallo, Maria Timoshina
- Blockchain-based DNS: Current Solutions and Challenges to Adoption
  George Giamouridis, BooJoong Kang, Leonardo Aniello
- Towards FATEful Smart Contracts
  Luigi Bellomarini, Marco Favorito, Eleonora Laurenza, Markus Nissl, Emanuel Sallinger
- A Netting Protocol for Liquidity-saving Automated Market Makers
  Margherita Renieri, Letterio Galletta, Alberto Lluch Lafuente, James Hsin-yu Chiang
- Making Algorithmic Stablecoins More Stable: The Terra-Luna Case Study
  Federico Calandra, Francesco P. Rossi, Francesco Fabris, Marco Bernardo
- Incentive Compatibility In Consensus Protocols And DAOs: A Game-Theoretic Approach
  Angelo Murano, Bruna Bruno, Vincenzo Vespri
- Analyzing the Fairness of Proof of Stake Ethereum
  Stefano Bistarelli, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
- Performance and Scalability Testing for Blockchain Consensus Protocols: an Empirical Framework
  Alked Ejupi, Stefano De Angelis, Vladimiro Sassone
- Impact of Layer-1 Characteristics on Scalability of Layer-2 Semi-Hierarchical Payment Channel Networks
  Marco Benedetti, Francesco De Sclavis, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
- Besu vs. Quorum: Comparative Analysis in the Context of Simulated Energy Communities
  Giuseppe Antonio Pierro, Luisanna Cocco, Roberto Tonelli
- Message Latency in Waku Relay with Rate Limiting Nullifiers
  Alvaro Revuelta, Sergei Tikhomirov, Aaryamann Challani, Hanno Cornelius, Simon Pierre Vivier
- A Short Survey on Bitcoin Price Prediction
  Stefano Bistarelli, Francesco Santini, Luca Maria Tutino
- An In-depth Analysis of Mining Pools Revenue
  Stefano Bistarelli, Gianlorenzo Giuliani, Ivan Mercanti, Francesco Santini
- Unveiling Algorand Storage Peculiarities
  Nawaz Abdullah Malla, Alessandro Marcelletti, Andrea Morichetta, Francesco Tiezzi
- Analysis of Blockchain Sustainability through the Comparison of Different Smart Contracts Programming Languages
  Stefano Bistarelli, Marco Fiore, Antonio Ignazio Lazzizera, Ivan Mercanti, Marina Mongiello
- European Union Data Act and Blockchain Technology: Challenges and New Directions
  Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara
- Is It Possible To Develop A Decentralized Free Energy Market? An Automatic Literature Review Approach
  Matteo Vaccargiu, Giacomo Ibba, Roberto Tonelli
- Low-Cost Tamper-Proof IoT Devices to Improve Data Origin Verification and Privacy in Blockchain-Based Energy Consumption Records
  Daniele Orrù, Andrea Pinna, Roberto Tonelli

2024-09-25: submitted by Massimo Bartoletti, metadata incl. bibliographic data published under Creative Commons CC0
2024-10-15: published on CEUR-WS.org |valid HTML5|