Я помню, много лет назад все говорили op (оптимистичное доказательство) — это краткосрочное решение для Ethereum l2 представленные проекты: arb и op zk — это долгосрочное решение для Ethereum l2 представленные проекты: zksync, starknet, linea Почему со временем op l2 например, arb все еще хорошо себя чувствует а zk все мертвы?