Ik herinner me dat er vele jaren geleden werd geroepen op (optimistic proof) is de kortetermijnoplossing voor Ethereum l2 voorstellende projecten zijn arb en op zk is de langetermijnoplossing voor Ethereum l2 voorstellende projecten zijn zksync starknet linea hoe komt het dat na verloop van tijd op's l2 bijvoorbeeld arb nog steeds goed gaat terwijl de zk's allemaal dood zijn?