picture a teacher who can mark a whole exam by checking only a few random answers and still be sure that is roughly how a stark proof works • a big batch of transactions is done offchain • a short proof is made showing all of it was done right • ethereum checks the proof instead of redoing every transaction, so cost is shared across the whole batch • the fewer checks a proof needs, the smaller and cheaper it is to verify • @Starknet just opened a challenge to find maths that keeps the same security with fewer checks, and every find is credited smaller proofs, cheaper checks, more room to scale