Чи дає Лайтер переваги ETH L2 і використання доказів нульового знання порівняно з гіперрідиною?