Libbitcoin has no utxo set. It doesn't have a mempool either. It just has a transaction table, a headers table, and a relationship table that links the two.

I've heard others say that libbitcoin's design prioritizes ibd and synching while core's design prioritizes block relay and propagation.

I would love to read a comparison of the two written for laymen.