Imagina un profesor que puede calificar un examen completo revisando solo algunas respuestas aleatorias y aún así estar seguro. Eso es aproximadamente cómo funciona una prueba Stark. • Se realizan un gran lote de transacciones fuera de la cadena. • Se genera una prueba corta que demuestra que todo se hizo correctamente. • Ethereum verifica la prueba en lugar de volver a ejecutar cada transacción, por lo que el costo se comparte entre todo el lote. • Cuantas menos verificaciones necesite una prueba, más pequeña y económica será su validación. • @Starknet acaba de lanzar un desafío para encontrar matemáticas que mantengan la misma seguridad con menos verificaciones, y cada hallazgo se reconoce. Pruebas más pequeñas, verificaciones más económicas, más espacio para escalar.