A Mathematical Theory of Payment Channel Networks | ResearchHub