STARKs require no trusted setup and scale better than SNARKs for large computations.

StarkNet's choice of STARKs over SNARKs prioritises transparency and post-quantum resistance over compact proof size.