Send Item

Sends an item from user account to another, with the following features:

• either user can abort
• no deadlocks exists, even if one player goes offline
• formally verified, items can never be created nor destroyed

source hsm

Design Sketch

A successful transfer follows ideas of a 2 phase commit protocol, adapted for Firebase