#starknet #zk rollup #zero-knowledge #validity proof #stark #rollup #batch