Bitcoin’s quantum dilemma: Bigger blocks or STARK proofs?

Dealing with large post quantum signatures slowing down Bitcoin can be solved with bigger blocks, or aggregating signatures using STARK proofs.