Polkadot 1.0
The blog post "Polkadot v1.0: Sharding and Economic Security" is a great introductory blog post that goes deep into how Polkadot approaches sharding, finality, backing, approval checking, data availability, approval checking, and disputes.