[throw5away]

Nope! This is a problem with high-cardinality ordinal voting methods. Since factorial is a very fast growing function, you can easily encode a pattern in down-ballot candidates and buy and verify a specific ballot.

Commonly what's done is that we truncate the ballot and only allow people to express, say, 5 preferences.