Imagine um professor que pode corrigir uma prova inteira verificando apenas algumas respostas aleatórias e ainda ter certeza. É mais ou menos assim que funciona uma prova Stark. • Um grande lote de transações é realizado off-chain. • Um breve prova é gerada, mostrando que tudo foi feito corretamente. • O ethereum verifica a prova em vez de reexecutar cada transação, então o custo é compartilhado entre todo o lote. • Quanto menos verificações uma prova precisa, menor e mais barata ela é para ser verificada. • O @Starknet acabou de lançar um desafio para encontrar matemática que mantenha a mesma segurança com menos verificações, e cada descoberta é creditada. Provas menores, verificações mais baratas, mais espaço para escalar.