Los STARK en blockchain son así: L2 Prover: Batch, process, twist, turn, throw some magic, work work work, more magic, work work work, send Verificador L1: Verificar, aprobar.