Game-theoretic Modeling and Stability Analysis of Blockchain Channels | Synapse