区块链上的STARKs就像这样： L2证明者：批量处理、扭转、施展一些魔法、努力工作、再施展一些魔法、继续努力工作、发送 L1验证者：检查、批准。