Publications related to Fork (blockchain)

Breaking Blockchain Rationality with Out-of-Band Collusion

Bryan Alexander Ford, Verónica del Carmen Estrada Galiñanes, Louis-Henri Manuel Jakob Merino, Haoqian Zhang, Mahsa Bastankhah

Blockchain systems often rely on rationality assumptions for their security, expecting that nodes are motivated to maximize their profits. These systems thus design their protocols to incentivize nodes to execute the honest protocol but fail to consider ou ...

Cham2024

DIABLO: A Benchmark Suite for Blockchains

Rachid Guerraoui, Gauthier Jérôme Timothée Voron, Vincent Gramoli, Andrei Lebedev

With the recent advent of blockchains, we have witnessed a plethora of blockchain proposals. These proposals range from using work to using time, storage or stake in order to select blocks to be appended to the chain. As a drawback it makes it difficult fo ...

ASSOC COMPUTING MACHINERY2023

Diablo-v2: A Benchmark for Blockchain Systems

Rachid Guerraoui, Gauthier Jérôme Timothée Voron, Vincent Gramoli, Andrei Lebedev

With the recent advent of blockchains, we have witnessed a plethora of blockchain proposals. These proposals range from using work to using time, storage or stake in order to select blocks to be appended to the chain. As a drawback it makes it difficult fo ...

2022

Differentiated consistency for worldwide gossips

Davide Frey, Pierre-Louis Blaise Roman

Eventual consistency is a consistency model that favors liveness over safety. It is often used in large-scale distributed systems where models ensuring a stronger safety incur performance that are too low to be deemed practical. Eventual consistency tends ...

2022

Infochain: A Decentralized, Trustless and Transparent Oracle on Blockchain

Boi Faltings, Naman Goel, Aris Filos Ratsikas

Blockchain based systems allow various kinds of financial transactions to be executed in a decentralized manner. However, these systems often rely on a trusted third party (oracle) to get correct information about the real-world events, which trigger the f ...

2022

The impact of NFT profile pictures within social network communities

Marco Mattavelli, Simone Casale Brunet

This paper presents an analysis of the role of social media, specifically Twitter, in the context of non-fungible tokens, better known as NFTs. Such emerging technology framing the creation and exchange of digital object, started years ago with early proje ...

ACM2022

Rational Agreement in the Presence of Crash Faults

Vincent Gramoli, Alejandro Ranchal Pedrosa

Blockchain systems need to solve consensus despite the presence of rational users and failures. The notion of (k, t)-robustness is key to derive impossibility results with k rational players and t faulty players. However, these t faulty players are always ...

IEEE2021

Formal Verification of Rust with Stainless

Writing correct software is hard, yet in systems that have a high failure cost or are not easily upgraded like blockchains, bugs and security problems cannot be tolerated. Therefore, these systems are perfect use cases for formal verification, the task of ...

2021

A Blockchain-Supported Framework for Charging Management of Electric Vehicles

Christophe Ballif, Marina Dorokhova

Profound changes driven by decarbonization, decentralization, and digitalization are disrupting the energy industry, bringing new challenges to its key stakeholders. In the attempt to address the climate change issue, increasing penetration of renewables a ...

MDPI2021

Diablo: A Distributed Analytical Blockchain Benchmark Framework Focusing on Real-World Workloads

Rachid Guerraoui, Vincent Gramoli

The plethora of blockchain proposals raises the question of selecting the ideal blockchain for a given decentralised application (DApp). Most blockchain performance evaluations are obtained through tailored environments under unknown experimental settings ...

2021

Fork (blockchain)

Breaking Blockchain Rationality with Out-of-Band Collusion

DIABLO: A Benchmark Suite for Blockchains

Diablo-v2: A Benchmark for Blockchain Systems

Differentiated consistency for worldwide gossips

Infochain: A Decentralized, Trustless and Transparent Oracle on Blockchain

The impact of NFT profile pictures within social network communities

Rational Agreement in the Presence of Crash Faults

Formal Verification of Rust with Stainless

A Blockchain-Supported Framework for Charging Management of Electric Vehicles

Diablo: A Distributed Analytical Blockchain Benchmark Framework Focusing on Real-World Workloads

Graph Chatbot

Chat with Graph Search

Breaking Blockchain Rationality with Out-of-Band Collusion

Formal Verification of Rust with Stainless

A Blockchain-Supported Framework for Charging Management of Electric Vehicles

DIABLO: A Benchmark Suite for Blockchains

Diablo: A Distributed Analytical Blockchain Benchmark Framework Focusing on Real-World Workloads

Differentiated consistency for worldwide gossips

Diablo-v2: A Benchmark for Blockchain Systems

Rational Agreement in the Presence of Crash Faults

Infochain: A Decentralized, Trustless and Transparent Oracle on Blockchain

The impact of NFT profile pictures within social network communities