I only now found the utreexo thread so I’ll link my other thread I created a few days ago. I suspect if we ever went this route, we wouldn’t need the utreexo accumulator because we can use the output PMMR and the bitmap MMR to achieve the things that utreexo brings. I’m not 100% sure but I described how to do that here Constant size fully validating node
I don’t think we will need this any time soon. Kernel aggregation and dropping rangeproofs will be good enough for a long time.