Generalized State Channels with Move
The thing that excited me the most about the recent Libra announcement was the introduction of the Move programming language. In a brilliantly clear paper, the Libra team introduce a language designed to make it easier to write safe smart contracts. In particular…