This is the first time I am reading about dakar. Thanks for sharing the link. Although such analysis won't work for payment pools (with musig+pre-signed txs or covenants).