See also another post, found here on SN, where the paper was shared:
Unjamming Lightning: A Systematic Approach #101403 https://eprint.iacr.org/2022/1454.pdf