RandPiper-SMR

Notes

  • It is an SMR protocol.
  • It uses the standard safety-liveness definition.
  • It is in the bounded synchrony model.
    • It uses the non-lock step model.
  • It is adaptively secure.