A general framework of overhead and finality time in sharding, and a proposal

As per Exploring the proposer/collator split. OK so maybe per your arguments there the centralization risk is low. But it seems like proposer-only agents would degenerate as there are asymmetries between collator-proposers and only-proposers.