Rollerblade: Replicated Distributed Protocol Emulation on Top of Ledgers

Paper: [1]

• 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.