The prover is the crucial engine Starkware uses to roll up hundreds of thousands of transactions and compress them into a tiny cryptographic proof written on the Ethereum blockchain.