1/13 Lean Ethereum: Переход от выполнения к верификации Этот поток разбирает "Lean Ethereum" — видение @drakefjustin о том, как использовать SNARK для достижения "Gigagas Frontier" без жертвы децентрализации.