The 11th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2024
The 10th Workshop on Formal Reasoning in Distributed Algorithms The 10th Workshop on Formal Reasoning in Distributed Algorithms Date: Monday October 9th, 2023 Location: L’Aquila, Italy
The workshop is organized as part of DISC 023 .
Byzantine Fault-Tolerant (BFT) protocols that are based on Directed Acyclic Graphs (DAGs) are attractive due to their many advantages in asynchronous blockchain systems. Many DAG-based BFT protocols rely on randomization, since they are used for agreement and ordering of transaction, which cannot be achieved deterministically in asynchronous systems. Randomization is achieved either through local sources of randomness, or by employing shared objects that provide a common source of randomness, eg, common coi
The 11th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2024