3 ms·Formal specification for a UTxO-based cryptocurrency wallet [pdf]2 points by crypto-jeronimo 8y ago