STARK на блокчейні виглядають так: L2 Proproof: Batch, process, twist, turn, throw some mag, work work work, more mag, work work work, send L1 Verifier: Перевіряйте, затверджуйте.