STARKs på blockchain ser ut så här: L2 Prover: batch, bearbeta, vrida, vända, kasta lite magi, arbete arbete arbete, mer magi, arbete arbete arbete, skicka L1-verifierare: Kontrollera, godkänn.