Many more optimizations to be done in the future:

Outbox model for selective fetching.

Negentropy queries for only pulling notes you don’t already have.