STARKs are a proof system that helps scale blockchains. How? It allows large computations to be done off-chain, where it is cheaper, leaving only the verification, which requires very few steps, to be done on-chain.