Faithful Simulation of Randomized BFT Protocols on Block DAGs.

Hagit Attiya Constantin Enea Shafik Nassar

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

simulation model
simulation environment
mathematical model
communication protocols
state machine
directed acyclic graph