The quorum is over the n validators. The sharding is an implementation detail of a validator - the protocol is designed to allow a sharded implementation, but d

The quorum is over the n validators. The sharding is an implementation detail of a validator - the protocol is designed to allow a sharded implementation, but does not require it, you could just store the spent outputs in one big table.