Rollerblade: Replicated Distributed Protocol Emulation on Top of Ledgers
- Assume a \(n\) party permissioned protocol. We can substitute a party with a ledger and the authenticated channels with cross-chain layers.
- This work gives a formalization of this transformation.
- They provide a meta theorem that transforms theorems from the first world into a theorem in the second world.
- The proof of the meta theorem relies on a reduction simulation.
References
Dionysis Zindros, Apostolos Tzinas, and David Tse. 2024. “Rollerblade: Replicated Distributed Protocol Emulation on Top of Ledgers.” https://eprint.iacr.org/2024/210.