README This repository contains TLA+ specifications of various protocols used by wallets in the nitro protocol.