On the design of based ZK rollups over Kaspa's UTXO-based DAG consensus

AFAIK Andrew’s post deals with UTXO commitments (more accurately: accumulator), not sure what connection to this post you are suggesting here (?)