Home

Install

npm install -g firesafe

Run

firesafe <src> <dst>

will create a new file from the HSM file in src. The dst file is a valid json can be uploaded via Firebase's security web page.

Formally Verified Examples

• send item, a sibling branch ACID transaction, send items between players respecting permissions, dead lock free. Formally verified not to create or destroy items, even under client disconnects.